>>68
> たしかに竹之内脩の集合論でも
>
> A∧B ⇒ A∨B
>
> を導出していた
> 俺はこれでその本を読むことを止めたが

上は明らかに正しいが、何か問題でも?

これが逆の

A∨B ⇒ A∧B

を導出していた、というならナンセンスだから読むのを止めて当然だが