Semana 6 - Sesión 2: Formas de la condicional: Inversa, recíproca y contrapositiva. Formas alternativas de la condicional. Bicondicional.

Para iniciar con la sesión se trabajaron las siguientes variantes de la condicional con su forma de representar simbólicamente:

• Proposición directa: p  → q
• Proposición reciproca: q  → p
• Proposición Inversa: ~p  → ~q
• Proposición contrapositiva: ~q  → ~p

Para tener una mejor comprensión de los términos anteriores, se realizaron varios ejemplos de cada variante.

De esta manera podemos darnos cuenta que las condicionales no pueden ser conmutativas ya que si cambiamos el orden de las proposiciones juntamente cambia el sentido de la proposición, esto sucede porque el consecuente depende del antecedente, es por ello que es necesario aplicar éste tipo de variantes.

Para practicar este tema, se redactaron 5 condicionales a las cuales se les debía aplicar cada variante.

Bicondicional o Doble Implicación:

Se escribe de la siguiente manera “Sí y sólo sí” y simbólicamente se representa de la siguiente manera: ↔

Esta consiste en que el antecedente condiciona al consecuente y viceversa.

Nuevamente trabajamos una pequeña tabla de verdad para poder encontrar los valores de verdad, llegando a la conclusión que las proposiciones compuestas serán verdaderas cuando tengan el mismo valor de verdad.

También se aprendieron las Leyes de De Morgan para poder negar las bicondicionales, por último se asignaron los ejercicios para practicar el tema.