추론 규칙(推論規則, 영어: rule of inference) 또는 추론 형식은 논리학에서 기존의 논리식으로부터 새로운 논리식을 이끌어 내는 규칙을 말한다. 이는 하나 이상의 주어진 명제(전제)로부터 새로운 명제(결론)를 도출하는 과정을 체계화한 규칙으로, 특히 형식 논리 체계에서 타당한 논증의 구조를 정의하는 데 필수적인 역할을 한다.
개념의 배경
논리학에서 공리(公理), 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계(公理系)이다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 동어 반복, 즉 항진식으로부터 이끄는 것이 타당하다고 간주된다.
연역적 추론 규칙(演繹的推論規則)은 하나 또는 여러 개의 주장들로부터 논리적으로 동등하거나 혹은 보다 특수한 주장을 결론짓는 추론 형식의 성립 여부의 타당성을 확인할 수 있게 한다.
대표적인 추론 규칙
추론 규칙에는 다양한 형식이 존재하며, 주요한 것들은 다음과 같다.
- 전건 긍정(Modus Ponens): P, P→Q ⊢ Q
- 후건 부정(Modus Tollens): ¬Q, P→Q ⊢ ¬P
- 부정 도입: P→⊥ ⊢ ¬P
- 보편 사례화(Universal Instantiation): ∀x ψ(x) ⊢ ψ(a)
- 존재 일반화(Existential Generalization): ψ(a) ⊢ ∃x ψ(x)
- 이중부정의 제거: ¬¬P ⊢ P
- 이중부정의 도입: P ⊢ ¬¬P
- 선언명제 삼단논법(Disjunctive Syllogism): P∨Q, ¬P ⊢ Q
- 가언명제 삼단논법(Hypothetical Syllogism): P→Q, Q→R ⊢ P→R
- 도출(Resolution): l∨P, ¬l∨Q ⊢ P∨Q
여기서 ⊢ 기호는 "다음에 이끌어 낸다"는 의미를 나타내며, 각 규칙은 전제의 진리값이 보존되도록 설계되어 있다.
술어 논리에서의 확장
명제 논리에서는 위의 규칙들이 기본이 되지만, 명제함수와 정량자(양화사)를 사용하는 술어 논리에서는 명제 논리와 다른 추론 규칙이 추가로 필요하다. 전칭 기호(∀)와 존재 기호(∃)를 다루기 위한 규칙들, 예를 들어 전칭 사례화, 전칭 일반화, 존재 사례화, 존재 일반화 등이 여기에 해당한다.
활용 분야
추론 규칙은 수학적 증명, 이산 수학, 컴퓨터 과학, 인공지능의 자동 정리 증명 등 다양한 분야에서 활용된다. 특히 인공지능 분야에서는 분해 규칙(Resolution)이 자동 정리 증명의 핵심 도구로 사용된다. 또한 각 추론 규칙은 타당한 논증을 구성하는 기본 틀을 제공하므로, 논리적 사고와 논증 평가의 기초가 된다.
관련 개념
추론 규칙은 추론(推論, inference)이라는 보다 넓은 개념과 밀접하게 관련된다. 추론은 이미 알고 있거나 확인된 정보로부터 논리적 결론을 도출하는 행위 또는 과정을 가리키며, 추론 규칙은 그러한 과정을 형식적으로 체계화한 도구라고 볼 수 있다. 명제의 형식, 명제의 양과 질, 명사의 위치 및 개수, 이들의 출현 순서는 추론 형식이 타당성을 확보하기 위해 필요한 명제들의 주요 성분이다.
