Um torcedor de futebol fez a seguinte afirmação P: “Se o meu time chegar à final da Copa Verde, então eu não viajo com minha família”. Uma proposição logicamente equivalente à afir

Gabarito

D

Comentário do professor

Identificação: seja A = "meu time chega à final da Copa Verde" e C = "eu não viajo com minha família".

Regra lógica: uma condicional \(A \to C\) é logicamente equivalente à disjunção \(\lnot A \lor C\).

Procedimento: negue a primeira parte (ficando meu time não chega), mantenha a segunda (eu não viajo) e substitua o conectivo "se... então" por "ou".

Intuitivamente, ambas são falsas apenas quando A é verdadeira e C é falsa; em todos os outros casos são verdadeiras. Assim, a frase equivalente é:

Meu time não chega à final da Copa Verde ou eu não viajo com minha família.