Instantiation Universelle

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une règle d'inférence qui permet de déduire une instance d'une formule à partir d'une affirmation universellement quantifiée : de ∀x P(x) on peut inférer P(t) pour tout terme t approprié à substituer à x.