Mathematrix: Aufgabenbeispiele/ Aussagenlogik

Aus Wikibooks

Wahrheitstabellen[Bearbeiten]

Seien logische Aussagen. Erstellen Sie die Wahrheitstabelle für den Ausdruck:


Mit Hilfe der Tafel für den Wahrheitswert der verschiedenen Verknüpfungen kann man den gefragten Ausdruck untersuchen:

Belegung UND ODER ENTW.

ODER

WENN

DANN

WENN

DANN

GENAU DANN

WENN

w w w w f w w w
w f f w w f w f
f w f w w w f f
f f f f f w w w


Belegung Untersuchung
w w w w w f
w w f f f f
w f w w f w
w f f f f f
f w w w w f
f w f w f w
f f w w f w
f f f w f w

Mengenlehre und Aussagenlogik[Bearbeiten]

Wie wird die Menge mit Hilfe der Symbolik der Aussagenlogik ausgedruckt?

Also alle Objekte , die Elemente von zumindest einer der Mengen oder ist aber doch nicht von .