명제논리의 추론규칙


도입소거
도입소거
반복 배중률

[Fitch, Propositional]