┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明数理逻辑实在是叫人头痛啊,那位能帮个忙呢?问题绝对没有错的,我是高教出版社的书上的题目啊
问题描述：
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
数理逻辑实在是叫人头痛啊,那位能帮个忙呢?
问题绝对没有错的,我是高教出版社的书上的题目啊
答
该等式不成立,应该是┐(P∨Q→┐R)=(P∨Q)∧RP∨Q→┐R＝(┐（P∨Q）∧R)∨(┐（P∨Q）∧┐R)∨((P∨Q)∨┐R)故┐(P∨Q→┐R)=(P∨Q)∧R此外如果不熟练最好用真值表证明每本书的开头不是都说作者水平有限,错误之处在...