命题公式的弄真指派是().
A.000,001,110
B.001,011,101,110,111
C.全体指派
D.无
给定公式
(1)在解释I1中,个体域D={a},证明公式A在I1下的真值为1。
(2)在解释I2中,个体域D={a1,a2,…,an},n≥2,A在I2下的真值还一定是1吗?为什么?
设个体域={1,2,3,4},F(x):x是2的倍数。G(x):x是奇数,将命题(F(x)→ㄱG(x))中的量词消去,并讨论命题的真值。
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
下列四个命题中为真命题的一个是()
A.如果两个不重合的平面有两个不同的公共点A,B,那么这两个平面有无数个公共点,并且这些公共点都在直线AB上
B.如果一条直线和一个平面平行,则它和这个平面内的任何直线平行
C.如果一条直线垂直于—个平面内的两条直线,则这条直线垂直于这个平面
D.过平面外一点,有无数条直线与这个平面垂直