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.
(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
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
é verdadeira.
Passo 3
Aplicando a negação,
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
é falsa.
Passo 5
Por fim, na disjunção temos falsa
falsa, e pela tabela de verdade da disjunção:
Resposta
A proposição dada é falsa.