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

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

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