Exercício 4. Determine o valor lógico de cada uma das seguintes proposições condicionais:
Se
, então
.
Se
Passo 1
O enunciado nos pede para avaliar o valor lógico da proposição condicional “Se
, então
”. O conteúdo aqui é lógica proposicional, mais especificamente a definição de valor lógico de uma implicação
.
Passo 2
Identificamos o antecedente
e o consequente
:
Passo 3
Verificamos o valor de verdade de
:
Logo,
é verdadeira.
Passo 4
Verificamos o valor de verdade de
:
Portanto,
é verdadeira, logo
é verdadeira.
Passo 5
Relembrando a tabela-verdade da implicação
:
– Se é verdadeira e
é verdadeira, então
é verdadeira.
– Se
Resposta
A proposição “Se
, então
” é verdadeira.