Predikaalilogiikka
Predikaalilogiikka, tunnetaan myös nimellä predikaattilaskenta, on logiikan muoto, joka laajentaa propositiologiikkaa mahdollistamalla objektien, niiden ominaisuuksien ja suhteiden käsittelyn. Siinä missä propositiologiikka käsittelee kokonaisia väitteitä, predikaalilogiikka pystyy analysoimaan väitteiden sisäistä rakennetta. Keskeisiä käsitteitä ovat predikaatit, jotka kuvaavat ominaisuuksia tai suhteita, ja kvanttorit, joilla ilmaistaan yleisyyttä tai olemassaoloa.
Yleisyyskvanttori (merkitty yleensä symbolilla $\forall$) ilmaisee, että jokin ominaisuus pätee kaikkiin tietyn joukon alkioihin. Esimerkiksi "Kaikilla
Predikaalilogiikka sisältää myös termeja, jotka voivat olla yksittäisiä objekteja tai funktioita, jotka tuottavat objekteja. Esimerkiksi "Sokrates"
Predikaalilogiikan avulla voidaan muodostaa monimutkaisempia lauseita yhdistelemällä predikaatteja, termejä ja kvanttoreita loogisten konnektiivien avulla. Sitä käytetään