多项选择题
下列公式属于定理的有（）
A."x（Px∧Qx）«"xPx∧"xQxB."x（Px∨Qx）«"xPx∨"xQxC.$x（Px∧Qx）«$xPx∧$xQxD.$x（Px∨Qx）«$xPx∨$xQx
多项选择题 对公式"x（Px→$y（Sy∧Fxy））使用"规则可得（）
多项选择题 取个体域为自然数集，a 表示自然数0，R 表示自然数上的“≤”关系。则上述解释可以证明（）
多项选择题 设A 是谓词逻辑公式。下列说法正确的有（）
