raciocinio lógico

Sabendo que as proposições p → q e ~q → ~p são equivalentes, podemos concluir que a proposição “Se Celso é pai de Guilherme, então Rita é esposa de Celso” é equivalente à proposição:

Se Rita não é esposa de Celso, então Celso não é pai de Guilherme.

Celso não é pai de Guilherme e Rita não é esposa de Celso.

Rita não é esposa de Celso ou Celso não é pais de Guilherme.

Rita é esposa de Celso ou Celso é pai de Guilherme.

Se Celso não é pai de Guilherme, então Rita não é esposa de Celso.