古典論理の「ならば」を誤解・曲解したままで、「ならば」を使えない／間違える人は多い。「前件（$`\Rightarrow`$ の左側）が偽なら含意命題は真」というところがカナメ。$`\Rightarrow`$ は演算記号で関係記号ではない。のだが、関係記号としてもオーバー…