El enunciado que es imposible que sea falso, o el enunciado verdadero en cualquier mundo posible. Su opuesto es la verdad contingente que expresa un enunciado que de hecho es verdadero, pero que podría ser falso. De las verdades necesarias se trata en las modalidades aléticas.