Se o aeroporto está fechado, então os vôos estão atrasados. Os vôos não estão atrasados. Isto implica em:

Gabarito

D

Comentário do professor

Temos duas premissas: "Se o aeroporto está fechado, então os vôos estão atrasados" e "Os vôos não estão atrasados".

Formalizando, seja \(A\) = "o aeroporto está fechado" e \(B\) = "os vôos estão atrasados". A primeira premissa é \(A \to B\) e a segunda é \(\neg B\).

Aplicamos o princípio lógico conhecido como modus tollens: de \(A \to B\) e \(\neg B\) segue-se logicamente \(\neg A\).

Intuitivamente, uma condicional \(A \to B\) só é falsa quando \(A\) é verdadeira e \(B\) é falsa. Como já sabemos que \(B\) é falso e assumimos a condicional verdadeira, \(A\) não pode ser verdadeiro.

Portanto, a conclusão correta é: o aeroporto não está fechado.