몸과 맘

*간접증명법(거짓이다 넣기, indirect proof)(=귀류법, 배리법, proof by contradiction) - 다음의 왼쪽 추론이 마땅하면, 오른쪽 추론도 마땅하다. 1. A 2. X 따라서 Y는 참이고 거짓이다. 1. A 따라서 X는 거짓이다. 1. A 2. X ∴ Y&~Y 1. A ∴ ~X *간접증명법의 특징 - 주장 X를 참이라고 여길 경우 오류에 귀착하기 때문에 주장 X를 거짓이라고 여겨야 한다고 추론 (귀류법) - 주장 X를 참이라고 여길 경우 이치에 배반하기 때문에 주장 X를 거짓이라고 여겨야 한다고 추론 (배리법) *간접증명법의 사용 ➀ 추론(추론ㄱ)의 결론(결론ㄱ)을 확인한다. ➁ 기존 결론(결론ㄱ)의 부정문을 새로운 전제(*)로 덧붙인다. ➂ 새로운 전제를 덧붙인 새로운 추론..

*모순문장(어긋난 말, contradiction) - 한 문장과 그것의 부정문이 이고로 이어져 있는 문장 - 참말과 거짓말이 이고로 이어져 있는 문장 so. 아무 평서문 X에 대해 다음은 모순문장이다. : X이고, X는 거짓이다. ex. 히틀러는 착하고, 히틀러는 착하지 않다. *항위문장(반드시 거짓말, logical false) - 언제나 반드시 거짓인 문장 - 모든 모순문장은 항위문장이지만, 모든 항위문장이 모순문장인 것은 아님 ex. 철수와 영희는 착하지만 영희는 착하지 않다. *모순율(어긋난 말의 굴레, the law of contradiction)(=무모순율, 비모순율, the law of non-contradiction) - “모순문장은 언제나 반드시 거짓이다.” - “모순문장의 부정문은 언제..