Passen Sie die gelösten Übungen an Ihr Fach an. Kostenlos registrieren

Aussagenlogik – Übungen mit Lösungen

Umfangreiche Sammlung gelöster Übungen zu den wichtigsten Methoden der formalen Logik.

Dieser Bereich enthält schrittweise gelöste Aufgaben aus Aussagenlogik, Prädikatenlogik und Mengenlehre. Die Übungen sind nach Thema und Schwierigkeitsgrad geordnet und unterstützen das systematische Erlernen formaler Beweistechniken.

Aufgaben und Rätsel

Logik-Rätsel und Denksportaufgaben
Knifflige Logikaufgaben und Anwendungen formaler Methoden auf praktische Probleme.

Wahrheitstafeln

Wahrheitstafeln – Übungen mit Lösungen
Aufstellen von Wahrheitstafeln, Erkennen von Tautologien, Widersprüchen und Kontingenzen. Ausführliche und verkürzte Methode.

Mengenlehre

Mengenlehre – Übungen mit Lösungen
Mengenoperationen, Venn-Diagramme, De-Morgan-Gesetze, Vereinfachungen, Relationen und Funktionen.

Natürliches Schließen

Natürliches Schließen – Übungen mit Lösungen
Formale Beweise im Gentzen-Kalkül für Aussagen- und Prädikatenlogik. Basis- und abgeleitete Regeln.

Formalisierung

Formalisierung natürlichsprachlicher Sätze
Übersetzung deutscher Sätze in die formale Sprache der Aussagen- und Prädikatenlogik.

Weitere Übungen nach Thema

• Gültigkeit und logische Folgerung
• Schlussregeln
• Natürliches Schließen – Übersicht
• Natürliches Schließen – Basisregeln (aussagenlogisch)
• Natürliches Schließen – Abgeleitete Regeln (aussagenlogisch)
• Natürliches Schließen – Basisregeln (prädikatenlogisch)
• Natürliches Schließen – Abgeleitete Regeln (prädikatenlogisch)
• Natürliches Schließen mit Identität

Mengenlehre – Zusatzthemen

• Mengenoperationen mit Venn-Diagrammen
• Mengenterme vereinfachen – De-Morgan-Gesetze
• Intension und Extension von Mengen
• Mächtigkeit von Mengen