Em lógica clássica, uma frase é considerada uma proposição quando é uma oração declarativa que pode ser classificada como verdadeira ou falsa, mas não pode ser ambas ao mesmo tempo. As frases que não se enquadram nessa definição incluem perguntas, exclamativas, comandos e opiniões, pois não têm um valor de verdade definido.