トリック・オア・トリートと含意と論理和
Summer498.icon
トリック・オア・トリート
($ \lnotトリート)$ \Rightarrowトリック
お菓子をくれなきゃ、いたずらするぞ
($ \lnotトリック)$ \Rightarrowトリート
いたずらしないなら、お菓子をやるぞ
もう「トリック」されたのでお菓子はあげませんSummer498.icon
トリックによりトリック・オア・トリートの真偽値は真になっているため、トリートはしてもしなくても良い
論理の含意と論理和の関係を習った時にこのフレーズを思い出して「すげぇ」ってなった記憶