- Volendo rendere più trasparenti per tutti le procedure per segnalare all'amministrazione le assenze, Alessia ha mandato a tutti queste istruzioni: se A è in malattia, allora A manda una mail a Marco, se B è in trasferta, allora B manda una mail a Bernardo. Da quanto scritto, quindi, si può dedurre con certezza che se:   Gianni non ha mandato alcuna mail a Marco allora non è in malattia