진리표 (Truth Table)
한 줄 정의: 명제논리에서 명제 변항들이 가질 수 있는 모든 진리값의 조합에 대해, 복합 명제 전체의 진리값이 어떻게 결정되는지를 표로 정리한 것이다.
쉽게 풀면
진리표는 'P와 Q가 각각 참이거나 거짓일 수 있는 모든 경우의 수를 나열하고, 그때마다 'P 그리고 Q'나 'P 또는 Q' 같은 복합 명제가 참인지 거짓인지를 표로 정리한 것이다. 논증의 타당성을 기계적으로 검증하는 데 유용한 도구로 쓰인다.
논문에서는 이렇게 쓰입니다
"이 논증의 타당성은 여덟 가지 가능한 진리값 조합을 모두 나열한 진리표를 통해 직접 확인할 수 있다."
명제논리 논증의 타당성을, 관련된 명제 변항들의 모든 가능한 참거짓 조합을 표로 만들어 전제가 모두 참인 줄에서 결론도 항상 참인지 기계적으로 확인하는 검증 방법을 설명한다.
주의할 점
진리표는 명제 변항의 수가 늘어날 때마다 검토해야 할 경우의 수가 두 배씩 늘어나므로(n개의 변항에 2의 n제곱 줄), 변항이 많아지면 실용적으로 다루기 어려워진다는 한계가 있다.