查看原题
给定解释 I 如下:
(a) 个体域 $\mathrm{D}=\{3,4\}$;
(b) $\mathrm{f}(\mathrm{x})$ 为 $\mathrm{f}(3)=4, \mathrm{f}(4)=3$;
(c) $F(x, y)$ 为 $F(3,3)=F(4,4)=0, F(3,4)=F(4,3)=1$ 。
求公式 $\forall x \forall y(F(x, y) \rightarrow F(f(x), f(y)))$ 在 I 下的真值。
                        
不再提醒