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. Isso significa que uma proposição deve ter um valor de verdade bem definido, ou seja, ela deve ser capaz de ser avaliada como verdadeira ou falsa, sem ambiguidade. Além disso, proposições não podem ser perguntas, exclamativas ou comandos, pois essas formas não expressam uma afirmação que possa ser avaliada em termos de verdade.