Aussagenlogik: Aufgaben mit Lösungen

In der Aussagenlogik werden Aussagen, die wahr (w) oder falsch (f) sind, mit Junktoren verknüpft. Hier bekommst du Wahrheitswerte für p, q und r und bestimmst den Wert der ganzen Aussage. Arbeite dich von innen nach außen vor. Ein Klick auf „Neue Aufgaben“ erstellt ein neues Blatt, die Lösungen stehen auf einer eigenen Seite.

Die Junktoren

• ¬p (nicht p) ist wahr, wenn p falsch ist.
• p ∧ q (und) ist nur wahr, wenn beide wahr sind. p ∨ q (oder) ist wahr, wenn mindestens eine wahr ist.
• p → q (wenn p, dann q) ist nur falsch, wenn p wahr und q falsch ist.
• p ↔ q (genau dann, wenn) ist wahr, wenn p und q denselben Wahrheitswert haben.

Logik und Mengenlehre hängen eng zusammen: ∧ entspricht dem Schnitt, ∨ der Vereinigung. Mehr dazu auf der Seite Mengenlehre.