Ejercicios

Esta entrada tiene como objetivo fortalecer sus conocimientos con respecto a los axiomas, teoremas, definiciones. reglas de inferencias de la lógica proposicional, para agilizar un razonamiento correcto al momento de desarrollar demostraciones. 

1. Demuestre mediante reglas de inferencias, definiciones, axiomas y teoremas, si el razonamiento es o no válido. 
  
  a. [ ( A v B )  v C ] → [ D → ( E ↔ F ) ]               
  b. ( A v B ) → [ F ↔ G ) → H ]
 c.  A ↔ [ ( E ↔ F ) → ( F ↔ G ) 
  d. A
_______________________________
D → H

2. Formaliza las siguientes proposiciones y realiza su tabla de verdad, si este es una tautología, entonces realiza su demostración en forma de prosa o afirmación-razón:

    a. O estás seguro y lo que dices es cierto o mientes como un bellaco.

    b.1 Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis sueños.

       2 He acpetado el trabajo y he dejado de pintar.

       3 Por lo tanto, no realizaré mi sueño. 

     c. Aprobaré lógica, si Dios quieres. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Sin embargo, no he hechos los ejercicios, asi que Dios no quiere que apruebe lógica.