(Eng: predicate calculus) Een symbolisch systeem dat een uitbreiding is van de propositiecalculus. Daar waar de propositie-calculus gebruik maakt van onveranderd blijvende objecten en predikaten, staat de predikaten-calculus variabele grootheden toe. Deze vorm van calculus wordt veel toegepast bij het ontwerp en de realisatie van kennissyste...