추론 규칙
From Wikipedia, the free encyclopedia
추론 규칙(推論規則, Rule of inference) 또는 '추론 형식'은 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말한다.
공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리계다. 공리는 대상 언어의 기호만으로 기술되지만, 추론 규칙이나 대입 규칙은 이러한 기호에 대해 말하는 메타 언어로 기술된다. 추론 규칙은 항진식(동어 반복)으로부터 이끄는 것이 타당하다.
아래는 대표적인 추론 규칙이다.(‘¬'는 부정, ‘→'은 내포(함의)등 나머지는 논리기호 참고)