Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03269.jsonl.gz/2076

Im Proseminar, das ein Semester dauert, werden folgende Fähigkeiten ausgebildet: die Kenntnis der formalen Sprache der Prädikatenlogik 1. Stufe PL1; das Übersetzen von der natürlichen Sprache in PL1 und umgekehrt; die Analyse von Argumenten und deren Prüfung auf logische Gültigkeit; die Beherrschung verschiedener zentraler logischer Begriffe wie logische Wahrheit, logische Konsequenz, logische Äquivalenz, tautologische Konsequenz usw.; das Erkennen von Mehrdeutigkeit in einem deutschsprachigen Satz und dessen Übersetzung in verschiedene eindeutige PL1-Sätze.