주어진 제안 또는 진술의 논리, 진실 (T 또는 1) 또는 허위 (F 또는 0)의 진실 값 복합 제안의 진실 값은 함수 또는 수량에 따라 달라지기 때문에 분리 (","의 경우 ized 기호) 및 부정 (기호 ∼ 기호)과 같은 논리 결합은 진리 함수로 생각할 수 있습니다. 구성 요소 부분의 진실 가치.
복합 문장의 진리 값은 진리표라고 알려진 차트를 통해 쉽게 테스트 할 수 있습니다. 표의 각 행은 화합물의 성분 제안에 대한 가능한 진실 값의 조합을 나타내며, 행의 수는 가능한 조합의 수에 의해 결정됩니다. 예를 들어, 컴파운드에 두 개의 구성 요소 제안 만 포함 된 경우 테이블에 네 개의 가능성과 네 개의 행이 있습니다. 공통 연결의 논리적 특성은 다음과 같이 진리표로 표시 될 수 있습니다.
여기서 ·는 "and"를 나타내고 ⊃는 "if"를 나타냅니다… 그때." 예를 들어, "또는"테이블에서 두 번째 줄은 "p가 참이고 q가 거짓이면 p ∨ q는 참"이라고 읽습니다.) 많은 진리 함수를 갖는 훨씬 더 복잡한 진리표, 컴퓨터로 구성 할 수 있습니다. 퍼지 논리에서와 같이 제안이 0과 1 사이의 값을 갖는 세 개의 진리 값 (예: 참, 거짓 및 미결정) 또는 훨씬 더 많은 것을 사용하는 추상 논리 시스템이 구성되었습니다.
