Chama-se proposição toda afirmação que pode ser julgada como verdadeira ou falsa.
Dentro da Lógica Matemática, adota-se como regras fundamentais do pensamento dois
princípios básicos: (1) Princípio da não contradição afirmando que uma proposição não pode
ser verdadeira (V) e falsa (F) ao mesmo tempo. (2) Princípio do terceiro excluído que afirma toda
proposição ser verdadeira (V) ou falsa (F), isto é, verifica-se sempre um dos dois casos e não
há a possibilidade de um terceiro.
O valor lógico de uma proposição é o julgamento da proposição quanto a ser verdadeira (V)
ou falsa (F). Desse modo, a alternativa que contém uma proposição verdadeira é: