>>676
> ・・・、[PならばQ]を[Pでないか又はQ]と同値であると考えたのが、そもそもの誤り。

日常言語の「ならば」とか「又は」に込められた感覚が記号論理に正確に写し取られるとは限らないし正確に写し取らねばならない必然性もない。
そもそも日常言語での「ならば」はしばしば因果関係的なニュアンスを含んでいる。