명제논리의 추론규칙

	도입	소거		도입	소거
¬			→
∧			↔
∨			⊥
반복			배중률

[Fitch, Propositional]