Uma sentença logicamente equivalente a “Se Pitombeira é radiologista, então Meire é Terapeuta” é:

Se Pitombeira não é radiologista, então Meire não é Terapeuta.

Pitombeira é radiologista e Meire é terapeuta.

Se Meire não é terapeuta, então Pitombeira não é radiologista.

Pitombeira é radiologista ou Meire é terapeuta.

Se Meire é terapeuta, então Pitombeira é radiologista.