>>561
ある命題
A⇒B
はAが成り立たない場合は恒等的に成り立つの…?