Determine se cada uma desta proposições condicionais é verdadeira ou falsa:
Se macacos puderem voar, então
.
Se macacos puderem voar, então
Passo 1
O enunciado pede para determinar se a proposição condicional “Se macacos podem voar, então 1+1=3” é verdadeira ou falsa. O conteúdo é lógica proposicional e vamos precisar da definição de implicação.
Passo 2
Denotamos P = “macacos podem voar” e Q = “1+1=3”. Sabemos que macacos não voam, logo P é falsa, e 1+1=3 também é falso, então Q é falsa.
Passo 3
Na lógica proposicional, a implicação
só é falsa quando
é verdadeira e
é falsa. Em todos os outros casos (inclusive quando
é falsa) a implicação é verdadeira.
Passo 4
Como aqui
é falsa, a implicação
vale verdadeira, independentemente de
.
Resposta
Verdadeira.