设G、H是一阶逻辑公式,P是一个谓词,, ,则一阶逻辑公式是( )
·恒真的
·恒假的
·可满足的
·前束范式
出自:佳木斯大学语言治疗学