Luís é engenheiro se, e somente se Rossano é médico.

Rossano não é médico e Luís não é engenheiro.

Se Rossano não é médico, então Luís não é engenheiro.

Se Rossano é médico, então Luís não é engenheiro.

Se Luís não é engenheiro, então Rossano é médico.