Accueil > Mathématiques > Documents > Calcul propositionnel

Calcul propositionnel

jeudi 2 juillet 2009, par Vincent

Le calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. (source wikipedia) Voici un petit résumé sur les notions élémentaires.