직관 논리
From Wikipedia, the free encyclopedia
논리학에서 직관 논리(直觀論理, 영어: intuitionistic logic)는 수학적 직관주의에 근거하여 귀류법을 배척하는 논리 체계이다. 직관 논리에서 참인 모든 명제는 고전적으로도 참이지만 그 역은 일반적으로 성립하지 않는 특징이있다. 이처럼 직관주의 논리학은 이중부정의 일부법칙이 성립하지 않는다.
논리학에서 직관 논리(直觀論理, 영어: intuitionistic logic)는 수학적 직관주의에 근거하여 귀류법을 배척하는 논리 체계이다. 직관 논리에서 참인 모든 명제는 고전적으로도 참이지만 그 역은 일반적으로 성립하지 않는 특징이있다. 이처럼 직관주의 논리학은 이중부정의 일부법칙이 성립하지 않는다.