教资会网络 | UGC NET CS 2017 年一月至三日 |问题 55

考虑在人工智能 (AI) 的逻辑推理中遵循两条规则 R1 和 R2：
R1 : 从 α ⊃ β
和 α/Inter β
被称为 Modus Tollens (MT)
R2 : 从 α ⊃ β
和 ¬β/Inter ¬α
被称为 Modus Ponens (MP)
(A)只有 R1 是正确的。
(B)只有 R2 是正确的。
(C) R1 和 R2 都是正确的。
(D) R1 和 R2 都不正确。答案： (D)
解释：
R1 : 从 α ⊃ β
和 α/Inter β
被称为 Modus Ponens (MP)
R2 : 从 α ⊃ β
和 ¬β/Inter ¬α
被称为 Modus Tollens (MT)
所以，选项（D）是正确的。
这个问题的测验