| 부정의 도입칙 (배리법) | 'A'를 가정하여 모순이 도출될 때, 'A가 아니다'라고 결론내려도 좋다. |
| 부정의 제거칙 (이중부정추출) | (A가 아니다)가 아니다 -> A |
| 연언의 도입칙 (또한 투입) | A, B -> A 또한 B |
| 연언의 제거칙 (또한 추출) | (1) A 또한 B -> A (2) A 또한 B -> B |
| 선언의 도입칙 (또는 투입) | (1) A -> A 또는 B (2) B -> A 또는 B |
| 선언의 제거칙 (소거법) | (1) A 또는 B, A 가 아니다 -> B (2) A 또는 B, B 가 아니다 -> A |
| 조건법의 도입칙 (~라면 투입) | 'A'를 가정하여 B 가 도출될 때, 'A 라면 B'라고 결론내려도 좋다. |
| 조건법의 제거칙 (긍정식) | A, A 라면 B -> B |
분류 : 공부 2008. 12. 6. 21:32
제목 : 표준적인 명제논리의 체계
