Predikaatloogika
Allikas: Vikipeedia
 |
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.
