[4118] Se riesco a compilare il modulo in ogni sua parte, lo spedisco per posta. In base alla precedente affermazione, è necessariamente vero che:
se spedisco il modulo per posta, significa che sono riuscito a compilarlo in ogni sua parte
se non ho spedito il modulo per posta, vuol dire che non sono riuscito a compilarlo in ogni sua parte
spedisco il modulo per posta solo se riesco a compilarlo in ogni sua parte
se non riesco a compilare il modulo in ogni sua parte, non lo spedisco per posta