Meintest du:

Prädikatenlogik Prädikatenlogik_ Präadikatenlogik Pradikatenlogik Prdikatenlogik