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?
- A Esta semana tem 9 dias.
- B Esta sentença é falsa.
- C Que dia belo!
- D Qual o seu nome?