Determine se cada uma desta proposições condicionais é verdadeira ou falsa:
Se
, então
4.
Se
Passo 1
Esta questão trata de lógica proposicional, especificamente de uma implicação do tipo
, onde:
-
é a afirmação “1+1=3”. -
é a afirmação “2+2=4”.
Vamos usar a definição de verdade de uma implicação para resolver.
Passo 2
Primeiro avaliamos o valor de verdade de cada parte:
-
é falsa, pois realmente , não 3. -
é verdadeira, pois realmente .
Passo 3
Na lógica, a implicação
é falsa apenas quando
é verdadeira e
é falsa. Se
for falsa, então
é sempre verdadeira (verdadeiro por vacuidade). Aqui
é falsa, então
é verdadeira.
Resposta
A proposição condicional “Se 1+1=3, então 2+2=4” é verdadeira.