Formulierung eines Beweises in der Aussagenlogik

Question

angenommen, die Äquivalenz

¬A V B ⇔ ¬(A Λ ¬B)

soll bewiesen werden.

Die Wahrheitstabellen der linken und der rechten Aussage sind jeweils gleich.

Reicht das als mathematischer Beweis? Schließlich hat man durch die Wahrheitstabellen ja alle möglichen Fälle angenommen.

Answer 1

"Reicht das als mathematischer Beweis? Schließlich hat man durch die Wahrheitstabellen ja alle möglichen Fälle angenommen. "

Das müsste reichen. 

Comments

Bitte. Allerdings bewegt man sich dann damit wohl im Bereich der "klassischen Aussagenlogik".

Ich habe mir gerade https://de.wikipedia.org/wiki/Aussagenlogik angeschaut und Folgendes gesehen:

und

Verfolge wenn nötig noch die Links im Link zu Begriffen, die du in deinen Unterlagen hast.

---

wenn du die wahrheitstabellen benutzt könntest du ja noch eine für die Äquivalenz anlegen ?