Exercício 3. Determine o valor lógico de cada uma das seguintes proposições compostas:
Não é verdade que (5 é par e 4 é par)

Passo 1

O enunciado pede o valor lógico da proposição composta
\lnot\bigl(\underbrace{\text{“5 é par”}}_{p}\land\underbrace{\text{“4 é par”}}_{q}\bigr).éé
O conteúdo aqui é lógica proposicional, envolvendo a conjunção ( \land) e a negação ( \lnot). Precisamos avaliar cada proposição atômica, depois a conjunção e, por fim, a negação.

Passo 2

Avaliar cada atômica:
p\equiv\text{“5 é par”}é é falsa, logo p=\text{F}.
q\equiv\text{“4 é par”}é é verdadeira, logo q=\text{V}.
Portanto
p\land q = \text{F}\land\text{V} = \text{F}.

Passo 3

Agora aplicamos a negação sobre o resultado da conjunção:
\lnot(p\land q) = \lnot\text{F} = \text{V}.
Assim, a proposição composta é verdadeira.

Resposta

Verdadeiro.

Exercícios relacionados