Discussion:Instanciation universelle
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Universal instantiation » dans sa version du 25 octobre 2007.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Capture de variable modifier
>Proz : Je note que finalement tu utilises le vocabulaire "libre/lié" ? - Eusebius [causons] 1 novembre 2007 à 14:30 (CET)
Oui mais au sens ordinaire, parlante/muette comme ont dit parfois, uniquement pour des variables. Ce que je n'utilises pas c'est "t est libre pour x dans A", au sens où tu l'utilisais "x n'apparait pas dans le champs d'un quantificateur sur une variable qui apparait libre dans t", qui me parait un usage assez différent, et que je ne connais pas. Déjà dire qu'un terme est libre ça me gêne. Proz 1 novembre 2007 à 14:44 (CET)
Dictum de omni modifier
Les pages en:Universal instantiation et en:Dictum de omni et nullo#Dictum_de_omni suggèrent qu'il ne faut pas confondre dictum de omni et instanciation universelle. --Anareth (discuter) 4 novembre 2017 à 23:04 (CET)