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?