Implication logique

[mehdi-128]

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"

[GaBuZoMeu]

"Pour A, il faut B" veut dire que A implique B.
"Pour A, il suffit B" veut dire que B implique A.

[mathelot]

Bonsoir,
quand on a l'implication où P et Q sont deux prédicats,
Q est une condition nécessaire pour P, P est une condition suffisante pour Q