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