La logique était l' "art de raisonner" ; elle est devenue une science. Elle a été étudiée par les philosophes, les logiciens, les mathématiciens.
Elle obéit à des lois très strictes, qui présentent des analogies avec la théorie des ensembles.
Les informaticiens utilisent  un formalisme simple et efficace appelé algèbre de Boole.

Voir : démonstration, raisonnement.