單項選擇題

下列命題能表明用全稱量詞可以定義存在量詞的是（）

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

你可能感興趣的試題

單項選擇題

“并非每個人都是父母”翻譯為一階公式最佳的是（）

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））

多項選擇題

取個體域為整數(shù)集。下列解釋能使公式"x"y（Rxy→Ryx）為真的有（）

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