Virtual Campus - "Logik mit Übungen"

Dieser Kurs beruht auf dem Buch Klassische Logik. Einführung mit interaktiven Übungen von Timm Lampert. Er vermittelt die Grundlagen der Prädikatenlogik 1. Stufe mit Identität. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten (Wahrheitswerttabellen, Kalküle der Aussagen- und Quantorenlogik) bilden die Kunst des Formalisierens sowie metalogische Fragen den Inhalt des Kurses.

Über die Übungen können Sie sich zu jeder Lektion auch die Texte runterladen:

Übungen zum Logikkurs



Hilfsmittel:

Abkürzungen

Aussagelogische Schlussregeln

Syllogismen

Quantorenlogische Schlussregeln



Logic Tools:

J-WellformedChecker

Wahrheitswerttabellen Übungstool

Wahrheitswerttabellen Textoutput

Q-WellformedChecker

Q-Interpretationen

Q-Modelfinder

Q-CounterModelfinder