Satz,geschlossener oder offener
In der formalen Logik wird ein S. dann als geschlossener S. bezeichnet, wenn er keine freien Variablen enthält, d.h. wenn er entweder nur Konstanten oder nur (durch Quantoren) gebundene Variablen enthält. Als offener S. wird er dann bezeichnet, wenn er (ungebundene) Variablen enthält. Statt von einem offenen S. kann dann auch von »Satzform« gesprochen werden.
PP