Cláudio é funcionário público e, ao ser indagado sobre sua satisfação em exercer seu ofício, disse:

“Se gosto do que faço, então não me canso e sou feliz.”

Essa afirmação é logicamente equivalente a: