数学选择题较难 ★ 精品

量词的否定与前束范式 — 数学选择题

离散数学（计算机类）一阶谓词逻辑 AI 三重审校通过

题目

设一阶公式 G：∀x(∃yP(x,y)→∀zQ(x,y,z) 中 Q 不含 y 时写为 ∀zQ(x,z))，即 G 为 ∀x(∃yP(x,y)→∀zQ(x,z))。将 ¬G 化为前束范式，其正确结果为（　） A. ∃x∃y∃z(P(x,y)∧¬Q(x,z)) B. ∃x∃y∃z(P(x,y)∨¬Q(x,z)) C. ∃x∃y∀z(P(x,y)∧¬Q(x,z)) D. ∀x∃y∃z(P(x,y)∧¬Q(x,z))

用此考点生成试卷本单元全部练习题更多数学选择题

量词的否定与前束范式 — 数学选择题

《一阶谓词逻辑》其他练习题

相关题目