ajouter des implications

[invite102b12a0]

Bonjour,

Est-t-il possible d' "ajouter" des implications ? Par exemple:






Donc ou bien


Intuitivement je pense que oui mais je n'arrive pas à le démonter.

J'ai essayé de développer pour faire apparaitre une des implications du dessus mais je trouve:




Merci d'avance
-----

[Médiat]

Bonsoir,

il suffit de remplacer les implications par leur définition et d'appliquer les lois de De Morgan

[invite102b12a0]

C'est ce que j'ai fait, et en voyant le résultat que j'ai obtenu je n'ai pas cherché à le comprendre mais en fait il démontre bien ce que je cherchais à démontrer.

Désolé d'avoir posté inutilement.

Merci

[PlaneteF]

Bonsoir,

Autre façon de voir qui donne une démonstration immédiate :

Supposons . Ce qui donne 2 cas avec démonstration triviale.

Cordialement

[A voir en vidéo sur Futura]