[4078] 'Se O allora H e se H allora M e solo se M allora N'. Se la precedente affermazione è vera, allora è certamente vero che:


	se non M allora non O
	se N allora O
	se N allora H
	se M allora O