搜题
问题   更新时间2024/5/27 16:29:00

设G、H是一阶逻辑公式,P是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式GH是( ).
·恒真的
·恒假的
·可满足的
·前束范式.

单选题
·可满足的
王老师:19139051760(拨打)