Ein paar PL-Sätze - Daniel Milne

Tutorium Formale Methoden II
Sätze zur Übersetzung in die Prädikatenlogik
1. Julia singt.
2. Karin singt nicht.
3. Julia singt und Hugo singt.
4. Julia singt Hugo etwas vor.
5. Hugo singt Julia etwas vor.
6. Hugo singt jemandem etwas vor.
7. Jemand sind Hugo etwas vor.
8. Alle singen Julia etwas vor.
9. Julia singt allen etwas vor.
10. Jeder Sänger kennt “Alle meine Entchen”.
11. Es gibt einen Sänger, der “Backe, backe Kuchen” nicht kennt.
12. Jeder Sänger kennt ein Lied.
13. Ein Sänger mag Kinderlieder nicht.
14. Niemand singt schöner als Klaus.
¬(∃x0)schoenersingen(x0,klaus)
15. Ein Sänger singt schlechter als alle anderen Sänger.
(∃x0)(saenger(x0)∧(∀x1)(¬(x0=x1)∧saenger(x1)→schlechtersingen(x0,x1)))
16. Nicht ein Sänger mag “Fuchs, du hast die Gans gestohlen”.
¬(∃x0)(saenger(x0)∧moegen(x0,fdhdgg))
17. Ein Sänger mag “Fuchs, du hast die Gans gestohlen” nicht.

(∃x0)(saenger(x0)∧¬moegen(x0,fdhdgg))
18. Franzi kennt alle Wanderlieder.
(∀x0)(wanderlied(x0)→kennen(franzi,x0))
19. Alle Zuschauer und der Chorleiter rufen “Buh”.
(∀x0)(zuschauer(x0)→buhrufen(x0))∧buhrufen(chorleiter)
20. Alle Zuschauer kaufen sich eine CD, wenn ihnen ein Lied gefallen hat.
(∀x0)(zuschauer(x0)→((∃x1)(lied(x1)∧gefallen(x1,x0))
→(∃x2)(cd(x2)∧kaufen(x0,x2))))
21. Einige Sänger kennen alle Wanderlieder und einige Zuschauer kennen kein
Wanderlied.
(∃x0)(saenger(x0)∧(∀x1)(wanderlied(x1)→kennen(x0,x1)))
∧(∃x0)(zuschauer(x0)∧¬(∃x1)(wanderlied(x1)∧kennen(x0,x1)))