命题逻辑, 推理, 数学, 计算机科学, 逻辑学

双条件引入 (Biconditional Introduction)

, , , ,