[4530] Per permettere all'elettricista di completare il suo lavoro è necessario che Maria rimanga in casa tutto il giorno. Se la precedente affermazione è vera, allora è anche vero che:
| Maria rimane in casa tutto il giorno e quindi l'elettricista completa il suo lavoro | |
| se Maria non rimane in casa tutto il giorno l'elettricista non può completare il suo lavoro | |
| quando l'elettricista termina il suo lavoro Maria esce di casa | |
| Maria rimane in casa tutto il giorno solo se l'elettricista completa il suo lavoro |