Kategori:Predikatlogik
Wikimedia Commons har media som rör Predikatlogik.
Predikatlogik är inom matematisk logik samlingsnamnet för symboliska formella system som första ordningens logik, andra ordningens logik, sortlogik eller infinitär logik. Detta formella systemet skiljer sig från andra system såsom satslogik i att dess formler innehåller variabler som kan kvantifieras.