Existenzielle Generalisierung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Schlussregel, die es erlaubt, aus einer konkreten Instanz P(t) eine existenzielle Behauptung ∃x P(x) zu folgern: wenn ein Term t P erfüllt, dann existiert ein x mit P(x).