735
modifications
m (Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)) |
m (→La représentation des vérités : Orth.) |
||
VAF =def Ensemble-somme de Extension de (Il existe Z’, Z’’ tels que CZ’CZZ’’ Dans AVF)
Cela termine cette construction de VAF à partir de VAF0. La même construction peut être faite pour n’importe
|