16/06

 Estuvimos viendo este día y ayer sobre los conectivos lógicos, tablas de verdad y las Leyes de De Morgan, desde mi perspectiva considero que estos son sencillos cuando se practican, sin embargo debo de admitir que me costó a un inicio entenderlo...

Conectivos Lógicos estas proposiciones se pueden generar simples o compuesta.

· Conjunción: Y y se representa así ∧

· Disyunción O y se representa así V

· Condicional o Implicación Si, entonces y se representa así ⇾ 

· Bicondicional o Doble implicación Si y solo si y se representa así ⇿

Las tablas de verdad:

y.. según una pág web (ya que no encontraba las palabras adecuadas para definirlo) la ley de Morgan se define cómo:

Normas que permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.