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 邏輯等值。
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))