Considere a proposição composta P dada por:

P: “Se o sistema cair e não houver backup, então os dados serão perdidos”.

Uma proposição logicamente equivalente a P é: