Andrey e Henrique estão estudando raciocínio lógico. Em certo momento, eles analisaram a proposição: “Se Andrey estuda raciocínio lógico, então Henrique resolve exercícios.” Em seguida, Andrey afirmou: “Se Henrique resolve exercícios, então Andrey estuda raciocínio lógico”. Henrique, por sua vez, afirmou: “Andrey estuda raciocínio lógico e Henrique não resolve exercícios”.