|| 真理というか真偽の値
「真偽を示す値」のこと
スポンサーリンク
言語の統一表現
「正しい」「間違い」に限らず
\begin{array}{ccc} 自然言語 && 同義語 \\ \\ \\ 正しい & ≒ & \left\{ \begin{array}{ccc} 真 \\ \\ 合ってる \\ \\ 正解 \\ \\ 正常 \\ \\ \vdots \end{array} \right. \end{array}
「言語」には多くの表現方法がありますが
『ほとんどの人の共通認識としたい』なら
\begin{array}{ccc} いろんな表現 &\to& 統一表現 \\ \\ 言葉の本質 &\to & 記号 \end{array}
その表現は「簡素かつ統一的」にする必要があります。
（この思想が「形式化」という方向性に繋がる）
真理値
これもそういった思想から生まれたもので
\begin{array}{ccc} \left( \begin{array}{ccc} 正しい \\ \\ 真 \\ \\ 合ってる \\ \\ 正解 \\ \\ 正常 \\ \\ \vdots \end{array} \right) &\to& \left\{ \begin{array}{ccc} 1 \\ \\ I \\ \\ ⊤ \\ \\ T \\ \\ \mathrm{True} \\ \\ \vdots \end{array} \right) \\ \\ \\ \left( \begin{array}{ccc} 間違い \\ \\ 偽 \\ \\ おかしい \\ \\ 不正 \\ \\ 異常 \\ \\ \vdots \end{array} \right) &\to& \left\{ \begin{array}{ccc} 0 \\ \\ O \\ \\ ⊥ \\ \\ F \\ \\ \mathrm{False} \\ \\ \vdots \end{array} \right) \end{array}
これの右側の方が「真理値」と呼ばれるものになります。
（「正しい」の表現を簡素化していった結果）
恒真命題 Tautology
|| トートロジーとも呼ばれるもの
『中の命題変数に関わらず真』になる命題
| A | ￢A | ￢(A∧￢A) | A∨￢A |
| 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
「真理値」を強く意識するのは
主にこの「恒真命題であるか」を確認する時で
（ ↑ はそれぞれ矛盾律と排中律を形式化した表現）
\begin{array}{ccc} A& B && A\to B \\ \\ 1 &1&&1 \\ \\ 1&0&&0 \\ \\ 0&1&&1 \\ \\ 0&0&&1 \end{array}
他には「論理結合子の定義」の確認で意識されます。
（直感的に分かるので他はあまり意識されない）