Se João aprende quantificadores e não estuda Gramática, então estuda Lógica. Se ...

Questão de Raciocínio Lógico da banca ACEP aplicada no concurso Banco do Nordeste (2010). Confira a resolução completa abaixo:

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: