急等:证明:P→┐ Q,P→R,R→┐ S=>S→ ┐Q

急等:证明:P→┐ Q,P→R,R→┐ S=>S→ ┐Q
急等:上面错了,正确的是这个:下午就要交卷了
证明:P→┐ Q,┐P→R,R→┐ S=>S→ ┐Q
takakojai 1年前 已收到2个回答 举报

sosmmc 幼苗

共回答了12个问题采纳率:83.3% 举报

P→┐ Q 即 ┐ P V ┐ Q .(1)
┐P→R 即 P V R .(2)
R→┐ S 即 ┐R V ┐ S .(3)
结论的否定 ┐( S→ ┐Q ) 即 ┐( ┐S V ┐ Q) 即 S.(4) Q.(5)
(2)(3)消去得 P V ┐S.(6)
(4)(6)消去得 P.(7)
(1)(5)消去得 ┐ P.(8)
(7)(8)归结,为空子句
原命题成立

1年前

10

silly50307 幼苗

共回答了16个问题 举报

说的什么啊。。。。。

1年前

1
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 6.323 s. - webmaster@yulucn.com