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