Ex. 1.5 - Atribua um valor verdade à cada uma das seguintes proposições:
Não é verdade que (5 é um número primo e 4 é um número ímpar.)

Passo 1

O enunciado pede o valor-verdade da negação da conjunção dos enunciados “ 5 é número primo” e “ 4 é número ímpar”. O conteúdo é lógica proposicional, envolvendo negação ( neg) e conjunção ( land).

Passo 2

Sejam
p: “ 5 é número primo”
q: “ 4 é número ímpar”
A proposição original é
lnot (p land q)

Passo 3

Avaliaremos primeiro p land q:
p é verdadeiro, pois 5 é primo;
q é falso, pois 4 não é ímpar;
Logo,
p land q = verdadeiro land falso = falso

Passo 4

Agora aplicamos a negação:
lnot (p land q) = lnot(falso) = verdadeiro

Resposta

A proposição “Não é verdade que ( 5 é um número primo e 4 é um número ímpar.)” é verdadeira.

Exercícios de Livros Relacionados