Semana del 13 al 17 de Abril

Viernes 17 de Abril de 2009
Lógica

Comenzamos la clase haciendo otro ejercicio del tipo del que hicimos el Martes, y para ello el profesor nos dejó tiempo de clase.
Pasado este tiempo, y con el ejercicio hecho, Miguel Ángel corrigió la primera parte del mismo:
1- p<--->q (premisa)
2- q V r (premisa)
3- p--->¬s (premisa)
4- s (premisa)
5- q--->p (RB 1)
6- ¬p (MT 3,4)
7- ¬q (MT 5,6)
8- r (SD 2,7)

Y, a continuación, corregimos la segunda parte, la cual, se podia hacer de dos formas distintas:
-La primera forma la corrigió Laura:
1- p--->q (premisa)
2- q--->r (premisa)
3- p (premisa)
4- q (MP 1,3)
5- r (MP 2,4)
6- r V s (ID 5)

-La segunda forma la corrigió Juan Carlos:
1- p--->q (premisa)
2- q--->r (premisa)
3- p (premisa)
4- p--->r (RT 1,2)
5- r (MP 3,4)
6- r V s (ID 5)