A proposição “Se Jair é engenheiro, então ele sabe matemática” é logicamente equivalente à proposição: