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 necessariamente que: Pedro estuda Matemática ou Jorge estuda Medicina
