[4117] Se Paolo non telefona a Stefano, allora il loro appuntamento avrà luogo in Via Verdi alle 21:00. Se la precedente affermazione è vera, si può concludere che:


	condizione necessaria affinché l'appuntamento sia fissato in via Verdi alle 21:00 è che Paolo non telefoni a Stefano
	se i due amici si incontrano in Via Verdi alle 21:00, allora Paolo non ha telefonato a Stefano
	se i due amici non si incontrano in Via Verdi alle 21:00, allora Paolo non ha telefonato a Stefano
	se i due amici si incontrano in Via Verdi alle 20:00 allora Paolo ha telefonato a Stefano