单项选择题
“我知道的所有已经死去的人没有谁复活，所以人死不能复生。”上述推理属于（）
A.基于谓词逻辑的演绎推理B.完全归纳推理C.不完全归纳推理D.类比推理
多项选择题 对任意一阶公式A（）
单项选择题 现有如下谓词逻辑推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）
多项选择题 下列公式属于定理的有（）
