Atribua valores verdade para as seguintes proposições:
Não é verdade que
ou
.
Não é verdade que
Passo 1
O enunciado pede o valor lógico da proposição “Não é verdade que
ou
”. Estamos em lógica proposicional e vamos usar as definições de disjunção
e negação
para avaliar
onde
é “
” e
é “
”.
Passo 2
Avaliar as proposições atômicas:
é falsa, logo
.
é falsa, logo
.
Passo 3
Calcular a disjunção
. Como
e
, tem-se
Passo 4
Aplicar a negação à disjunção:
Resposta
A proposição “Não é verdade que
ou
” é verdadeira.