predikatenlogica predicate logic

Logica werkend met elementen waaraan een betekenis en argument wordt toegekend.