>>518
A⇒Bを¬AまたはBと解釈する話か。