Hallo ich finde nichts dazu wie man eine Implikation negieren kann, in der ein ¬A enthalten ist. Normal geht es ja so:
¬(A-->B) =( A ∧ ¬B)
Zeige, dass sich [¬(¬A-->B)-->C] ∧(¬C∧¬A)
auch als ¬A ∧ ¬C darstellen lässt.
Hi
¬A → B ↔ ¬(¬A) ∨ B ↔ A ∨ B
Das kannst du negieren
¬(¬A → B) ↔ ¬( A ∨ B)
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos