首页
设解释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
2024-08-03 23:49:45
离散数学(02324)
设解释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下的真值。
【正确答案】:
上一篇:
在下列各公式中,对约束变元进行换名,对自由变元进行代入。(1)∃x(F(x)⋀S(x,y))→∀y(M(x,y)→W(y));(
下一篇:
在一阶逻辑中,将下列命题符号化,并且要求只能使用存在量词。(1)没有人长着绿色头发;(2)有的上海市民没有去过东方明珠塔。