집합론 2

Formal analysis 정형분석 관련 용어정리

용어 기본적 설명 예시 Notes Deduction 연역법 몇몇 명제들을 전제로 하여 논리적 결론을 세우는 일. 이미 알고 있는 판단(전제)을 근거로 새로운 판단(결론)을 유도하는 추론. Argument 논증 Statements contains reason and conclusion 전제와 결론이 있는 문장 All humans are animal because they are born and consume other organics to live. Logical sentence 논리적 문장 A statement that can be arguable and be supported by reasons. 논쟁의 여지가 있고 이유에 의해 뒷받침될 수 있는 진술. 참거짓이 판단 가능해야함 All humans ar..

러셀의 역설

거짓말을 하고 있는 것은 누구일까? 미 : 그럼 지금부터, 우리 둘 중 한 명이 진짜를 말하고 궁 : 나머지 한 명은 거짓만을 말하는 걸로 가지. 유희 : 어이, 방금 그 말은 거짓말이 아니겠지? 궁 : 아니야, 진짜다! - 애니메이션 [유희왕 듀얼몬스터즈] 중에서 - 미궁의 듀얼에서 이 대화를 들은 '조이'는 해결방법을 고민하다가 한 이야기를 떠올렸다. 길을 가던 여행자가 거짓말 쟁이 마을과 정직한 마을 갈림길 사이에서 한 마을 주민을 만난다면, 어떻게 물어야 정직한 마을을 갈 수 있는지 알아내는 방법이였다. 그것은 '당신의 마을에 데려다 주세요' 였다. 정직한 마을 사람이라면 자신의 마을로 데려다 줄 것이고 거짓말 쟁이 마을 사람이라면 자신의 마을이 아닌 정직한 마을로 향할 것이기 때문이다. 작중에서..

자연과학/수학 2022.07.12