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

单项选择题

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

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

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

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