교체규칙
Rule of replacement| 변환 규칙 |
|---|
| 명제 미적분학 |
| 추론 규칙 |
| 교체규칙 |
| 술어 논리학 |
| 추론 규칙 |
논리적으로 대체 규칙은[1][2][3] 표현식의 특정 부분에만 적용될 수 있는 변환 규칙이다.논리 시스템은 공리, 추론 규칙 또는 두 가지 모두를 시스템의 논리 표현에 대한 변환 규칙으로 사용하도록 구성할 수 있다.추론 규칙은 항상 전체 논리적 표현에 적용되는 반면, 대체 규칙은 특정 세그먼트에만 적용될 수 있다.논리적인 증거의 맥락 안에서 논리적으로 동등한 표현은 서로를 대체할 수 있다.대체 규칙은 명제를 조작하기 위한 명제 논리에 사용된다.
대체의 일반적인 규칙은 de Morgan의 법칙, 감화, 연관성, 분배, 이중 부정,[a] 전환, 물질적 함축성, 논리적 동등성, 수출 및 tautology를 포함한다.
참고 항목
메모들
참조
- ^ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall.
- ^ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing.
- ^ 무어와 파커[full citation needed]
