Predikaatloogika
|
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ü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.