2.3.4 Línea de Razonamiento

Sea R un conjunto no vacío de reglas admisibles cualesquiera. Se dice que una secuencia R1, ..., Rk de elementos de R es una cadena o línea de razonamiento si se cumple que para cada Ri (i = 1,..., k-l) alguna de sus proposiciones sucedentes ocurre en el antecedente de Ri + 1. Por otra parte, si la cadena es tal que ninguno de los sucedentes de cualquier regla Ri ocurre en el antecedente de Rj con j < = i entonces esta se denomina libre., mientras que en caso contrario se dice que es un lazo.