问题:
[判断题]P«Q为真当且仅当P,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来消去量词。