http://de.wikipedia.org/w/index.php?title=Pr%C3%A4dikatenlogik&printable=yes
Achtung: Diese Inhalte können nicht angezeigt werden, weil Ihr Browser keine IFrames unterstützt.
Aussagenlogik
Prädikatenlogik