몸과 맘

*자연연역(차근차근 이끌기, natural deduction) - 추론규칙을 써서 추론의 전제들로부터 결론이 어떻게 따라 나오는지를 하나하나 빈틈없이 밝혀 보이는 것 - 방법 ➀ 전제들을 순서대로 쓴다. ➁ 마지막 전제 다음에 “따라서”를 뜻하는 “//”를 쓰고 그 뒤에 결론을 쓴다. ➂ 주어진 전제들로부터 한 번에 하나씩 기본 추론규칙을 적용하여 새로운 문장을 이끌어낸다. 이렇게 얻은 문장에 새로운 번호를 매긴다. ➃ 이런 식으로 얻고자 하는 결론이 나올 때까지 계속한다. ➄ 마침내 결론에 이르게 되면 차근차근 이끌기는 끝나게 되고 마지막에 “끝”을 쓴다. ex. 1. 바이러스가 생물이라는 것이 거짓이라는 것은 거짓이다. 2. 박테리아는 생물이다. // 바이러스는 생물이고 박테리아는 생물이다. 3. 1..

*평서문(배풂월, declarative sentence) - 추론의 전제와 결론은 참 또는 거짓일 수 있는 문장인 평서문이어야 함 (몇몇 예외를 빼고 의문문, 감탄문, 명령문, 청유문 등은 전제나 결론으로 쓰일 수 없음) - 비록 추론표시어가 있어도 전제처럼 보이는 문장과 결론처럼 보이는 문장이 평서문이 아니라면 해당 문장들의 모임은 추론이 아님 ex. 순이야 오늘 밥 먹었니? 어머니께서 차려 놓은 밥을 먹어라. 따라서 우리 함께 어머니께서 차려 놓은 밥을 먹자. (추론이 아닌 문장들의 집합) *동치(같은 뜻/말, logical equivalence) - “≡”, “뜻이 같다”, “같은 뜻이다”, “같은 말이다” - 문장 ㄱ과 문장 ㄴ의 동치(문장 ㄱ ≡ 문장 ㄴ)라는 것은 다음을 뜻함 : 문장 ㄱ이 참..

*추론 표시어(이끌기 보람말, inference indicator) - “따라서”(“∴”, “//”), “왜냐하면”(“∵”) - 문장들의 한 모임을 보고 이것이 추론이라는 것을 쉽게 알아볼 수 있도록 하는 표시어 *결론(따름말, 귀결/논지, conclusion) - “따라서” 뒤에 나오는 문장, “왜냐하면” 앞에 나오는 문장 - 전제로부터 따라 나오는 문장 *전제(받침말, 근거/논거/가정, premise) - “따라서” 앞에 나오는 문장, “왜냐하면” 뒤에 나오는 문장 - 결론을 뒷받침하는 문장 *추론(이끌기, inference) - 전제와 결론으로 이루어진 문장들의 집합 - 전제는 결론을 뒷받침하고, 결론은 전제들로부터 따라 나옴 - 하나의 추론에서 전제는 여러 개일 수 있지만 결론은 하나여야 함 ex..