귀하는 로그인되어 있지 않습니다. 이대로 편집하면 귀하의 IP 주소가 편집 기록에 남게 됩니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!=== 직관주의 논리 === '''직관주의 논리'''(Intuitionistic Logic)에서는 배중률이 항상 성립하지 않는다. [[루이트젠 브라우어|루이트젠 브라우어 (L. E. J. Brouwer)]]가 창시한 이 논리에서는 수학적 존재 증명이 구성적이어야 한다고 주장한다. 직관주의 논리에서: * <math>¬¬P → P</math>가 항상 성립하지 않음 * <math>P ∨ ¬P</math>가 항상 성립하지 않음 편집 요약 가온 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는 가온 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다. 저작권이 있는 내용을 허가 없이 저장하지 마세요! 취소 편집 도움말 (새 창에서 열림)