Zur Prädikatenlogik siehe das zweite Kapitel im Buch Logik für Informatiker von Uwe Schöning.