Truth functional [眞理値函數의]

부울연산자(Boolean operator)라고도 한다. 문장 연결어(sentential connective)인 ∧, ∨, ￢, →, ↔ 는 문장을 결합하거나, 문장과 결합하여 복합문을 만드는 syncategorimetic 표현이다. 이러한 문장 연결어가 진리치함수적 표현으로 불리는 이유는, 복합문의 진리치가 전적으로 이를 구성하는 문장의 진리치에 의해 결정되기 때문이다. 따라서 예를 들면 '￢φ'와 같은 문장은 φ가 거짓일 때 참이 된다. 마찬가지로, φ∧ψ라는 문장은 φ와 ψ 모두 참일 때 참이 되며, 다른 경우에는 거짓이 된다. 이러한 문장 연결어는 자연언어의 접속사와 기능이 다른데, 예를 들어, ∧가 문장과 문장을 연결하는 기능을 갖지만, and는 'John walks and sings'처럼 문장이 아닌 구성소도 연결한다.