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

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)