In dieser Übung sollen folgende Aussageformen betrachtet werden:

• ´m(t):´ Student hat Mathe am Zeitpunkt ´t´ verstanden
• ´h(t):´ Student hat zum Zeitpunkt ´t´ Hunger
• ´d(t):´ Zeitpunkt ´t´ ist am Tag
• ´n(t):´ Zeitpunkt ´t´ ist nachts
• ´t_1 < t_2´: Zeitpunkt ´t_1´ trat irgendwann vor ´t_2´ ein

Drücke folgende Sätze als prädikatenlogische Formeln aus:

1. Immer wenn der Student Hunger hat, versteht er nichts von Mathe.
2. Es kommt vor, dass der Student nachts Hunger hat.
3. Es gibt einen erleuchtenden Moment, ab dem der Student Mathe immer verstehen wird.
4. Zwischen zwei bestimmten Zeitpunkten (z.B. während der Prüfung) hat der Student einen Mathe-Blackout (versteht nichts mehr), aber vorher und auch hinterher hat er immer Ahnung.