Em filosofia e lógica,  é o status de proposições que não são necessariamente verdadeiras nem necessariamente falsas. Há quatro classes de proposições, algumas das quais se sobrepõem:

• proposições necessariamente verdadeiras ou Tautologias, que devem ser verdadeiras, não importa quais são ou poderiam ser as circunstâncias (exemplos: 2 + 2 = 4; Nenhum solteiro é casado).Geralmente o que se entende por “proposição necessária” é a proposição necessariamente verdadeira.
• proposições necessariamente falsas ou Contradições, que devem ser falsas, não importa quais são ou poderiam ser as circunstâncias (exemplos: 2 + 2 = 5; Ana é mais alta e é mais baixa que Beto).
• proposições contingentes, que não são necessariamente verdadeiras nem necessariamente falsas (exemplos: Há apenas três planetas; Há mais que três planetas).
• proposições possíveis, que são verdadeiras ou poderiam ter sido verdadeiras sob certas circunstâncias (exemplos: 2 + 2 = 4; Há apenas três planetas; Há mais que três planetas).

Todas as proposições necessariamente verdadeiras e todas as proposições contingentes também são proposições possíveis.

.

.

.

.

.

.

.