单项选择题
我家的猫要么在阳台睡觉，要么在厨房吃肉。现在没在阳台找到它，那它肯定在厨房。请问这使用了什么推理定律？（）
A.析取三段论B.构造性二难C.假言推理D.拒取式
单项选择题 根据蕴涵律，P®Q与下列哪个公式等价？（）
单项选择题 ﹁P∨Q∧R®S是以下哪个合式公式的简化形式？（）
单项选择题 以下哪个命题是原子命题？（）
