首页
设解释I为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在
2024-08-03 23:49:58
离散数学(02324)
设解释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))的真值。
【正确答案】:
上一篇:
证明下列谓词公式为永真式:∀y(A(y)→∃xA(x))。
下一篇:
设解释,如下:D={2,3},已知f(2)=3,,(3)=2,F(2)=0,F(3)=1,G(2,2)=G(3,3)=0,G(2