title: Condition suffisante
text: # Condition suffisante
  
  En logique mathématique, une condition suffisante à l'assertion $P$ est une assertion $Q$ telle que :
  
  $Q\Longrightarrow P$
  
  En d'autres termes, si $Q$ est vérifiée, alors $P$ l'est également. Il suffit donc que $Q$ soit vraie pour que $P$ le soit également.
  
  Une condition à la fois nécessaire et suffisante est dite équivalente.
  
  ## Exemples
  
  * Si il pleut, alors il y a des nuages. L'assertion il pleut est suffisante à l'assertion il y a des nuages.
  