#s/maths/logique

----

La logique formelle est l'étude de la validité des raisonnements en cosidérant **uniquement leur forme** et en faisant abstraction du contenu des propositions qui les composent.