Día Lunes 4 de Febrero hemos comenzado la clase corrigiendo en la pizarra un ejercicio planteado por el profesor en el día anterior. Ha salido Ignacio Jurado a resolverlo y era el siguiente.
1. pΛq    Pr.
2. q→r   Pr.
3. (pΛq)→t     Pr.       Conclusión: s→t
4. s                 Abrimos una hipótesis en 4, que cerraremos en 8.
5. q                 REΛ1
6. r                  RE→2,5
7. p                 RIΛ5,7
8. t                  RE→3,8
_____ 
9.s→t             RI→4-9

Después de esto, el profesor ha explicado que existen más reglas que nos permiten modificar una expresión y así facilitarnos las cosas. Son las llamadas reglas de interdefinición de conectivas. Estas poseen dos barras porque su transformación puede ser en un sentido o en otro. Son:
     xΛy                 xΛy                xvy                xvy               x→y                x→y 
   ____      y        ____             ____        y     ____             ____      y        ____
   ____                ____             ____               ____             ____                ____
¬(¬xv¬y)         ¬(x→¬y)        ¬(¬xΛ¬y)           ¬x→y         ¬xvy             ¬(xΛ¬y)


Paola García Seco