///
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 estuda Aristóteles e Gramática, não aprende quantificadores. João aprende quantificadores. A partir destas premissas, é válido logicamente concluir que: