问答题
计算题
谓词逻辑的解释N如下：DN为全体自然数，a′为0，f′（x，y）为x+y，g′（x，y）为xy，P′（x，y）为x=y，其中x和y为DN中的自然数。求满足或不满足公式P（f（x，y），g（y，z））的真值。
【参考答案】
点击查看答案
相关考题
-
问答题
设d1，d2，...，dn为n个互不相同的正整数，证明d1，d2，...，dn不可简单图化。 -
问答题
令谓词逻辑的解释I如下：D1是全体整数，a′是0，f′（x，y）为x-y，P′（x，y）为x=y，Q′（x，y）为x1的整数。 说明下列各公式在I中的意义及其真值，并求I中另一解释，使相应公式取相反真值。 ①（∀x）（∀y）（Q（f（x，y），a）→Q（x，y）） ②（∀x）（∀y）（P（f（x，y），a）→Q（x，y）） ③（∀x）（∀y）（Q（x，y）→¬P（x，y）） -
问答题
证明下列式子：(x）（F(x)→G（x））,(x）(R(x)→G(x))=>(x）(R(x)→F（x）)
