Übungsaufgaben

PL-Kalkül 1 
PL Kalkül 2 
PL Kalkül 3 
Modus Ponens 
Modus Tollens 
Fehlschluss: Bejahung des Konsequens 
Fehlschluss: Verneinung des Antezedens 
Formalisierung AL 1 
Formalisierung AL 2 
Formalisierung AL 3 
Formalisierung AL 4 
Formalisierung AL 5 
Formalisierung AL 6 
Formalisierung AL 
Formalisierung PL 1 
Formalisierung PL 2 
Formalisierung PL 3 
Formalisierung PL 4 
Formalisierung PL 5 
Formalisierung PL 6 
Formalisierung PL 7 
Formalisierung PL 8 
Formalisierung PL 9 
Formalisierung PL 10 
Formalisierung PL 11 
Formalisierung PL 12 
Formalisierung PL 13 
Formalisierung PL 14 
Formalisierung PL 15 
Formalisierung PL 16 
Formalisierung PL 17 
Formalisierung PL 18 
Formalisierung PL 19