Baustein:Deduktiver Abschluss

Aus VoWi
Wechseln zu: Navigation, Suche
Deduktiver Abschluss[Bearbeiten]

deduktiver Abschluss:

Cn(T) = \left \{ \varphi \mid T \models \varphi \land \varphi \mathrel{\text{is closed}} \right \}