3.11.2 : Não é possivel, pois para a condição 3 ser verdadeira (∀x (Tet(x) ∧ Small(x))),
	temos que Small(x) é verdade, mas para provar que a sentença 4 é falsa torna-se necessario
	que Small(x) seja falso. Logo, não é possivel ter a sentença 3 verdadeira e a 
	sentença 4 falsa no mesmo mundo.