“有人除自己以外，谁都不爱”这句话用谓词逻辑表达，为什么是双条件语句，单条件语句可以吗？为什么有的句子就可以单条件语句，比如说：“恰有一个学生学过微积分”，首先要表达

Question

“有人除自己以外，谁都不爱”这句话用谓词逻辑表达，为什么是双条件语句，单条件语句可以吗？
为什么有的句子就可以单条件语句，比如说：“恰有一个学生学过微积分”，首先要表达至少有一个学生，再表达除了他之外，别人都没学过微积分，这里为什么就可以用双条件语句？

Answer 1

“一个人爱另一个人”含有两个变项的，符号化为F(x,y)：x爱y，而不说G(x)：x爱其他所有人，因为题目中还有“x爱自己”这个命题，它得符号化为F(x,x)才行，它用G(x)是不能表示的。