title: Condition nécessaire
text: # Condition nécessaire
  
  En logique mathématique, une condition nécessaire à l'assertion $P$ est une assertion $Q$ telle que :
  
  $P\Longrightarrow Q$
  
  En d'autres termes, si $P$ est vérifiée, alors $Q$ l'est également. Par contraposée, si $Q$ n'est pas vérifiée, alors $P$ ne l'est pas non plus : $Q$ est nécessaire à $P$.
  
  Une condition à la fois nécessaire et suffisante est dite équivalente.
  
  ## Exemples
  
  Une condition nécessaire pour qu'il pleuve est la présence de nuages. Si il n'y a pas de nuages, il ne peut pas pleuvoir.
  
  