[자연어 논리학] 「026 문장논리」, 『두뇌보완계획100』

*연역논리(반드시 논리, deductive logic)

  - 연역논리는 연역추론을 다스리는 논리

  - 연역추론(반드시 추론, deductive inference)은 전제들로부터 결론이 반드시 따라나오기(타당한 추론이기)를 바라는 추론

  - 문장논리는 연역논리의 한 종류

*문장논리(글월 말길, sentential logic)(=명제논리, 진리함수 논리, (truth-functional) propositional logic)
  - 이고, 이거나, 이면, 거짓이다 따위로 이루어진 문장들에 적용되는 논리
  - 8가지 기본 추론규칙은 문장 논리를 이룸
  - 8가지 기본 추론규칙이 마땅하다는 주장을 밝혀 보임 없이 처음부터 참말이라고 여기는 논리를 고전 논리라고 부름

*추론규칙 정리

기본 추론규칙	이고	이고 넣기	1. X 2. Y 따라서 X이고 Y	1. X 2. Y 따라서 Y이고 X
		이고 없애기	1. X이고 Y 따라서 X	1. X이고 Y 따라서 Y
	이거나	이거나 넣기	1. X 따라서 X이거나 Y	1. X 따라서 Y이거나 X
		이거나 없애기	1. X이거나 Y 2. X는 거짓이다. 따라서 Y	1. X이거나 Y 2. Y는 거짓이다. 따라서 X
	이면	이면 넣기	왼쪽 추론이 마땅하면 오른쪽도 마땅하다.
			1. A 2. X 따라서 Y	1. A 따라서 X이면 Y
		이면 없애기	1. X이면 Y 2. X 따라서 Y
	거짓이다	거짓이다 넣기	왼쪽 추론이 마땅하면 오른쪽도 마땅하다.
			1. A 2. X 따라서 Y는 참이고 거짓이다.	1. A 따라서 X는 거짓이다.
		거짓이다 없애기	1. X가 거짓이라는 것은 거짓이다. 따라서 X
파생 추론규칙	이면	뒤로 이면 없애기	1. X이면 Y 2. Y는 거짓이다. 따라서 X는 거짓이다.
		이면 잇기	1. X이면 Y 2. Y이면 Z 따라서 X이면 Z
	이거나/이면	이러나저러나	1. X이거나 Y 2. X이면 Z 3. Y이면 Z 따라서 Z