Kategori:Predikatlogik

Från Wikipedia
Hoppa till navigering Hoppa till sök
Huvudartikel: 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.

Underkategorier

Denna kategori har endast följande underkategori.

K