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