问答题
计算题
令谓词逻辑的解释I如下:D1是全体整数,a′是0,f′(x,y)为x-y,P′(x,y)为x=y,Q′(x,y)为x
说明下列各公式在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))
【参考答案】
点击查看答案
