Doppelte Negation von aus A folgt B

Question

¬(A⇒B)= A ∧ (¬B)

¬(A ∧ (¬B))= (¬A) ∨ B , das ist aber nicht äquivalent zu ¬(¬(A⇒B))=A⇒B oder? Wenn doch, warum?

Was ist eine alternative Negation für A⇒B?

https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Aussagen_negieren

Answer 1

¬(A⇒B)= A ∧ (¬B) sollst du das beweisen ???

wegen  A⇒B =  ¬A v B hast du¬(A⇒B)=

¬(¬A v B)=¬¬A  ∧ ¬B=

A  ∧ ¬B     q.e.d.