欢迎来到易学考试网 易学考试官网
全部科目 > 大学试题 > 理学 > 数学 > 离散数学

单项选择题

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

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

点击查看答案&解析

相关考题

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

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