大一离散数学自然推理系统,求解不用附加前提法的证明

发布网友发布时间：2023-07-09 19:54

共1个回答

热心网友时间：2024-12-14 18:10

1 (p∧q)→r 前提引入
2 (非p)∨(非q)∨r 1置换
3 q 前提引入
4 (非p)∨r 23析取三段论
5 p→r 4置换
6 (非s)∨p 前提引入
7 s→p 6置换
8 s→r 57假言三段论

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com