El dia de hoy vimos las leyes de D´Morgan las cuales son un par de reglas de transformación de inferencia válidas. Estas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Se nos mostraron las distintas formas que toman las proposiciones a la hora de negarlas con esta regla y que cuando es y cambia a o y viceversa. 
Tambien dio tiempo de ver el ultimo tipo de conectivo lógico que nos faltaba el cual era el ¨bicondicional¨
el cual tiene la siguiente tabla de verdad:
  
Terminamos viendo algunos ejemplos de este y realizando la hoja de trabajo número 14, la clase estuvo bastante interesante y divertida ya que terminamos de ver bien todos los tipos de conectivos lógicos.