3.11.3 : Não é possivel, pois para a condição 1 ser verdadeira (∃x (Dodec(x) ∧ Large(x))),
	temos que Large(x) é verdade, mas para provar que a sentença 2 é falsa torna-se necessarios
	que Large(x) seja falso. Logo, não é possivel ter a sentença 1 verdadeira e a 
	sentença 2 falsa no mesmo mundo.