이것은 문서의 이전 버전입니다!
불대수에 기반한 흔히 쓰는 논리 체계. 여러 가지 중요한 특징이 있지만 아마도 가장 중요한 특징은 모든 논리값이 참값이거나 거짓값이거나 둘 중 하나라는 공리를 대놓고 내세우고 있다는 것이다(the law of excluded middle). 만약 이 공리를 넣지 않으면 직관주의 논리계가 탄생한다.
메아리 풉;
9085d92e02