19/07/14 11:04:04.08 kWVlGYaX.net
ところが、「(P ⇒ Q)」がどのような場合に成り立つのかを説明しているのは、
「
任意の命題 P, Q について、命題
(P ⇒ Q) ⇔ (￢P ∨ Q)
が成り立つ。
」
を「証明」した後のところにおいてです。
19/07/14 11:04:04.08 kWVlGYaX.net
ところが、「(P ⇒ Q)」がどのような場合に成り立つのかを説明しているのは、
「
任意の命題 P, Q について、命題
(P ⇒ Q) ⇔ (￢P ∨ Q)
が成り立つ。
」
を「証明」した後のところにおいてです。