Sabe-se que as proposições - Se Aristides faz gols então o GFC é campeão. - O Aristides faz gols ou o Leandro faz gols. - Leandro faz gols. são, respectivamente, verdadeira, verdadeira e falsa. Daí, conclui-se que
