O que é uma proposição na lógica matemática?

Resposta

Sentença declarativa com valor-verdade (pode ser classificada como verdadeira ou falsa).

Trata-se de uma frase que afirma algo sobre a realidade e admite atribuição de verdade.
Não inclui perguntas, ordens, exclamações nem sentenças abertas com variáveis livres; mesmo que o valor-verdade seja empiricamente desconhecido, ele existe em princípio.

"A água ferve a 100°C ao nível do mar" — é uma proposição porque pode ser avaliada como verdadeira ou falsa (a condição "ao nível do mar" torna o enunciado decidível empiricamente).