P ⇒ Q という命題を ¬P ∨ Q で定義したのであって、理解するもんじゃない。
P と Q と P ⇒ Q と ¬P ∨ Q の真偽を表にすれば直感に一致することがわかる