问题:
[单选题]下列表达公式之间的关系错误的是( )
DMj答案窝(daanwo.com)-大学生作业答案及考资分享平台A┐(P→Q)⇒P
DMj答案窝(daanwo.com)-大学生作业答案及考资分享平台BP⇒P∧Q
DMj答案窝(daanwo.com)-大学生作业答案及考资分享平台CP∧Q⇒P∨Q
DMj答案窝(daanwo.com)-大学生作业答案及考资分享平台DP∧(P→Q)⇒Q
相关问题
- [判断题]以下推理过程是正确的。 (1) ("x)(P(x)ÚT(x)) P规则 (2) P(c)ÚQ(c) (1)US (3) ($x
- [判断题]以下推理过程是正确的。 (1) ($x)P(x) P (2) P(x) ES,(3)
- [判断题]以下推理过程是正确的。 ⑴ T(y)®ØF(y) P规则 (2) ØF(y)®ØB(y) P规则 (3) T(y)®ØB
- [判断题]以下推理过程是正确的。 (1) ($y)(G(z,y) →H(y)) P规则 (2) G(z,c) →H(c) ES,(2)
- [判断题]以下推理过程是正确的。 (1) ("x)($y)P(x,y) P规则 (2) ("x) P(x,a) US, (1)
- [判断题]以下推理过程是正确的。 (1) ("x)($y)P(x,y) P规则 (2) ($y)P(a,y) US, (1)
- [判断题]以下推理过程是正确的。 (1) P(x)®Q(x) P规则 (2) P(c) P规则 (3) Q(c) (1),(2)假言推理
- [判断题] 以下推理过程是正确的。 ⑴ ØP(a)ÙS(a) P规则 (2) ØP(a) (1),化简
- [判断题]如既要使用规则US又要使用规则ES消去公式中的量词(只要有可能,我们总是先使用规则ES,再使用规则US)。
- [判断题]为了在推导过程中消去量词,可以引用规则UG和规则EG来消去量词。