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

单项选择题

设G⇔∀x∃yP(x,y)→Q(z,w),下面三个命题为真的是()。

    A.G是前束范式
    B.G不是前束范式
    C.G不是一阶公式
    D.G是永真式

点击查看答案&解析

相关考题

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

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