30/1/13

Hoy hemos empezado la clase con la correción del calculo de deducción natural realizado por Alfonso.
------------------------------------------------------------------------------------------------------------
1) P ^ R pr
2) P----> s pr
4) P          re ^1
5) R         re ^ 1
6) S         re ----> 2,4
7) S v Q  ri  v 6
8)T
9)T^R     ri ^8,5

------------------------------------------------------------------------------------------------------------
Después el profesor ha explicado  las reglas de introducción de ----> y las  de eliminación de las reglas de eliminación del v


Ana Isabel Garcia Palacios