em logica classica, uma determinada frase é uma proposição quando é uma oração declarativa que pode ser classificada como ou verdadeira ou falsa, m...

Sim, a definição apresentada está correta. Em lógica clássica, uma proposição é uma oração declarativa que pode ser classificada como verdadeira ou falsa, mas não ambas ao mesmo tempo. As proposições transmitem pensamentos ao afirmarem fatos ou revelarem juízos.