démonstration

Une démonstration est une suite d'implications logiques :


Différents types de démonstration :
p et q sont deux propositions

Quelques conjectures (non démontrées ) :

  • conjecture de Goldbach : tout nombre pair supérieur à deux est la somme de deux nombres premiers.
  • conjecture de l'équirépartition des chiffres de
    les chiffres du développement décimal de ont chacun une fréquence de 1/10.