Skopus (Logik)

In der Logik versteht man unter dem Bereich, der Reichweite oder dem Skopus (engl. scope „Bereich“, von lat. scopus „Ziel“) eines Quantors die kürzeste Formel, die diesem Quantor unmittelbar folgt.Der Begriff wird zum Beispiel dazu verwendet, die Begriffe der Freiheit und der Gebundenheit von Variablen zu definieren.Es gilt:Ein Vorkommen einer Variable ist frei in einer Formel B, wenn es nicht im Bereich eines Quantors vorkommt.Ein Vorkommen einer Variable wird durch ein Vorkommen eines Quantors gebunden, wenn die Variable im Bereich B des Quantors vorkommt und wenn die Variable in B frei ist.
Mehr unter Wikipedia.org...