量词的否定与前束范式 — 数学选择题
题目
设一阶公式 G 为 ¬∃x( P(x) → ∀y R(x,y) )，将 G 化为与其等值的前束范式，正确结果是（ ）
A. ∀x∃y( P(x) ∧ ¬R(x,y) )
B. ∃x∀y( P(x) ∧ ¬R(x,y) )
C. ∀x∀y( P(x) → ¬R(x,y) )
D. ∃x∃y( ¬P(x) ∧ ¬R(x,y) )
《一阶谓词逻辑》其他练习题
相关题目
数学
选择题
将一阶公式 ¬∀x( P(x) → ∃y R(x,y) ) 化为与其等值的前束范式…
量词的否定与前束范式
数学
填空题
将一阶公式 ¬∀x(∃y P(x,y) ∨ Q(x)) 化为等值的前束范式（其…
量词的否定与前束范式
数学
选择题
设一阶公式 G = ¬∀x(∀y P(x,y) → Q(x))，其中 Q(x) 不含变元 y。…
量词的否定与前束范式
数学
填空题
将一阶公式 ¬∃x(∀y P(x,y) → Q(x)) 化为等值的前束范式（其…
量词的否定与前束范式
数学
选择题
将公式 ¬∃x(P(x)→∀yQ(x,y)) 化为等值的前束范式，正确结果…
量词的否定与前束范式
数学
选择题
公式 ¬∃x∀y(P(x,y)→Q(y)) 的等值前束范式是（ ） A. ∀x∃y(P…
量词的否定与前束范式