predikaattikalkyylisubstantiiviei sanakirjamääritelmää
sisältää sanat: predikaatti + kalkyyli
Liittyvät sanat
Esimerkkilauseet
Predikaattilogiikka Predikaattilogiikka eli predikaattikalkyyli on logiikan osa -alue, jolla tutkitaan tietynlaisia formaalikieliä.
Predikaattikalkyylin täydellisyyden todisti Kurt Gödel vuonna 1930.