論理式「A⇒B』の真偽と
これを利用して正しい命題AからBを導くこととは分けて考えないと