0 Daumen
511 Aufrufe

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.

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

Hi

¬A → B  ↔ ¬(¬A)  ∨ B ↔ A ∨ B

Das kannst du negieren

¬(¬A → B) ↔ ¬( A ∨ B)

Avatar von 11 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community