Se João aprende quantificadores e não estuda Gramática, então estuda Lógica. Se não estuda Aristóteles, não aprende quantificadores e estuda Gramática. Se não estuda Frege e aprende quantificadores, não estuda Lógica. Se estuda Aristóteles e Gramática, não aprende quantificadores. João aprende quantificadores. A partir destas premissas, é válido logicamente concluir que: