Predikaatloogika

Allikas: Vikipeedia
Disambig gray.svg  See artikkel räägib predikaatloogikast laiemas mõttes; tavalise predikaatloogika kohta vaata artiklit Esimese järgu loogika

Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümboltele 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.