[   Not available in English]

[home]   [top]

El sistema axiomático de Hilbert

Axiomas

 
H1.    a  ®( b® a)
H2.   (a  ®( b® g)) ® ((a  ® b )  ®( (a  ® g ))
H3.   (Øb  ® Øa ) ® (a  ®b )
H4.    a_x^t® $x a

 Reglas de inferencia

 
MP         a
            a  ® b
            ------
                b

I$A        a  ® b
             ------
             $x a  ® b

Algunas reglas derivadas

 
I"C        b  ® a                !! si  xÏ lib(b)
             ------
             b  ® "x ab

I$C        b  ® a
             ------
             b  ® $xa

I"A        a  ® b
             ------
             "x a  ® b

E$A     $x a  ® b
             ------
           a  ® b

E"C      b  ® "xa
              ------
             b  ® a
 

I$AC        a  ® b
             ---------
             $x a  ® $x b

I"AC        a  ® b
             ---------
             "x a  ® "x b
 
 

Algunas reglas más

 
E"               "xa
                   ----
                    a

I"                 a
                  ----
                     "xa

en construcción ***]]]
 
 
 

[home]   [top]

1. Mendelson, Elliot.  Introduction to Mathematical Logic. Chapman & Hall 1997
2. Hunter, Geoffrey.  Metalógica. Paraninfo. 1981

[home]   [top]