Als Allabschluss bezeichnet man eine syntaktische Operation in der Prädikatenlogik, durch welche für alle sogenannten freien Variablen einer Formel F eine Allquantifizierung, d. h. eine Quantifizierung mittels des Allquantors ∀ vorgenommen wird. Formal: Der Allabschluss kann auch für Formelmengen definiert werden: Die zum Allabschluss analoge...