欢迎来到天天文库
浏览记录
ID:71182123
大小:17.00 KB
页数:2页
时间:2021-11-26
《逻辑学》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、3.当且仅当罗杰签订了契约(R),并且契约是合法的(L),并且罗杰不履行契约(P),秦斯将赢得这场诉讼(J)。如果罗杰没有接受秦斯的建议(A),则罗杰就没有签订契约。事实上罗杰没有接受秦斯的建议。因之,秦斯不会赢得这场诉讼。答案:前提1:R∧L∧P结论:J形式证明:(1)R∧L∧PJ前提(2)A→R前提(3)A前提(4)R(2)、(3),蕴涵消去(5)J→R∧L∧P等值消去(6)J(4)、(5),蕴涵消去4.如果有25个师够用(D),则将军会赢得这个战役(W)。或者将有三个联队的空中战术支援(A),或者将军将不会赢得这个战役。但是,实
2、际情况并非25个师够用且将有三个联队的空中战术支援。因此,25个师并不够用。答案:前提1:D→W,前提2:A∨W,前提3:(D∧A)。结论:D形式证明:(1)D→W前提(2)A∨W前提(3)(D∧A)前提(4)D间接证明的假设(5)W(1)、(5),蕴涵消去(6)A(2)、(6),相容选言推理否定肯定式(7)D∨A(3)德·摩根律(8)D(6)、(7),蕴涵消去(9)D∧D(4)、(8),合取引入(10)D(4)、(8),间接证明(消去间接证明的假设(4))
此文档下载收益归作者所有