题目内容

判断这两个谓词公式是否是前束范式？（1）∀𝑥∃𝑦∀𝑧(P(𝑥,𝑦)→Q(𝑦,𝑧))（2）∀𝑥P(𝑥) ∧∃𝑦Q(𝑦)

A. 都是前束范式
B. 都不是前束范式
C. (1)是前束范式，(2)不是前束范式
D. (1)不是前束范式，(2)是前束范式

查看答案

搜索结果不匹配？点我反馈

更多问题

∀𝑥∃𝑦∀𝑧P(𝑥,𝑦)→Q(𝑦,𝑧)是前束范式。

A. 对
B. 错

谓词逻辑中的任何公式都存在与之等价的前束范式。

A. 对
B. 错

谓词公式的前束范式是唯一的。

A. 对
B. 错

某项目投资额20000元，投产后NCF均为4000元，则该项目回收期是( )年

A. 5
B. 4.5
C. 3
D. 6