La nécessité est une catégorie modale qui s'oppose à la contingence : est nécessaire ce qui ne peut pas ne pas être, ce qui doit être.Une proposition nécessaire est une proposition qui ne peut pas être fausse. Si une proposition est vraie dans tous les cas, alors elle est nécessairement vraie.
