REGLAS DE INFERENCIA BÁSICAS

El día 29 de Marzo la profesora dedicó la clase a explicar las reglas de inferencia básicas para el cálculo lógico, que son las siguientes:

-Doble negador ¬ ¬ A  (Eliminación del negador)     A     (Introducción del negador)

                              A                                                 ¬ ¬ A

-Conjuntor  A                                                               A^B         A^B
                   B                                                               A              B
                A^B (Introducción del conjuntor)             Eliminación conjuntor

-Disyuntor           A         (Introducción disyuntor)                       A V B   
                        A V B                                                                   A
                                                                                                    [
                                                                                                     C
                                                                                                     B
                                                                                                   [
                                                                                                     C    
                                                                                                     C (Eliminación disyuntor)

-Implicador         A                                                  A---->B  
                            B                                                  A                  
                           [.                                                    B      (Eliminación: Modus Ponens)
                            .
                            .
                            C        
                        B---->C (Introducción implicador)


-Coimplicador     A---->B                                    A<---->B  
                            B---->A                                    B<---->A  (Eliminación coimplicador)
                           A<---->C (Introducción coimplicador)

Por último la profesora mandó unas actividades para aplicar las reglas.
Jezabel Gutiérrez Lobato