Prädikatenlogikformel

Prädikatenlogik–Formel agr.-lat.-deu. 'prädikatenlogische Formel'; 'Logikformel gemäß Prädikatenlogik'