数学 选择题 简单

推理理论 — 数学选择题

离散数学(计算机类) 命题逻辑 AI 三重审校通过

题目
下列推理形式中,正确运用推理规则的是(  ) A. 由 p→q 与 q,推出 p(肯定后件) B. 由 p→q 与 ¬p,推出 ¬q(否定前件) C. 由 p→q 与 p,推出 q(假言推理) D. 对结论为 p∧q 的推理使用 CP 规则引入附加前提