来自罗哉的问题
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明数理逻辑实在是叫人头痛啊,那位能帮个忙呢?问题绝对没有错的,我是高教出版社的书上的题目啊
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
数理逻辑实在是叫人头痛啊,那位能帮个忙呢?
问题绝对没有错的,我是高教出版社的书上的题目啊
1回答
2020-04-28 18:42
我要回答
请先登录
杜聪
该等式不成立,应该是┐(P∨Q→┐R)=(P∨Q)∧RP∨Q→┐R＝(┐（P∨Q）∧R)∨(┐（P∨Q）∧┐R)∨((P∨Q)∨┐R)故┐(P∨Q→┐R)=(P∨Q)∧R此外如果不熟练最好用真值表证明每本书的开头不是都说作者水平有限,错误之处在...
2020-04-28 18:45:07