Universelle Generalisierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine formale Schlussregel der Prädikatenlogik, die es erlaubt, eine universelle Formel ∀x φ(x) abzuleiten, wenn φ(x) unter der Bedingung bewiesen wurde, dass x beliebig ist und nicht von Annahmen über dieses einzelne Element abhängt.