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

分类: 离散数学(02324) 发布时间: 2024-08-03 23:49 浏览量: 1
设解释I为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在I下,求命题公式∀x(F(x)→G(x))的真值。
【正确答案】: