含意
含意(がんい、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 は偽
確認用
Q. 含意
参考
関連