¿Qué es la presuncion en la logica?