inductivo), la lógica a priori no tiene una estructura estándar eficiente.