哲学, 推理, 数理逻辑, 证明, 逻辑学

双条件消除 (Biconditional elimination)

, , , ,