当前位置:新励学网 > 秒知问答 > 求解答离散数学课本中的一道题

求解答离散数学课本中的一道题

发表时间:2024-08-20 11:28:42 来源:网友投稿

1x3命题引入

2(x2→x1)∨┓x3命题引入

3x2→x112析取三段论

4┓(x1→x2)→┓(x3∨x4)命题引入

5(x3∨x4)→(x1→x2)4拒取式

6x3∨x41附加

7x1→x256假言推理

8(x2→x1)∧(x1→x2)37合取

9x1←→x28置换

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!