WS21/22 +

SS21 +

WS20/21 +

SS20 +

WS19/20 +

SS19 +

WS18/19 +

SS18 +

WS17/18 +

Umformulierungen

Es hilft in nicht-standarden Situationen, die Aussage umzuformen (insbesondere bei Negationen)

• Keine Mannschaft hat all ihre bisherigen Spiele verloren. → Fuer jede Manschaft x existiert eine andere Manschaft z, wo x mit я gespielt hat und gewonnen

Notizen

1. Doublecheck, ob alle Funktionen und Praedikaten verwendet werden, sonst ist irgendwas falsch
2. Alle variablen sollen quantifiziert werden
3. Ob es um einfache PL1 geht, oder um PL1 mit Gleichheit, steht immer in der Aufgabe
4. Man kann auch die Quantor “Existiert nicht” verwenden