注意：此页面搜索的是所有试题
题目内容
（西安交通大学---离散数学）
设G、H是一阶逻辑公式，P是一个谓词，G＝xP(x), H＝xP(x),则一阶逻辑公式GH是( ).
A、恒真的 B、恒假的 C、可满足的 D、前束范式.
A、恒真的 B、恒假的 C、可满足的 D、前束范式.
参考答案