eine erste Erklärung findest du, wenn du ,,Prädikatenlogik erster Stufe" bei Wikipedia eingibst. Falls du den Artikel schon kennst, findest du aber auch zahlreiche Aufgaben mit Lösungen, wenn du dein Stichwort bei Google eingibst, z.B. auf den Seiten der TUM bei einer Vorlesung aus dem SS 2001.Das was ich gesehen habe, gehört zu den Grundlagen, die du in den ersten Vorlesungen an der Uni in Ana1 und LA1 lernst, und zwar am Anfang als grundlegende Begriffe. Meist benutzt man hier den Begriff Aussagenlogik.
