===== Sistema Axiomático =====

==== Lenguaje $L$ ====

El sistema formal $L$ del cálculo de enunciados se define por:
  - Vocabulario: es un conjunto numerable de simbolos $\{\neg,\rightarrow,(,),p_0,....\}$.
  - Conjunto de formulas bien formadas (**fbf**).  Se define de manera inductiva como sigue.
    - $p_0$, $p_1$,.... son **fbf**'s
    - Si $A$ y $B$ son **fbf**, entonces $(\neg A)$ y $(A\rightarrow B)$ lo son.
    - El conjunto de **fbf**'s esta definnido aplicando de manera inductiva las dos reglas anteriores (a) y (b).
  - Definiciones:
    - $(A\wedge B):=(\neg(A\rightarrow(\neg B)))$
    - $(\vee B):=((\neg A)\rightarrow B)$
    - $A\rightarrow B:=\neg((A\rightarrow B)\rightarrow(\neg(A\rightarrow B)))$