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