Se João aprende quantificadores e não estuda Gramática...
Imagem de fundo

Se João aprende quantificadores e não estuda Gramática...

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:

A
João estuda Lógica, não estuda Gramática, estuda Aristóteles e estuda Frege.

B
João não estuda Lógica, estuda Gramática, não estuda Aristóteles e estuda Frege.

C
João estuda Lógica, não estuda Gramática, estuda Aristóteles e não estuda Frege.

D
João não estuda Lógica, não estuda Gramática, estuda Aristóteles e estuda Frege.

E
João estuda Lógica, estuda Gramática, não estuda Aristóteles e não estuda Frege.