Baustein:Deduktiver Abschluss

Aus VoWi
Zur Navigation springen Zur Suche springen
Deduktiver Abschluss[Bearbeiten]

deduktiver Abschluss:

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