Atribua valores verdade para as seguintes proposições:
3 \leq 7 ou 4 é um inteiro ímpar.

Passo 1

O enunciado pede que a gente atribua valores de verdade às proposições que aparecem na disjunção
3 \leq 7 \;\text{ou}\; \text{“4 é um inteiro ímpar”}.éí
Para isso, vamos avaliar cada proposição atômica e depois a disjunção delas.

Passo 2

Avaliar a proposição 3 \leq 7.
Como de fato 3 é menor ou igual a 7, concluímos que essa proposição é verdadeira.

Passo 3

Avaliar a proposição “4 é um inteiro ímpar”.
Como 4 é um número par, essa proposição é falsa.

Passo 4

Calcular a disjunção. Em lógica proposicional,
\text{Verdadeiro} \;\lor\; \text{Falso} = \text{Verdadeiro}.

Resposta

3 \leq 7 é verdadeira.
“4 é um inteiro ímpar” é falsa.
A disjunção 3 \leq 7 ou “4 é um inteiro ímpar” é verdadeira.

Exercícios relacionados