A proposição “se o voo está atrasado, então o aeroporto está fechado para decolagens” é logicamente equivalente à proposição: