Bearbeitet: Logik. Negation von "und" und von ¬(A => B) ?

Hey Leute,

wenn man "und" negiert, folgt dann "oder"?

Zudem, steht eine Negation von einem eingeklammerten Term, wird dann alles im Term negiert?

Wie zum Beispiel: ¬(A => B), folgt dann "Aus nicht A folgt nicht B"?

Viele Grüße Florian T. S.