Histoire des mathématiques Discipline

logique algébrique

Discipline

raisonnement obtenu en manipulant des équations avec des variables libres

domaine
Logique mathématique

Pour comprendre

rédaction

La logique algébrique étudie une forme de raisonnement qui consiste à manipuler des équations comportant des variables libres. Plutôt que de raisonner directement sur des propositions logiques, elle traduit ce raisonnement en opérations sur des équations, ce qui permet de lui appliquer des méthodes de nature algébrique.

Où elle se place

Elle appartient à la logique mathématique, aux côtés d'autres branches comme la théorie de la démonstration.

flowchart TD
  P0[Logique mathématique] --> D([logique algébrique])
  P0 --> S0[theorie de la demonstration]

Liens

a compté parmi ses contributeurs

Sources