진리표

진리표(眞理表)는 모든 명제 및 그 조합의 불 함수에 대한 입출력 결과, 즉 진릿값을 기록한 표이다.

예를 들어, 2개의 명제 P, Q의 논리곱 ‘${\displaystyle P\land Q}$’의 경우, 아래와 같은 진리표가 성립한다.

덧붙여서, 이 표에서는 참·거짓으로 표기되어 있지만, T·F나 1·0 등으로 표기하는 경우도 있다.

루트비히 비트겐슈타인이 1921년 출판한 논리 철학 논고에서 진리 함수를 논할 때 사용하면서 널리 알려지게 되었다. 다만 본래 찰스 샌더스 퍼스 등 다른 논리학자들도 초기적 형태를 고안한 바 있으며, 에밀 포스트 역시 비트겐슈타인과는 독립적으로 진리표 체계를 완성하였었다.

위키미디어 공용에 관련된
미디어 분류가 있습니다.

진리표

• 진리값
• 카르노 맵
• 불 대수
• 벤 다이어그램

이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다.