A.重言式B.矛盾式C.非重言可满足式P®（P∧Q）的类型是（）。……

单项选择题P∧Q的对偶式是（）。

A.﹁P∨﹁Q
B.P∧Q
C.P∨Q
D.﹁P∧﹁Q

单项选择题我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？（）

A.析取三段论
B.构造性二难
C.假言推理
D.拒取式

单项选择题根据蕴涵律，P®Q与下列哪个公式等价？（）

A.﹁P∨Q
B.P∧﹁Q
C.P∨﹁Q
D.﹁P∧Q

单项选择题﹁P∨Q∧R®S是以下哪个合式公式的简化形式？（）

A.（（（﹁P）∨（Q∧R））®S）
B.（（﹁（P∨Q）∧R）®S）
C.（（（（﹁P）∨Q）∧R）®S）
D.（（﹁P）∨（Q∧（R®S）））

单项选择题以下哪个命题是原子命题？（）

A.世界上没有救世主，也没有神仙
B.小明要么在上课，要么在操场跑步
C.张三和李四是朋友
D.如果明天下雨，我就不去公园