Variable,freie und gebundene
In atomaren Sätzen und ihren aussagenlogischen Verknüpfungen (molekularen Sätzen) kommt eine Gegenstandsvariable frei vor. Sie wird gebunden, indem man von derartigen Sätzen zu Aussagen übergeht, denen man (nach vorangehendem In-Klammern-Setzen der Aussage) einen Allquantor oder Existenzquantor voranstellt.
PP