Raisonnement Équationnel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une technique déductive qui prouve des identités et des propriétés en manipulant des équations selon les règles d'égalité et de congruence, souvent mise en œuvre par réécriture, substitution et manipulations algébriques.