首页
设解释,如下:D={2,3},已知f(2)=3,,(3)=2,F(2)=0,F(3)=1,G(2,2)=G(3,3)=0,G(2
2024-08-03 23:49:55
离散数学(02324)
设解释,如下:D={2,3},已知f(2)=3,,(3)=2,F(2)=0,F(3)=1,G(2,2)=G(3,3)=0,G(2,3)=G(3,2)=1。
求谓词(∃x)(F(f(x))⋀G(x,f(x)))在I下的真值。
【正确答案】:
上一篇:
设解释I为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在
下一篇:
设解释I如下:论域D={2,3},f(2)=3,f(3)=2,F(2,2)=0,F(2,3)=0,F(3,2)=1,F(3,3)