多項(xiàng)選擇題設(shè)A 是謂詞邏輯公式。下列說(shuō)法正確的有（）

A.若A 是普遍有效的，則不存在解釋使得?A 在其中為真。
B.若A 不是普遍有效的，則存在解釋使得?A 在其中為真。
C.若不存在解釋使得?A 在其中為真，則A 是普遍有效的。
D.若存在解釋使得?A 在其中為真，則A 不是普遍有效的。


您可能感興趣的試卷

你可能感興趣的試題

1.多項(xiàng)選擇題下列公式與"x（Sx→?Px）真值條件相同的有（）

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

2.單項(xiàng)選擇題下列命題能表明用全稱量詞可以定義存在量詞的是（）

A.對(duì)任意公式A "xA 與?$x?A 邏輯等值。
B.對(duì)任意公式A $xA 與?"x?A 邏輯等值。
C.對(duì)任意公式A ?"xA 與$x?A 邏輯等值。
D.對(duì)任意公式A "x?A 與?$xA 邏輯等值。

3.單項(xiàng)選擇題“并非每個(gè)人都是父母”翻譯為一階公式最佳的是（）

A.?"x（Hx→"y（Hy→Fxy∨Mxy））
B.?"x（Hx→$y（Hy∧（Fxy∨Mxy）））
C.?"x（Hx→$y（Hy∧（Fxy∧Mxy）））
D.?"x（Hx→"y（Hy→Fxy∧Mxy））

4.多項(xiàng)選擇題取個(gè)體域?yàn)檎麛?shù)集。下列解釋能使公式"x"y（Rxy→Ryx）為真的有（）

A.R 表示“＜”關(guān)系
B.R 表示“≤”關(guān)系
C.R 表示“＝”關(guān)系
D.R 表示“≠”關(guān)系

5.單項(xiàng)選擇題“有的S 不是P”用一階公式表達(dá)正確的有（）

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

最新試題