pre­di­kaat­ti­kal­kyy­li

Predikaattilogiikka Predikaattilogiikka eli predikaattikalkyyli on logiikan osa -alue, jolla tutkitaan tietynlaisia formaalikieliä.

Predikaattikalkyylin täydellisyyden todisti Kurt Gödel vuonna 1930.