귀하는 로그인되어 있지 않습니다. 이대로 편집하면 귀하의 IP 주소가 편집 기록에 남게 됩니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!== 논리 체계별 진릿값 == === 고전 논리 === '''고전 논리'''(Classical Logic)에서는 다음 원리들이 성립한다: # '''배중률''': <math>P ∨ ¬P</math> (모든 명제는 참이거나 거짓이다) # '''무모순률''': <math>¬(P ∧ ¬P)</math> (명제가 동시에 참이고 거짓일 수 없다) # '''동일률''': <math>P → P</math> (모든 명제는 자기 자신과 같다) === 직관주의 논리 === '''직관주의 논리'''(Intuitionistic Logic)에서는 배중률이 항상 성립하지 않는다. [[루이트젠 브라우어|루이트젠 브라우어 (L. E. J. Brouwer)]]가 창시한 이 논리에서는 수학적 존재 증명이 구성적이어야 한다고 주장한다. 직관주의 논리에서: * <math>¬¬P → P</math>가 항상 성립하지 않음 * <math>P ∨ ¬P</math>가 항상 성립하지 않음 === 관련성 논리 === '''관련성 논리'''(Relevance Logic)에서는 전건과 후건 사이에 의미적 관련성이 있어야 함을 강조한다. 고전 논리에서 성립하는 다음과 같은 역설들을 거부한다: * '''함의의 역설''': <math>(P ∧ ¬P) → Q</math> * '''필연성의 역설''': <math>P → (Q ∨ ¬Q)</math> === 준논리 === '''준논리'''(Paraconsistent Logic)는 모순을 허용하는 논리 체계이다. 그레이엄 프리스트와 같은 철학자들이 개발했으며, '''다이알레티아'''(Dialetheism)라는 철학적 입장과 관련이 있다. 준논리에서: * <math>P ∧ ¬P</math>가 참일 수 있음 * 모순으로부터 모든 것이 도출되지 않음 (ex falso quodlibet의 거부) 편집 요약 가온 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는 가온 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다. 저작권이 있는 내용을 허가 없이 저장하지 마세요! 취소 편집 도움말 (새 창에서 열림)