第一问答网»论坛 › 中问网 › 问答 › 离散数学求帮助~~~给出下列推理的过程的形式证明 ...

离散数学求帮助~~~给出下列推理的过程的形式证明

11 |

2 | 2013-3-26 23:45:40 | 显示全部楼层 |阅读模式

做出来了不一定对..你看看.(1) p→(q→r) (2)(r∧s)→t
(3) ┐h→(s∧┐t).(2)(r∧s)→t? ┐ ( r ∧ s ) ∨ t
(蕴含)?( ┐r ∨ ┐s ) ∨ t
(摩根定律)?┐r ∨ ( ┐s ∨ t )
(交换律)?r → (┐s∨t )
(蕴含)?r → ( s → t )
(蕴含)(3) ┐h→(s∧┐t)?┐( s ∧ ┐t ) → h (假言易位)&#865...

使用道具举报