移动端
微信搜“题王网”真题密题、最新资讯、考试攻略、轻松拿下考试
首页
词条
重言式
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。
谓词逻辑中,重言式(tautlogy)的值是()。
试判断以下各式是否为重言式。 (1)(P→Q)→(Q→P) (2)P→(P→Q) (3)Q→(P→Q) (4)(P∧Q)→(P→Q) (5)((P→Q)∨(R→Q))→((P∨R)→Q) (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))