Aussagenlogische Behauptungen beweisen: A ⇒ B ⇔ nicht (A∆ und nicht B)

Question

Aussagenlogische Behauptungen beweisen:

Weisen Sie mit Hilfe von Wahrheitstabellen die Richtigkeit der folgenden aussagenlogischen Behauptung nach:

\( A \Rightarrow B \Leftrightarrow \neg(A \wedge \neg B) \)

A ⇒ B ⇔ nicht (A∆ und nicht B)

Answer 1

Du könntest das mit einer Wahrheitswerttabelle zeigen. 

Das Dreieck soll die symmetrische Differenz sein (oder was?) 

Comments

\( A \Rightarrow B \)

A und \( B \) sind Aussagen, die entweder wahr oder falsch sind. Es gibt daher 4 Möglichkeiten.

Schreibe nun in der 3 . Spalte das "Ergebnis" für \( A \Rightarrow B \) \( z \cdot B \)
\( T \Rightarrow T \ldots T \)
\( T \Rightarrow F \ldots F \)
usw.

A	B
T	T
T	F
F	T
F	F

T steht für wahr, F steht für falsch.

---

Was ist denn symmetrische Differenz das Dreieck soll und bedeuten