教资会网络 | UGC NET CS 2015 年六月 – II |问题 9

和以下相符：

(一) (一)
(乙) (2)
(三) (3)
(D) (4)答案：（一）
解释：

• (p → q) ⇔ (¬q → ¬p ) 是相反的
• [(p ∧ q) → r] ⇔ [p → (q → r)] 是出口法。
• (p → q) ⇔ [(p ∧ ¬q) → o] 是归谬法
• (p ↔ q)⇔[(p → q)∧(q → p)] 是等价的。

所以，选项（A）是正确的。
这个问题的测验