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 Γ)
