渡部陸藤のホームページ

F->T=Tに納得した日

2026.10.05


情報系の大学に通っておきながら今納得したんかい!というツッコミは置いといて. 理解したという話.

命題 P→QP \to Q の真理値表は次のようになる.

PPQQP→QP \to Q
TTT
TFF
FTT
FFT

特に最初は,F→T=TF \to T = T という部分が気持ち悪いと思った.

また,命題 P→QP \to Q の対偶は ¬Q→¬P\neg Q \to \neg P であり, (P→Q)≡(¬Q→¬P)(P \to Q) \equiv (\neg Q \to \neg P) が成り立つ.

いやはや… 大学2年の後期にして高校生レベルのことに納得するとは…
偽なら何を言っても含意全体は真になるの,なかなかの初見殺しだと思う.


← DIARYへ戻る