在自然推理系统 P 中，证明下面推理前提： p ® (q

[问答题]

在自然推理系统 P 中，证明下面推理

前提： p ® (q ® r ), (r ∧ s ) ® t , Ø w ® (s ∧ Ø t )

结论： p ® (q ® w )

查看答案及解析

赞花婆

证明：用附加前提证明法

① p 附加前提引入

② p ® (q ® r ) 前提引入

③ q ® r ①② 假言推理

④ (r ∧ s ) ® t 前提引入

⑤ r ® (s ® t ) ④置换

⑥ q ® (s ® t ) ③⑤ 假言推理

⑦ Ø w ® (s ∧ Ø t ) 前提引入

⑧ Ø w ® Ø (s ® t ) ⑦置换

⑨ (s ® t ) ® w ⑧置换

⑩ q ® w ⑥ ⑨假言推理

发表于 2017-05-12 02:00:58 回复(0)

提交观点

问题信息

组合数学

上传者：赞花婆

难度：

1条回答 0收藏 1602浏览

扫一扫，把题目装进口袋