백과사전 상세 본문
요약 주어진 명제나 진술의 참(T 또는 1) 또는 거짓(F 또는 0)을 뜻하는 논리학 용어.
선언이나 부정(~) 같은 논리적 연결사는 진리함수라고 할 수 있는데, 그 이유는 복합명제의 진리값은 그 구성부분들이 지니는 진리값의 함수이기 때문이다. 복합진술의 진리값은 진리표를 통해 쉽게 검사해볼 수 있다.
진리표의 각 줄은 복합명제를 구성하고 있는 요소명제들의 진리값의 가능한 조합을 나타내며 그 줄의 수는 가능한 조합수에 의해 결정된다. 예를 들어 복합문장이 2개의 요소명제로 구성되어 있다면 가능한 조합수는 4가지이며 따라서 진리표의 줄은 4개가 될 것이다. 일반적 연결사의 논리적 속성은 아래의 진리표로 알 수 있다.
표에서 ·는 '그리고'를, ⊃는 '만일 … 이면 … 이다'를 의미한다. 예를 들어 '또는'의 표에서 2번째 줄은 'p가 참이고 q가 거짓이면, p∨q는 참이다'로 읽는다. 많은 진리함수를 가진 복잡한 진리표는 컴퓨터를 사용해 구성할 수 있다. 3개의 진리값(참·거짓·불확정) 또는 전자 스위치 회로의 논리처럼 더 많은 진리값을 사용하는 추상적 논리체계들도 구성되어 있다.
| p | q | p·q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
| p | q | p∨q |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
| p | q | p⊃q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
| p | ~p |
| T | F |
| F | T |
본 콘텐츠의 저작권은 저자 또는 제공처에 있으며, 이를 무단으로 이용하는 경우 저작권법에 따라 법적 책임을 질 수 있습니다.
태그 더 보기
서양철학
서양철학과 같은 주제의 항목을 볼 수 있습니다.