8 de Febrero del 2013

El viernes día 8, después de los tres días de huelga, el profesor preguntó por orden de lista si alguien había hecho los ejercicios de la plataforma Helvia que recomendó hacer durante esos días para practicar. Nadie los tenía por lo que el profesor, al no tener nada que corregir, dio por terminada la clase y nos dejó hacer lo que quisiéramos.
En el último cuarto de hora, el profesor comentó que en el examen del próximo día 15, podíamos llevar una hoja solo con las reglas de la derivación. Los apuntó en la pizarra y, para quienes no los tengan, son:

• Regla de transitividad del condicionador: 

          x → y
          y → z
       -----------
          x → z

• Regla del Modus tollens:

               x → y
                    ¬y
           -------------
            ¬x    

• Regla del silogismo disyuntivo: 

      x ∨  y                             x ∨ y
   ¬ x                                         ¬ y
   ---------------        ó           -------------
              y                            x

• Reglas de Morgan:

   ¬ ( x Λ y)                                   ¬ ( x ∨ y)

  --------------            ó                 -----------------
   ¬ x ∨ ¬ y                                    ¬ x Λ ¬ y

• Reglas de definición del conjuntor:

       x 

Λ

 y                                        

x Λ y
   ---------------           ó                 ---------------

  ¬ ( ¬ x ∨ ¬ y)                            ¬ ( x → ¬ y)

• Reglas de definición del disyuntor:

        x ∨ y                                         x ∨ y
      ------------          ó                   -----------------
      ¬ x → y                                  ¬ ( ¬ x Λ ¬ y)

• Reglas de definición del condicionador:

        

x 

→

 y                                       

x → y

      -----------           ó                    ---------------

      ¬ x ∨ y                                   ¬ ( x Λ ¬ y)

Ana Castán Ruano.