Semana 6 - Sesión 1: Condicional. Negación de la condicional. Enunciados equivalentes a partir de la condicional

 La condicional o implicación se escribe de la siguiente manera: “si… p entonces q” y se representa con cualquiera de los siguientes símbolos: ⇒ →

En este tipo de condicional, debe suceder una proposición, para que la otra también tenga efecto.

Para comprender mejor el tema, se analizó la tabla de verdad que corresponde a las condicionales, en la cual se observa que únicamente cuando tenemos una proposición compuesta en donde el antecedente es verdadera y el consecuente sea falso, el valor de verdad de ésta será falso, de lo contrario siempre será verdadero.

Luego de haber tenido claro el concepto de la condicional, se trabajaron las Leyes de De Morgan para negar una condicional o implicación.

Se realizaron varios ejemplos para poder interpretar la forma en la que se niega una proposición condicional a través de esta ley.

Para poner en práctica lo aprendido se realizaron algunos ejercicios durante la sesión.