Bonjour,
Je suis dans le cours de MPSI sur les raisonnements et opérations sur les ensembles.
J'ai compris que j'implication logique signifie
Mais je ne comprends pas la suite. On suppose que soit vraie.
Pour que soit vraie, il faut que soit vraie. Ici je pense avoir compris, si est vraie alors est fausse donc il faut que soit vraie.
Pour que soit vraie, il suffit que soit vraie. Pourquoi on utilise le terme "suffit" ?
Pour que soit vraie, il faut que soit fausse, donc soit vraie.
Je ne comprends pas la subtilité du "faut" et "suffit"