Atribua valores verdade para as seguintes proposições:
Não é verdade que 2+2=5 ou 5>7.

Passo 1

O enunciado pede o valor lógico da proposição “Não é verdade que 2+2=5 ou 5>7”. Estamos em lógica proposicional e vamos usar as definições de disjunção \lor e negação \neg para avaliar
\neg\bigl(\varphi\lor\psi\bigr)
onde \varphi é “ 2+2=5” e \psi é “ 5>7”.

Passo 2

Avaliar as proposições atômicas: \varphi\colon2+2=5 é falsa, logo \varphi=F. \psi\colon5>7 é falsa, logo \psi=F.

Passo 3

Calcular a disjunção \varphi\lor\psi. Como \varphi=F e \psi=F, tem-se
\varphi\lor\psi = F\lor F = F.

Passo 4

Aplicar a negação à disjunção:
\neg\bigl(\varphi\lor\psi\bigr) = \neg F = T.

Resposta

A proposição “Não é verdade que 2+2=5 ou 5>7” é verdadeira.

Exercícios relacionados