Se Luís estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia, então Jorge estuda Medicina. Ora, Luís estuda História

Se Luís estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia, então Jorge estuda Medicina. Ora, Luís estuda História OU Helena estuda Filosofia. Logo, segue-se que necessariamente:

Pedro estuda Matemática ou Jorge estuda Medicina.Helena estuda Filosofia e Pedro estuda Matemática.se Luís não estuda História, então Jorge não estuda Medicina.Pedro estuda Matemática ou Helena não estuda Filosofia.Pedro estuda Matemática e Jorge estuda Medicina