Cada enunciado que forma parte de una determinada cadena deductiva constituye una línea de derivación.