P⇒Q の言い換え

という事実があります。

つまり、「P が成り立てば Q も成り立つ」という命題の真偽と

「P の否定が成り立つまたは Q が成り立つ」という命題の真偽とが一致するという主張です。

僕は数学をやり始めた頃これがなかなか頭に入らなくて苦戦しました。

最近ふと、この事実のしっくり来る″説明″を思い付きました。

以下にメモしておきます。

(以下のメモは、あくまでザックリとした″説明″です。

僕は論理学とか基礎論とかは全然詳しくないのですが、

多分厳密な証明は真偽値の表とかを作ってやるんだと思います。)