下列公式中为永假式的是

A.(P∧┐P) ←→q

B.P→(P∨q∨R)

C.(P→┐P)→┐P

D.┐(Q→P)∧P

A.「(P→Q)

B.「(P→Q)∧Q

C.(P→Q)∨Q

D.「P∧(P→Q)

命题公式(P∧Q)→P是下列4个中的哪一个？

(1)永真式 (2)永假式

(3)可满足式 (4)合取范式

命题公式(P∧Q)→P是下列4个中的哪一个？

(1)永真式； (2)永假式；

(3)可满足式； (4)合取范式．

A.空子句是永假的，不可满足的

B.在谓词逻辑中，不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集

C.任何文字的析取式称为子句

D.归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性

A.永真公式

B.永假公式

C.可满足式

D.以上3种公式都不是

A.永真式

B.永假式

C.可满足式

D.合取式

A.P→(P∨Q∨R)

B.┐(Q→P)∧P

C.(P→Q)→(Q→┐P)

D.(P∧┐P) ←→q