欢迎来到PP题库网 PP题库官网
logo
全部科目 > 大学试题 > 理学 > 数学 > 离散数学

问答题

计算题

令谓词逻辑的解释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))

    【参考答案】

    点击查看答案
    微信小程序免费搜题
    微信扫一扫,加关注免费搜题

    微信扫一扫,加关注免费搜题