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 ) :