如果结果不匹配，请 
更多“真值形式就是由命题变项和真题联结词合乎定义地构成的符号表达式…”相关的问题
第2题
下列关于哥德尔不完全定理的描述中不正确的一项是（)。
A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真
B.哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题
C.借助哥德尔的编码程序，关于自然数每个可能的命题本身又可表达为一个数
D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题
第3题
公式A为仅含有逻辑联结词┐，∧，∨及命题变元P1，，…，Pn的命题公式，A*是A的对偶式，则A*（┐P1，┐P2，…，┐Pn)⇔（)。
A.A(P1，P2，…，Pn)
B.┐A*(P1，P2，…，Pn)
C.┐A(P1，P2，…，Pn)
D.A*(P1，P2，…，Pn)
第7题
独立证明法和归谬法是间接论证的两种方法，其中独立证明法是通过证明与被反驳命题相矛盾的命题为真，从而确定被反驳命题为假的方法。归谬法就是由所要反驳的命题为真，引出荒谬的结论，从而证明所要反驳的命题为假。根据上述定义，下列论证中使用了独立证明法的是：
A.甲：人类是由猿猴进化而来的。乙：不可能!有哪一个人见过，哪一只猴子变成了人？
B.甲：天不生仲尼，万古如长夜。乙：难道仲尼以前的人都生活在黑暗之中？
C.甲：人性本恶。乙：如果真的人性本恶，那么道德规范又从何而来呢？
D.甲：温饱是谈道德的先决条件。乙：温饱绝不是谈道德的先决条件。古往今来，没有解决衣食之困的社会也在谈道德。
第9题
设个体域为整数集，P（x，y)：x＋y=1；Q（x，y)：x·y＞0，说明下列命题中，哪些命题的真值为真？
设个体域为整数集，P(x，y)：x+y=1；Q(x，y)：x·y＞0，说明下列命题中，哪些命题的真值为真？
第10题
“q p ∧”与“s r ∨”这两个命题形式含有（)A相同的逻辑常项,相同的变项B不同的逻辑常项,不同的变
“q p ∧”与“s r ∨”这两个命题形式含有()
A相同的逻辑常项,相同的变项
B不同的逻辑常项,不同的变项
C不同的逻辑常项,相同的变项
D相同的逻辑常项,不同的变项
