Em raciocínio lógico, denomina-se
proposição ou sentença toda oração
declarativa que pode ser classificada
ou como “verdadeira” ou como “falsa”.
Considere as seguintes proposições
envolvendo operações e comparações
entre números naturais:
p: “Oito é diferente de nove.”;
q: “quatro é menor que oito.”;
r: “Quinze é o quádruplo de três.”;
s: “O triplo de nove é igual a vinte e
sete.”.
Entre essas proposições, a única
classificada como “falsa” no conjunto
dos números naturais é a proposição