En formell logik som utvidgar satslogiken med variabler, predikat och kvantifierare så att man kan uttrycka egenskaper hos objekt och relationer mellan dem; används inom matematik, filosofi och datavetenskap.
Synonymer till predikatlogik
Ordlistorna anger inga synonymer för predikatlogik.
Exempelmeningar
I kursen i logik lärde vi oss att översätta svenska påståenden till predikatlogik.
Predikatlogik gör det möjligt att skriva att alla tal har en efterföljare.
Många databasfrågor bygger på samma principer som predikatlogik.