Em uma empresa de desenvolvimento de software, o gerente estabeleceu a seguinte regra para os desenvolvedores: “Se um desenvolvedor conclui uma ta...

Em uma empresa de desenvolvimento de software, o gerente estabeleceu a seguinte regra para os desenvolvedores:

“Se um desenvolvedor conclui uma tarefa complexa, então ele recebe um bônus”.

Nesse contexto, essa regra é logicamente equivalente a

a. se um desenvolvedor não conclui uma tarefa complexa, então ele não receberá um bônus
b. se um desenvolvedor não recebe bônus, então ele não concluiu uma tarefa complexa
c. um desenvolvedor conclui uma tarefa complexa e recebe um bônus
d. se um desenvolvedor recebe um bônus, então ele concluiu uma tarefa complexa
e. um desenvolvedor conclui uma tarefa complexa se, e somente se, ele recebe um bônus