多項(xiàng)選擇題下列公式屬于定理的有（）

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


您可能感興趣的試卷

你可能感興趣的試題

1.多項(xiàng)選擇題對(duì)公式"x（Px→$y（Sy∧Fxy））使用"規(guī)則可得（）

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

2.多項(xiàng)選擇題取個(gè)體域?yàn)樽匀粩?shù)集，a 表示自然數(shù)0，R 表示自然數(shù)上的“≤”關(guān)系。則上述解釋可以證明（）

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

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

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

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

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

5.單項(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 邏輯等值。