真理値が与えられた命題またはステートメントのロジックに、真理値（T又は1）または偽（F又は0）。論理和は、論理和（「or」の記号は∨）や否定（記号は〜）などですが、複合命題の真理値は関数または依存する量であるため、真理関数と考えることができます。 、その構成要素の真理値。
複合ステートメントの真理値は、真理値表と呼ばれるチャートを使用して簡単にテストできます。表の各行は、化合物の成分命題の真理値の可能な組み合わせを表し、行の数は可能な組み合わせの数によって決まります。たとえば、コンパウンドに2つのコンポーネントの命題のみが含まれている場合、4つの可能性があるため、テーブルには4つの行があります。一般的な接続詞の論理プロパティは、次のように真理値表によって表示できます。
ここで・は「and」を示し、⊃は「if」を示します。。。その後。」（たとえば、「または」の表では、2行目に「pがtrueでqがfalseの場合、p∨qはtrueになります。」）はるかに複雑な真理値表、多数の真理関数を持つ真理値表、コンピュータによって構築することができます。命題が0から1までの値を持つファジーロジックのように、3つの真理値（たとえば、true、false、および不確定）を使用する抽象的なロジックシステムが構築されています。
