///
Em uma conversa sobre futebol, Ana, Bia e Carolina fizeram as afirmações a seguir.
Ana afirmou: “Bia torce para o Flamengo e para o Fluminense”.
Bia afirmou: “Eu não torço para o Flamengo”.
Carolina afirmou: “Se Bia torce para o Flamengo, então eu torço para o Vasco da Gama”.
A proposição “Se eu não torço para o Vasco da Gama, então Bia não torce para o Flamengo” é logicamente equivalente à afirmação de Carolina.