predikatlogik

Predikatlogik är en del av den matematiska logiken. Medan man i satslogiken bara kan sätta samman färdiga satser till mer komplicerade satser, exempelvis bilda , om och är satser, för att uttrycka A och B, kan man i predikatlogiken använda predikat. Exempelvis kan representera är udda så att betyder är udda. Man kan också bilda flerställiga relationer , exempelvis för att representera relationen större än. I mängdteori kan hela matematiken formuleras med hjälp av predikatlogik med en enda relation , som uttrycker att en mängd är element i en annan. Samma logiska operationer som finns i satslogiken finns även i predikatlogiken. Dessutom finns all- och existens-kvantorer som uttrycker att något gäller för alla respektive för något objekt.