常人が納得できないのは、急に自然言語をつかって「ならば」 なんて書くからだぜ。
「¬A ∨ B  を  簡易に A →B と書く 」と言えば、誰も不思議に思わないんだぜ。 

あと 　A∧B　　は 「AもしくはB」  ではなくて 「AかつB」  だとおもうんだぜ。