注意：此页面搜索的是所有试题
题目内容
（佳木斯大学语言治疗学）
设G、H是一阶逻辑公式,P是一个谓词,
, 
,则一阶逻辑公式
是( )
·恒真的
·恒假的
·可满足的
·前束范式
, ,则一阶逻辑公式是( )·恒真的
·恒假的
·可满足的
·前束范式
参考答案
