NEW
Font size
Worksheets3er Examen Parcial Lógica A
Total questions: 30
Worksheet time: 30mins
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
1. (G → Y)
2. ~ F
.: (G → Y) ^ ~ F
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. (P → Q)
.: (P → Q) v R
Adición
Conjunción
Silogismo Disyuntivo
Dilema Constructivo
1. (R ↔ S)
2. ~ W
.: (R ↔ S) ^ ~W
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. [(J → ~M) ^ (~ T → R)]
2. (J v ~T)
.: (~M v R)
Adición
Conjunción
Silogismo Disyuntivo
Dilema Constructivo
1. (L → F)
2. (F → C)
.: (L → C)
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. J ^ (~D ↔ V)
.: J
Absorción
Adición
Modus Ponens
Simplificación
1. ~H → (G v F)
.: ~H → [~H ^ (G v F)]
Modus Ponens
Modus Tollens
Absorción
Silogismo Disyuntivo
1. K → C
2. K
.: C
Silogismo Hipotético
Silogismo Disyuntivo
Dilema Constructivo
Modus Ponens
1. T v X
2. ~T
.: X
Adición
Conjunción
Silogismo Disyuntivo
Dilema Constructivo
1. A → (T ↔ ~V)
2. A
.: (T ↔ ~V)
Absorción
Adición
Modus Ponens
Simplificación
1. I → F
.: I → (I ^ F)
Modus Ponens
Modus Tollens
Absorción
Silogismo Disyuntivo
1. W v ~X
2. ~W
.: ~X
Modus Ponens
Modus Tollens
Absorción
Silogismo Disyuntivo
1. L → B
2. ~B
.: L
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. (U ↔ H) ^ ~R
.: (U ↔ H)
Modus Tollens
Adición
Modus Ponens
Simplificación
1. (P ↔ H)
.: (P ↔ H) v Q
Absorción
Adición
Modus Ponens
Simplificación
1. (E → F) ^ (G → H)
2. (E v G)
.: (F v H)
Adición
Conjunción
Silogismo Disyuntivo
Dilema Constructivo
1. A
2. (T ↔ ~X)
.: A ^ (T ↔ ~X)
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. (Y ↔ ~L) → F
2. ~ F
.: (Y ↔ ~L)
Modus Ponens
Modus Tollens
Absorción
Silogismo Disyuntivo
1. K → L
2. L → M
.: K → M
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
1. R
2. ~ T
.: (R ^ ~T)
Conjunción
Silogismo Hipotético
Modus Tollens
Modus Ponens
