Prädikatenlogik

Prädikatenlogik
Erfüllbar
Allgemeingültig (Tautologie)
Kontradiktion
Folgern
Zusammenhänge ag & ef
Eigenschaften der Abbildung fl
Abtrennungsregel
Einsetzungsregel
Ableiten
Objekte
Individuenbereich
Cut-Ableiten
Entscheidungsverfahren
Eigenschaften des Ableitens

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.