多项选择题

取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）

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

点击查看答案&解析

上一题目录下一题

多项选择题

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

多项选择题

A."x（Px→ØSx）
B.Ø$x（Px∧Sx）
C."x（ØPx∨ØSx）
D.$xØ（Sx→Px）

单项选择题

A.对任意公式A "xA 与Ø$xØA 逻辑等值。
B.对任意公式A $xA 与Ø"xØA 逻辑等值。
C.对任意公式A Ø"xA 与$xØA 逻辑等值。
D.对任意公式A "xØA 与Ø$xA 逻辑等值。