[4114] 'Se mi sveglio presto, arrivo in orario al lavoro'. In base alla precedente affermazione, è necessariamente vero che:
arrivo in orario al lavoro solo se mi sveglio presto
se non mi sveglio presto, arrivo al lavoro in ritardo
se non sono arrivato in orario al lavoro, vuol dire che non mi sono svegliato presto
se arrivo in orario al lavoro, significa che mi sono svegliato presto