Universelle Instanziierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Schlussregel, die es erlaubt, aus einer universal quantifizierten Aussage eine konkrete Instanz abzuleiten: aus ∀x P(x) darf man P(t) für jeden Term t folgern, der geeignet anstelle von x eingesetzt werden kann.