명제논리의 추론규칙
도입
소거
도입
소거
￢
→
∧
↔
∨
⊥
반복
배중률
[
돌아가기
]
