[4160] 'Solo se D allora T e se T allora V e solo se V allora P'. Se la precedente affermazione è vera, allora è certamente vero che:


	se non T allora non V
	se non T allora non D
	se non V allora non P e non T
	se non P allora non V