单项选择题
A.基于谓词逻辑的演绎推理B.完全归纳推理C.不完全归纳推理D.类比推理
对任意一阶公式A（）A.若A 是定理，则"xA 是定理。B.若A 是定理，则$xA 是定理。C.若"xA 是定...
多项选择题对任意一阶公式A（）
A.若A 是定理，则"xA 是定理。B.若A 是定理，则$xA 是定理。C.若"xA 是定理，则A 是定理。D.若$xA 是定理，则A 是定理。
现有如下谓词逻辑推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）A.该推...
单项选择题现有如下谓词逻辑推理："x（Mx→Px），"x（Sx→Mx）├$x（Sx∧Mx）。下列说法正确的是（）
A.该推理是正确的。B.该推理不正确，需添加前提$xSx 才正确。C.该推理不正确，需添加前提$xMx 才正确。D.该推理不正确，需添加前提$xPx 才正确。
下列公式属于定理的有（）A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC...
多项选择题下列公式属于定理的有（）
A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC.$x（Px∧Qx）«$xPx∧$xQxD.$x（Px∨Qx）«$xPx∨$xQx
