题目内容

推理有效,指的是推理的结论是前提的合乎逻辑的结果。 ()

查看答案

搜索结果不匹配？点我反馈

更多问题

若G⇒H,则蕴涵式 G → H 是重言式。 ()

下列表达公式之间的关系正确的是( )

A. ┐Q⇒Q→P
B. ┐Q⇒P→Q
C. P⇒P→Q
D. P→(Q→Q)⇒ ┐P

下列表达公式之间的关系错误的是( )

A. ┐(P→Q)⇒P
B. P⇒P∧Q
C. P∧Q⇒P∨Q
D. P∧(P→Q)⇒Q

已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值分别为001,010,111,则A的主析取范式为m1m2m7。 ()