多項(xiàng)選擇題

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.對(duì)任意公式A "xA 與?$x?A 邏輯等值。
B.對(duì)任意公式A $xA 與?"x?A 邏輯等值。
C.對(duì)任意公式A ?"xA 與$x?A 邏輯等值。
D.對(duì)任意公式A "x?A 與?$xA 邏輯等值。