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: