共用题干题

给定解释I如下：
（1）D={2，3}；
（2）D中特定元素a=2；
（3）函数为f（2）=3，f（3）=2；
（4）谓词为F（2）=F，F（3）=T，
G（x，y）为G（2，2）=G（2，3）=G（3，2）=F，G（3，3）=T，
L（x，y）为L（2，2）=L（3，3）=T，L（2，3）=L（3，2）=F.
求在解释I下各公式的真值：

∀x∃yL（x，y）.

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

指出公式xy（R（x，y）∨L（y，z））∧ヨxH（x，y）中量词的每次出现辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元和自由变元。 点击查看答案