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


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