共用题干题

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

∀x∃yP（x，y）.

xP（x，x）. 点击查看答案

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