predikatkalkyl(e)

Uttale
predikˈatkalkyl(e)

den del av den matematiske logikk som behandler begrepet kvantor.