definiciones de logica en readme