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
|