상위 질문
타임라인
채팅
관점
추론 규칙
위키백과, 무료 백과사전
Remove ads
추론 규칙(推論規則, 영어: rule of inference) 또는 추론 형식이란, 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다.
공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 동어 반복, 즉 항진식으로부터 이끄는 것이 타당하다.
추론 규칙(推論規則)을 논리식에서 다른 논리식을 이끌어 내는 규칙으로 정의한다면, 이때 특히 연역적 추론 규칙(演繹的推論規則)은 하나 또는 여러 개의 주장들로부터 논리적으로 동등하거나 혹은 보다 특수한 주장을 결론짓는 추론 형식의 성립 여부의 타당성을 확인할 수 있다는 것을 내포한다.
대표적인 추론 규칙
Remove ads
타당한 추론 형식
명제의 형식, 명제의 양과 질, 명사의 위치 및 갯수, 이들의 출현 순서는 추론 형식이 타당성을 확보하기 위해 필요한 명제들의 주요한 성분이다.
같이 보기
각주
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads