3er Examen Parcial Lógica A

1. [(K → G) v ~J] → ~F
2. ~~F
.: ~ [(K → G) v ~J]

• Modus Ponens

• Modus Tollens

• Absorción

• Silogismo Disyuntivo

1. [(S ↔ V) → (A v B)] v (J ^ H)

2. ~ (J ^ H)

.: [(S ↔ V) → (A v B)]

• Adición

• Conjunción

• Silogismo Disyuntivo

• Dilema Constructivo

1. (F → ~S)

2. F

.: ~S

• Silogismo Hipotético

• Silogismo Disyuntivo

• Dilema Constructivo

• Modus Ponens

1. (A → X) ↔ (Q ^ ~Z)

.: [(A → X) ↔ (Q ^ ~Z)] v ~K

• Absorción

• Adición

• Modus Ponens

• Simplificación

1. ~ (T v C) → [(R ^ J) ↔ L]

2. ~ [(R ^ J) ↔ L]

.: ~ (T v C)

• Conjunción

• Silogismo Hipotético

• Modus Tollens

• Modus Ponens

1.    (T v C) → [(R ^ J) ↔ L] 

 2.    ~ [(R ^ J) ↔ L] 

 .: ~ (T v C)

• Modus Ponens

• Modus Tollens

• Absorción

• Silogismo Disyuntivo

1. (I ↔ ~B) → ~ (O ^ F)

2. ~ (O ^ F) → Y

.: (I ↔ ~B) → Y

• Conjunción

• Silogismo Hipotético

• Modus Tollens

• Modus Ponens

1. H ^ [(U v K) ↔ X]

.: H

• Absorción

• Adición

• Modus Ponens

• Simplificación

1. ~A → K

.: ~A → (~A ^ K)

• Absorción

• Adición

• Modus Ponens

• Simplificación

1. [(J → N) ^ (D → R)]

2. (J v D)

.: (N v R)

• Adición

• Conjunción

• Silogismo Disyuntivo

• Dilema Constructivo