[4461] Quale delle seguenti frasi è Logica doc_2012mente deducibile da: 'non tutti i castelli sono grandi'?


	Esistono molti castelli grandi
	Almeno la metà dei castelli non sono grandi
	Almeno un castello non è grande
	Non esistono castelli piccoli