Atribua valores verdade para as seguintes proposições:
e 4 é um inteiro ímpar.
Passo 1
O enunciado pede para atribuir valores de verdade a duas proposições:
-
- “4 é um inteiro ímpar”
O conteúdo aqui é lógica proposicional básica: identificar se cada afirmação é verdadeira ou falsa.
Passo 2
Para a proposição
: sabemos que
é de fato menor ou igual a
. Logo, essa desigualdade é satisfeita no conjunto dos números naturais ou inteiros.
Passo 3
Para a proposição “4 é um inteiro ímpar”: um número inteiro
é ímpar se não for divisível por
, isto é,
. Como
concluímos que
é par, não ímpar.
Resposta
“4 é um inteiro ímpar” é falsa.