多项选择题
A."x（Px→ØSx）B.Ø$x（Px∧Sx）C."x（ØPx∨ØSx）D.$xØ（Sx→Px）
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））