wayground logo

Free Printable Worksheets

NEW

Font size

S
M
L
XL
Worksheets

3er Examen Parcial Lógica A

Total questions: 30

Worksheet time: 30mins

Name
Class
Date
1.

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

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

2.

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

2. ~ (J ^ H)

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

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

3.

1. (F → ~S)

2. F

.: ~S

a)

Silogismo Hipotético

b)

Silogismo Disyuntivo

c)

Dilema Constructivo

d)

Modus Ponens

4.

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

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

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

5.

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

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

.: ~ (T v C)

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

6.

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

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

 .: ~ (T v C)

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

7.

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

2. ~ (O ^ F) → Y

.: (I ↔ ~B) → Y

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

8.

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

.: H

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

9.

1. ~A → K

.: ~A → (~A ^ K)

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

10.

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

2. (J v D)

.: (N v R)

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

11.

1. (G → Y)

2. ~ F

.: (G → Y) ^ ~ F

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

12.

1. (P → Q)

.: (P → Q) v R

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

13.

1. (R ↔ S)

2. ~ W

.: (R ↔ S) ^ ~W

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

14.

1. [(J → ~M) ^ (~ T → R)]

2. (J v ~T)

.: (~M v R)

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

15.

1. (L → F)

2. (F → C)

.: (L → C)

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

16.

1. J ^ (~D ↔ V)

.: J

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

17.

1.    ~H → (G v F) 

 .: ~H → [~H ^ (G v F)]

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

18.

1. K → C

2. K

.: C

a)

Silogismo Hipotético

b)

Silogismo Disyuntivo

c)

Dilema Constructivo

d)

Modus Ponens

19.

1. T v X

2. ~T

.: X

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

20.

1. A → (T ↔ ~V)

2. A

.: (T ↔ ~V)

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

21.

1.    I → F 
.: I → (I ^ F)

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

22.

1.    W v ~X 
2.    ~W 
.: ~X

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

23.

1. L → B

2. ~B

.: L

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

24.

1. (U ↔ H) ^ ~R

.: (U ↔ H)

a)

Modus Tollens

b)

Adición

c)

Modus Ponens

d)

Simplificación

25.

1. (P ↔ H)

.: (P ↔ H) v Q

a)

Absorción

b)

Adición

c)

Modus Ponens

d)

Simplificación

26.

1. (E → F) ^ (G → H)

2. (E v G)

.: (F v H)

a)

Adición

b)

Conjunción

c)

Silogismo Disyuntivo

d)

Dilema Constructivo

27.

1. A

2. (T ↔ ~X)

.: A ^ (T ↔ ~X)

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

28.

1.    (Y ↔ ~L) → F 

2.    ~ F 

 .: (Y ↔ ~L)

a)

Modus Ponens

b)

Modus Tollens

c)

Absorción

d)

Silogismo Disyuntivo

29.

1. K → L

2. L → M

.: K → M

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens

30.

1. R

2. ~ T

.: (R ^ ~T)

a)

Conjunción

b)

Silogismo Hipotético

c)

Modus Tollens

d)

Modus Ponens