위키득계정 ↗
과학

진리표

진리표과학
영문명
Truth table
기본 진리값
참과 거짓
n개 변수의 조합
2ⁿ개
주요 용도
논리식 계산과 동치 확인
진리표는 명제 변수들의 가능한 진리값 조합과 그에 따른 복합 명제의 진리값을 정리한 표다. 고전 명제 논리에서는 각 변수가 참 또는 거짓의 두 값을 가지므로 n개 변수의 조합은 2ⁿ개다.

두 변수의 경우

P,Q에 대해 가능한 조합은 (참,참),(참,거짓),(거짓,참),(거짓,거짓)의 네 가지다. 각 조합에서 P∧Q와 P∨Q 등의 값을 계산하면 연결사의 작동을 비교할 수 있다.

식을 단계별로 계산하기

(P∨Q)∧¬P를 계산할 때 먼저 P∨Q와 ¬P의 값을 각각 구한 뒤 논리곱을 적용할 수 있다. P가 거짓이고 Q가 참인 행에서는 전체가 참이다. 괄호가 정하는 연산 순서를 확인한다.

동치와 항진명제

모든 행에서 두 식의 값이 같으면 그 두 식은 고전 명제 논리에서 동치다. 한 식의 값이 모든 행에서 참이면 항진명제다. 몇 개의 행만 맞는다는 사실과는 다르다.

적용 범위

진리표는 명제 변수들의 모든 조합을 체계적으로 다룬다. 변수가 늘면 행 수가 빠르게 커진다. 또한 참과 거짓 두 값으로 모든 연결사를 계산하는 이 방식의 전제는 다른 논리 체계에 그대로 적용되지 않을 수 있다.

관련 문서

명제 논리 / 논리곱 / 논리합 / 부정 (논리학) / 항진명제 / 드모르간의 법칙 / 명제