以p→（﹁q∧﹁r)和q为前提进行推理，结论是（）。

以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。

A. p→﹁q

B. q→p

C. p∨﹁q

D. p↔q

E. p→q

p→（p∨q∨r）是重言式。

P®(P∧Q)的类型是？

A、重言式

B、矛盾式

C、非重言可满足式

D、无法判断

B.﹁q

C.﹁q∧s

D.﹁r∧s

E.(﹁q∨﹁r)∧s

公式(P→Q)∧(Q→P)的类型是

A、重言式

B、矛盾式

C、可满足式

D、主范式

下列哪些公式为永真蕴含式

A、¬Q=>Q→P

B、¬Q=>P→Q

C、P=>P→Q

D、¬P∧(P∨Q)=>¬P

若SOP假而POS真，则S与P的外延关系是（ ）

逻辑学的创始人是古希腊的亚里士多德，他的主要理论贡献有三段论逻辑、模态逻辑等。

“啊！祖国！”是一个命题。