(4)证明:R→┐Q,R∨S,S→┐Q,P→Q┐P(1) R→┐Q P(2) R∨S P(3) S→┐Q P(4) ┐Q (1)(2)(3)T,I(5) P→Q P(6) ┐P (4)(5)T,I第4步怎
来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/24 12:52:21
(4)证明:R→┐Q,R∨S,S→┐Q,P→Q┐P(1) R→┐Q P(2) R∨S P(3) S→┐Q P(4) ┐Q (1)(2)(3)T,I(5) P→Q P(6) ┐P (4)(5)T,I第4步怎
(4)证明:
R→┐Q,R∨S,S→┐Q,P→Q┐P
(1) R→┐Q P
(2) R∨S P
(3) S→┐Q P
(4) ┐Q (1)(2)(3)T,I
(5) P→Q P
(6) ┐P (4)(5)T,I
第4步怎么出来的没明白 .
(4)证明:R→┐Q,R∨S,S→┐Q,P→Q┐P(1) R→┐Q P(2) R∨S P(3) S→┐Q P(4) ┐Q (1)(2)(3)T,I(5) P→Q P(6) ┐P (4)(5)T,I第4步怎
(1)R→┐Q
(2)S→┐Q
(3)R∨S
(4)┐Q (构造性二难 即(A→B)∧(C→D)∧(A∨C)→(B∨D),这里就是┐Q∨┐Q,就是┐Q)
(5)P→Q
(6┐P (拒取式)