证明下列谓词公式为永真式:。

证明下列谓词公式为永真式:


【正确答案】:

证明:利用谓词等值式 ,可得易见,这是一个永真式。所以, 为永真式。


【题目解析】:利用谓词等值式即可转换为易于判断的永真式。