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