Redaktsioon: 14. märts 2013, kell 16:57 redigeeri Legobot (arutelu \| kaastöö) 49 590 muudatust P Robot: muudetud 20 intervikilinki, mis on nüüd andmekogus Wikidata ← Vanem muudatus		Redaktsioon: 28. november 2015, kell 02:34 redigeeri eemalda Nimelik (arutelu \| kaastöö) Usaldatud kasutajad 6198 muudatust Resümee puudub Uuem muudatus →
1. rida: {{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ümbol]]~~tele~~itele ja [[konnektor]]itele on kasutusel vähemalt [[predikaadisümbol]]id, [[indiviidikonstant\|indiviidikonstandid]], [[muutuja]]d ([[indiviidimuutuja]]d) ja [[kvantor]]id. Mõnikord nimetatakse [[predikaatarvutus]]eks aksiomatiseeritud predikaatloogikat. Lihtsaim ja levinuim predikaatloogika süsteem on [[esimese järgu loogika]], mida sageli nimetataksegi lihtsalt predikaatloogikaks.

Predikaatloogika: erinevus redaktsioonide vahel