设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在

分类: 离散数学(02324) 发布时间: 2024-08-03 22:50 浏览量: 2

设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在Ⅰ下,求命题公式 的真值。


【正确答案】:

解:在解释I下