多项选择题
A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC.$x（Px∧Qx）«$xPx∧$xQxD.$x（Px∨Qx）«$xPx∨$xQx
A.Px→$y（Sy∧Fxy）B.Py→$y（Sy∧Fyy）C.Px→$y（Sy∧Fzy）D.Pa→$y（Sy∧Fay）
A.$xRax→"xRax 不是普遍有效的。B.$xRax→"xRax 是可满足的。C."xRax→$xRax 是普遍有效的。D."xRax→$xRax 是可满足的。