Una lógica inductiva para un dominio y un lenguaje determinados es un conjunto de reglas que determina el valor de probabilidad único para cada par de enunciados, p, q, del lenguaje; es decir, un número real x tal que Pr (p/q) = x.
| W. Gustason, Reasoning from Evidence, Macmillan, Nueva York 1994, p. 199. |