逻辑学

《逻辑学》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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））