Uma equivalente lógica para a afirmação “Renato é poderoso se, e somente se, Cesar é seu pai” é:

Cesar não é pai de Renato ou Renato não é poderoso.

Renato é poderoso e Cesar é seu pai.

Se Cesar não é pai de Renato, então Renato não é poderoso.

Renato não é poderoso se, e somente se, Cesar não é seu pai.

Ou Cesar não é pai de Renato ou Renato não é poderoso.