추론 규칙: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
3번째 줄:
[[공리]], [[대입 규칙]], [[추론]] 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 [[메타 언어]]로 기술된다. 추론 규칙은 [[항진식]](동어 반복)으로부터 이끄는 것이 타당하다.
아래는 대표적인 추론 규칙이다.(‘￢＇는 부정, ‘→＇은 내포
* [[전건 긍정|전건 긍정의 형식]] P, P→Q ⊢ Q
10번째 줄:
* 보편 사례화의 규칙(전체 한정사 사례화) ∀xψ(x) ⊢ ψ(a)
* 존재 일반화의 규칙(존재 한정사 일반화) ψ(a) ⊢ ∃xψ(x)
*
* 이중부정의 도입 P ⊢ ￢￢P
* 선언삼단논법 P∨Q, ￢P ⊢ Q
| |||