设解释I如下:D={2,3},已知f(2)=3,f(3)=2,F(2)=0,F(3)=1,G(2,2)=G(2,3)=0,G(3

分类: 离散数学(02324) 发布时间: 2024-08-03 23:49 浏览量: 2
设解释I如下:D={2,3},已知f(2)=3,f(3)=2,F(2)=0,F(3)=1,G(2,2)=G(2,3)=0,G(3,2)=G(3,3)=1。
求谓词公式(∀x)(F(x)→G(x,f(x)))在I下的真值。
【正确答案】: