Kvantifikatorski račun
iskazni račun. U iskaznom računu smo vidjeli da važi ekvivalentnost sintaksičkog i semantičkog pristupa izvodenju. Odgovarajući Teorem potpunosti vrijedi i u predikatskom računu: Teorem : Formula predikatskog računa je teorema...