A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

derivación

Una derivación o deducción es una secuencia finita, de fbfs cuyo último miembro es la fbf derivada, y cada uno de los demás es o bien un axioma, o alguna de las premisas aceptadas, o el resultado de aplicar una regla de inferencia a alguna(s) de las fbfs que le preceden en la secuencia. Se escribe Γ⊢A para denotar que la fbf A puede derivarse del conjunto de fbfs Γ)

(v. argumento correspondiente, prueba)