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

Passo 1

O enunciado pede atribuir valor-verdade à proposição composta
lnot(5 é um número primo) ;vee; (4 é um número ímpar) éúéúí
O conteúdo é lógica proposicional: vamos avaliar as proposições atômicas e usar negação e disjunção.

Passo 2

Avaliamos a proposição atômica “5 é um número primo”. Um número primo tem exatamente dois divisores positivos distintos (1 e ele mesmo). O número 5 satisfaz isso, logo
5 é primoé é verdadeira.

Passo 3

Aplicando a negação,
lnot(5 é primo) é
nega uma proposição verdadeira, portanto é falsa.

Passo 4

Avaliamos a outra atômica “4 é um número ímpar”. Números ímpares não são divisíveis por 2, mas 4 é divisível por 2, então
4 é ímparéí é falsa.

Passo 5

Por fim, na disjunção temos falsa vee falsa, e pela tabela de verdade da disjunção:
F vee F = F

Resposta

A proposição dada é falsa.

Exercícios de Livros Relacionados