« Fondements des mathématiques/Construction finitaire de l’ensemble des vérités » : différence entre les versions

Aller à la navigation Aller à la recherche
m
Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6)
m (Bot : Remplacement de texte automatisé (-\b([Cc][’'])est +[àa] +dire\b +\1est-à-dire))
m (Bot : Remplacement de texte automatisé (-\b(o|O)c(c?)ur(r?)(a|e)n(c|s|ss)e(s?)\b +\1ccurrence\6))
PAF =def Ensemble somme de Ensemble induit par P-Prod à partir de PAF0
 
== La substitution des constantes aux occurencesoccurrences des variables libres ==
Pour définir la vérité des formules qui contiennent des quantificateurs on aura besoin de l’ensemble suivant.
 
Sub-AF est l’ensemble des quadruplets (q, n, y, p) où p est dans PAF, y est dans Var, n est dans N et q est obtenu par la substitution de n à toutes les occurencesoccurrences de y dans p.
Sub-AF est obtenu par l’intermédiaire de Sub, qui est défini par les règles suivantes.
143 371

modifications

Menu de navigation