>>560
(1)のP→Qが真というのは何故わかるの?