Salut

Tu peux utiliser autant que tu veux ,, reste à savoir si ta proposition est vraie ou fausse.

Exemple :





Que peux-tu dire de ces deux propositions?

J'ajoute ceci :

Dans un raisonnement on utilise rarement des implications ou des équivalences (ça arrive néanmoins).

Dans un cours on a une liste de théorème et de propositions que l'on liste ci-dessous :








Et la question est la suivante, On suppose que est vrai, montrer que est vrai.

Solution : Puisque est vrai, on déduit de la proposition , que est vrai, ensuite le théorème nous dit , par conséquent A est vrai.

Ainsi on a montrer que


Tu remarques que je n'ai pas utilisé de dans mon raisonnement mais que des "donc, par conséquent, dès lors, on déduit que... "

Voir régle du Modus ponens