Loading AI tools
위키백과, 무료 백과사전
추론 규칙(推論規則, Rule of inference) 또는 '추론 형식'은 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다.
공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 항진식(동어 반복)으로부터 이끄는 것이 타당하다.
아래는 대표적인 추론 규칙이다.(‘¬'는 부정, ‘→'은 내포(함의)등 나머지는 논리기호 참고)
추론규칙(推論規則)은 논리식에서 다른 논리식을 이끌어 내는 규칙으로 정의한다면 이때 특히 연역적 추론 규칙(演繹的推論規則)은 하나 또는 여러 개의 주장들로부터 논리적으로 동등하거나 보다 특수한 주장을 결론짓는 추론 형식이 성립하는지 여부의 타당성을 확인할 수 있다는 것을 내포한다.
자연언어 | 논리 기호 | 명제의 형식 |
---|---|---|
그리고 | 연언 명제 | |
또는 | 선언 명제 | |
만일 A 이면 B 이다 | 가언 명제 | |
아니다 | 부정 명제 | |
A는 B 이다 (동치) | 정언 명제 |
한편 '명제의 형식' 과 '명제의 양과 질' 과 '명사의 위치및갯수' 그리고 이들의 출현 순서는 '추론형식'이 타당성을 확보하기위한 명제들의 주요한 성분이다.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.