Condition nécessaire

En logique mathématique, une Modèle:Terme défini à l'assertion $P$ est une assertion $Q$ telle que :

$Q⟸P$

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. S'il n'y a pas de nuages, il ne peut pas pleuvoir.