Considere a afirmação:

Se Kléber é escritor, então ou João é biólogo ou é matemático.

Uma afirmação equivalente é: