Lineare Algebra und Geometrie 1

1. Mengen und Logik

Wie wird eine Implikation A⇒B verneint?

Da A⇒B äquivalent zu ¬A∨B ist, lautet die Negation: ¬(¬A∨B)⇔(A∧¬B).

Diskussion