Kategorie:Deduktiver Abschluss

Aus VoWi
Zur Navigation springen Zur Suche springen
Deduktiver Abschluss
[Bearbeiten | Quelltext bearbeiten]

deduktiver Abschluss:

Cn(T)={φ∣T⊨φ∧φis closed}

Seiten in der Kategorie „Deduktiver Abschluss“

Diese Kategorie enthält nur die folgende Seite.

E

Abgerufen von „https://vowi.fsinf.at/index.php?title=Kategorie:Deduktiver_Abschluss&oldid=62185“