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.)
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 “
é número primo” e “
é número ímpar”. O conteúdo é lógica proposicional, envolvendo negação (
) e conjunção (
).
Passo 2
Sejam
: “
é número primo”
: “
é número ímpar”
A proposição original é
A proposição original é
Passo 3
Avaliaremos primeiro
:
é verdadeiro, pois
é primo;
é falso, pois
não é ímpar;
Logo,
Logo,
Passo 4
Agora aplicamos a negação:
Resposta
A proposição “Não é verdade que (
é um número primo e
é um número ímpar.)” é verdadeira.