A es consecuencia sintáctica de un conjunto Γ de fbfs syss A puede ser derivada de Γ (y de los axiomas). Notación: Γ ⊢A. (v. derivación)