Pues eso de la logica es muy bonito yo la di en 1º de carrera y por dificil que lo creas para decir que una premisa es cierta la niegas y si llegas a q es verdad , entonces por "logica" sabes q sea premisa era cierta.
Bien despues de dejar claro lo de la logica , los backups esos siempre han funcionado , ha sido a partir de estar eso ahi metio 4 años jejejje xD.
Pues nada , y si quieren saber mas de logica hay una asignatura en la carrera de informatica q se llama ALGEBRA Y MATEMATICA DISCRETA , en la cual veran muchisima logica xD.