Al principio de la clase el profesor comenzó resolviendo dudas de algunos alumnos, de los ejercicios de internet. Este es el ejercicio:

├ [ p -( q -r) ] -[ p -( s -r) ]

Despues el profesor ha explicado las Reglas de Interdefinicion:

Las primeras son las Reglas de MORGAN que son utiles en parentesis, disyuntores y negadores.

el 1º es la del conjuntor:x^y//¬Xv¬Y
la 2º es la del disyuntor:XvY//¬X^¬Y

Las siguientes son la reglas del conjuntor (RDel1):
1º X^Y//¬Xv¬Y
2ºX^Y//¬X->¬Y

Reglas del disyuntor (R del v):
1ºXvY//¬X^¬Y
2ºXvY//¬(X->Y)

Y las ultimas las reglas del condicionador (Rdel ->):
1ºX->Y//¬(X^¬Y)
2ºX->Y//¬XvY

Despues de dar las reglas de la Interdefinicion, comenzamos ha hacer ejercicios de logica de la pagina de Elvia

Alberto Lagares.