真

真（true）は、命題の内容が成り立つことを表す真理値です。2値論理では通常1で表し、論理回路ではHレベルに対応させることがあります。

■ 試験で押さえるポイント

• 命題は真又は偽のいずれかの真理値を取ります。真理値は命題の内容に対する評価であり、文字列としての「真」そのものではありません。

• 真との論理積では相手の値が残り、真との論理和は常に真になります。NOTを適用すると偽になります。

• プログラミング言語のBoolean値trueは論理学の真に対応しますが、0以外の数等を真として扱うtruthyの規則は言語固有です。

• 条件式を追跡するときは、各比較式を先に真偽へ評価してから、NOT、AND、OR等の順に計算します。

$p \land \mathrm{true}=p,\quad p \lor \mathrm{true}=\mathrm{true}$

■ 選択肢での判断ポイント

真は命題が成り立つことを表し、2値論理では1として計算します。真AND pはp、真OR pは真という恒等関係を使います。

例: 命題$p$を「8は偶数である」とすると$p$は真です。したがって$\lnot p$は偽になります。