超星 - 一阶逻辑作业 - 查题吧

简答题

设个体域为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)说凡是汽车就比火车慢是不对的.

简答题

将下列各公式翻译成自然语言,个体域为整数集Z,并判断各命题的真假.(1) ∀x∀y∃z(x-y=z).(2) ∀x∃y(x·y=1).(3) ∃x∀y∀z(x+y=z).

简答题

将下列命题符号化，个体域为实数集合R,并指出各命题的真值.(1)对所有的x,都存在y,使得x·y=0.(2)存在着x,对所有的y都有x·y=0.(3)对所有x,都存在着y,使得y=x+1.(4)对所有的x和y,都有x·y=y·x.

简答题

指出下列公式中的指导变元,量词的辖域,各个体变项的自由出现和约束出现.(1) ∀x(F(x)→G(x,y)).(2) ∀xF(x,y)→∃yG(x,y).(3) ∀x∃y(F(x,y)∧G(y,z))∨∃xH(x,y,z).

简答题

判断下列各式的类型.F(x,y)→(G(x,y)→F(x,y)).

简答题

判断下列各式的类型.∀x(F(x)→F(x))→∃y(G(y)∧¬G(y)).

填空题

设个体域为整数集Z, L(x,y):x+y=x-y.求下列各式的真值.(1) L(1,1).(2) L(2,0).(3) ∀yL(1,y).(4) ∃xL(x,2).(5) ∃x∃yL(x,y).(6) ∀x∃yL(x,y).(7) ∃y∀xL(x,y).(8) ∀x∀yL(x,y).

1