R. Kruse, C. Borgelt: Grundbegriffe der Prädikatenlogik. Computational Intelligence. Otto-von-Guericke Universität, Magdeburg 2008, S.14 (fuzzy.cs.ovgu.de [PDF]).
uni-augsburg.de
informatik.uni-augsburg.de
W. Vogler: Logik für Informatiker. WS 2007/2008. Univ. Augsburg, Institut für Informatik, Augsburg, S.49 (uni-augsburg.de [PDF]).
uni-dortmund.de
fldit-cs.uni-dortmund.de
Erich Grädel: Mathematische Logik. Mathematische Grundlagen der Informatik, SS 2009. RWTH, Aachen, S.129 (uni-dortmund.de [PDF]).
uni-halle.de
users.informatik.uni-halle.de
Gelegentlich werden nullstellige Relationen zugelassen, dies treten dann als logische Konstanten (im Prinzip Bezeichner für wahr oder falsch) auf. Als alternativer Ausdruck für die Relationssymbole findet man auch Prädikate. Siehe Stefan Brass: Mathematische Logik mit Datenbank-Anwendungen. Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, Halle 2005, S.176, hier S. 19 (uni-halle.de [PDF]).
