多项选择题

下列公式属于定理的有（）

A."x（Px∧Qx）«"xPx∧"xQx
B."x（Px∨Qx）«"xPx∨"xQx
C.$x（Px∧Qx）«$xPx∧$xQx
D.$x（Px∨Qx）«$xPx∨$xQx

点击查看答案&解析

上一题目录下一题

多项选择题

A.Px→$y（Sy∧Fxy）
B.Py→$y（Sy∧Fyy）
C.Px→$y（Sy∧Fzy）
D.Pa→$y（Sy∧Fay）

多项选择题

A.$xRax→"xRax 不是普遍有效的。
B.$xRax→"xRax 是可满足的。
C."xRax→$xRax 是普遍有效的。
D."xRax→$xRax 是可满足的。

多项选择题

A.若A 是普遍有效的，则不存在解释使得ØA 在其中为真。
B.若A 不是普遍有效的，则存在解释使得ØA 在其中为真。
C.若不存在解释使得ØA 在其中为真，则A 是普遍有效的。
D.若存在解释使得ØA 在其中为真，则A 不是普遍有效的。