Zum Inhalt springen

FOL

aus AufEinWort, der freien Forschung
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 8. Juli 2025 um 17:18 Uhr durch Nikolaos (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Wenn Quantoren die Leerstellen von Prädikaten binden, dann spricht man von '''Prädikatenlogik erster Stufe''' oder Ordnung, englisch: '''''first order logic''''', abgekürzt '''FOL'''; sie ist sozusagen das Standardsystem der Prädikatenlogik.“).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wenn Quantoren die Leerstellen von Prädikaten binden, dann spricht man von Prädikatenlogik erster Stufe oder Ordnung, englisch: first order logic, abgekürzt FOL; sie ist sozusagen das Standardsystem der Prädikatenlogik.

Abgerufen von „https://aufeinwort.info/w/index.php?title=FOL&oldid=103320“