问答题

共用题干题

给定解释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(F(f(x))∧G(x,f(x))).

【参考答案】

热门 试题

问答题
xyL(x,y).
问答题
x(F(x)∧G(x,a)).