题目内容

设个体域为D={x|x是人}, L(x,y):x喜欢y.将下列命题符号化.所有的人都喜欢某些人.

查看答案
更多问题

设个体域为D={x|x是人}, L(x,y):x喜欢y.将下列命题符号化.每个人都喜欢自己,

设个体域为全总个体域,又令M(x):x是人.L(x,y):x喜欢y.将下列命题符号化:所有的人都喜欢某些人.

设个体域为全总个体域,又令M(x):x是人.L(x,y):x喜欢y.将下列命题符号化:每个人都喜欢自己.

在一阶逻辑中将下列命题符号化.(1)火车都比汽车快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)说凡是汽车就比火车慢是不对的.

答案查题题库