pagina facebook

Pillola di logica
Se la verità di A implica la verità di B, non è detto che la verità di B implica la verità di A,
ma sicuramente la non verità di B implica la non verità di A,
infatti se non fosse così, avremmo A vero, ma A vero implica B vero e questo è in contrasto con B non vero,
pertanto B non vero implica A non vero.