Para el la lógica inductiva es solo una lógica de descubrimiento: