Considere a sentença: “Se corro ou faço musculação, então fico cansado”.
Uma sentença logicamente equivalente a essa é:

André, Bento, Cláudio e Diogo estão sentados em volta de uma mesa quadrada e, entre os quatro, há dois cozinheiros, um músico e um pintor.
Sabe-se que:

• Os cozinheiros estão um ao lado do outro.
• Bento é músico e está ao lado de André.
• Diogo é cozinheiro e tem Bento à sua esquerda.

É correto afirmar que:

André, Bento, Cláudio e Diogo estão sentados em volta de uma mesa quadrada e, entre os quatro, há dois cozinheiros, um músico e um pintor.
Sabe-se que:

• Os cozinheiros estão um ao lado do outro.
• Bento é músico e está ao lado de André.
• Diogo é cozinheiro e tem Bento à sua esquerda.

É correto afirmar que: