Segundo a Wikipedia: “A lógica proposicional tem como
objetivo modelar o raciocínio humano, partindo de frases
declarativas (proposições)”. Uma proposição matemática é uma
sentença declarativa, ou seja, que afirma ou nega um fato, a
qual podemos atribuir um “valor verdade”, que pode ser
verdadeiro ou falso. Perguntas, ordens, exclamações e
paradoxos não são proposições matemáticas. Qual das
seguintes sentenças é uma proposição matemática?