问答题 设C是一非空的某论述域U的子集的搜集，证明下列德摩根定理的推广：

问答题 将下面语句翻译成谓词逻辑公式： 人不犯我，我不犯人。

问答题 ρ3·ρ1ρ3·ρ2