추론 규칙: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
리듬 (토론 | 기여)
편집 요약 없음
리듬 (토론 | 기여)
편집 요약 없음
1번째 줄:
'''추론 규칙'''(推論規則, Rule of inference)은 [[논리학]]에서 [[정합논리식|논리식]]으로부터 다른 논리식을 이끄는 규칙을 말한다.
 
[[공리]], [[대입 규칙]], [[추론]] 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 [[메타 언어]]로 기술된다. 추론 규칙은 [[항진식]](동어 반복)으로부터 이끄는 것이 타당하다.
11번째 줄:
* 그외 기타
 
{{수리논리학}}
{{토막글|철학}}