추론 규칙
추론 규칙(推論規則, Rule of inference) 또는 '추론 형식'은 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다.

공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 항진식(동어 반복)으로부터 이끄는 것이 타당하다.

아래는 대표적인 추론 규칙이다.(‘￢＇는 부정, ‘→＇은 내포(함의)등 나머지는 논리기호 참고)

 전건 긍정의 형식　P, P→Q ⊢ Q
 후건 부정의 형식　￢Q, P→Q ⊢ ￢P
 부정도입　P → ⊥ ⊢ ￢P
 보편 사례화의 규칙(전체 한정사 사례화)　∀xψ(x) ⊢ ψ(a)
 존재 일반화의 규칙(존재 한정사 일반화)　ψ(a) ⊢ ∃xψ(x)
 이중부정의 제거　￢￢P ⊢ P
 이중부정의 도입　P ⊢ ￢￢P
 선언명제 삼단논법　P∨Q, ￢P ⊢ Q
 가언명제 삼단논법 P→Q, Q→R ⊢ P→R
 도출 l∨P, ￢l∨Q ⊢ P∨Q

연역적 추론규칙 
추론규칙(推論規則)은 논리식에서 다른 논리식을 이끌어 내는 규칙으로 정의한다면 이때 특히 연역적 추론 규칙(演繹的推論規則)은 하나 또는 여러 개의 주장들로부터 논리적으로 동등하거나 보다 특수한 주장을 결론짓는 추론 형식이 성립하는지 여부의 타당성을 확인할 수 있다는 것을 내포한다.

논리 기호

타당한 추론 형식 

한편 '명제의 형식' 과 '명제의 양과 질' 과 '명사의 위치및갯수' 그리고 이들의 출현 순서는 '추론형식'이 타당성을 확보하기위한 명제들의 주요한 성분이다.

같이 보기 
 수리논리학
 삼단논법
 명제논리학

참고 

논리학
명제 논리
논리식
추론
형식 체계