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