共用题干题

设P是二元谓词，给定解释I如下：
D={a，b}，P（a，a）=P（b，a）=T，P（a，b）=P（b，b）=F.
求下列公式的真值：

∀xP（x，x）.

x（F（f（x））∧G（x，f（x）））. 点击查看答案

xyL（x，y）. 点击查看答案