Die wichtigsten Formeln und Sätze der Vorlesung "Logik für Informatiker"
der TU Braunschweig (Professor Löwe) aus dem WS
1998/1999 von Ivo Kasiuk zu den
Themen
Logische Symbole
Rang
Belegungen
Regeln zum syntaktischen Beweisen
Tableaukalkül
Relationen
freie Variablen
Regeln zum semantischen Beweisen mit Prädikatenlogik