含意
含意(がんい、implication、IMP)
「→」は「真→偽」のときのみ「偽」になる演算。含意という。
if P then Q
真理値表は下記のようになる。
$ \begin{array}{c|c|c} P & Q & P→Q \\ \hline \colorbox{#fcc}{T} & \colorbox{#fcc}{T} & \colorbox{#fcc}{T} \\ \colorbox{#fcc}{T} & F & F \\ F & \colorbox{#fcc}{T} & \colorbox{#fcc}{T} \\ F & F & \colorbox{#fcc}{T} \end{array}
$ P を第一命題、$ Q を第二命題
$ T は真、$ F は偽
$ (P \to Q) \iff ( P \land \lnot Q)
確認用
Q. 含意
関連
参考