Predikaatloogika

Predikaatloogika ehk  predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid. Mõnikord nimetatakse predikaatarvutuseks aksiomatiseeritud predikaatloogikat. 

Lihtsaim ja levinuim predikaatloogika süsteem on esimese järgu loogika, mida sageli nimetataksegi lihtsalt predikaatloogikaks.

Loogika