Question

“有人除自己以外，谁都不爱”这句话用谓词逻辑表达，为什么是双条件语句，单条件语句可以吗？

Answer 1

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