问题:
[判断题]
以下推理过程是正确的。
(1) ("x)(P(x)ÚT(x)) P规则
(2) P(c)ÚQ(c) (1)US
(3) ($x)ØP(x) P规则
(4) ØP(c) (3)ES
以下推理过程是正确的。
(1) ("x)(P(x)ÚT(x)) P规则
(2) P(c)ÚQ(c) (1)US
(3) ($x)ØP(x) P规则
(4) ØP(c) (3)ES
Copyright © 2024 www.daanwo.com All Rights Reserved |