EJERCICIOS DE LA LECCIN 3:

LGICA CUANTIFICACIONAL

Actividad 1:
Mediante el uso de las reglas de cuantificacin, realiza las pruebas de
validez que se te presentan a continuacin.

Ejemplo:
I.
1. x (Ax Bx)
2. x (Bx Cx)
3. x (Cx Dx)
: . x (Ax Dx)

Prueba de validez:
4. Ay By 1, IU
5. By Cy 2, IU
6. Cy Dy 3, IU
7. Ay Cy 4, 5, SH
8. Ay Dy 7, 6, SH
9. x (Ax Dx) 8, GU

II.
1. x (Px ^ Qx)
2. x (Qx ^ Rx)
: . Qa ^ Qb

Prueba de validez:
3. Pa ^ Qa 1 IE
4. Qb ^ Rb 2 IE
5. Qa ^ Pa 3 Conm
6. Qa 5 Simp
7. Qb 4 Simp
8. Qa ^ Qb 6, 7 Conj
Ejercicios:
1. x (Ax Bx) 3. Aa Ba 1,IU
2. ~Ba 4. ~Aa 2,3 M.T
: . ~Aa

1. x (Ax Bx) 3. Ay By 1, IU
2. x (Bx Cx) 4. By Cy 2, IU
: . x(Ax Cx) 5. Ay Cy 3, 4 S.H
6. x(Ax Cx) 5, GU

1. x (Ax Bx) 3. Ay By 1, IU
2. x (Ax ^ Cx) 4. Ay ^ Cy 2, IE
: . x (Bx ^ Cx) 5. Cy 4, Simp.
6. Ay 4, Simp.
7. By 3, 6 M.P
8. By ^ Cy 5, 7 Conj.
9. x (Bx ^ Cx) 8, GE

1. x (Ax ^ Bx) 4. Aa ^ Ba 1, IE
2. x (Bx ^ Cx) 5. Bb ^ Cb 2, IE
3. x (Cx ^ Dx) 6. Cc ^ Dc 3, IE
: . (Ba ^ Bb) ^ Dc 7. Ba ^ Aa 4, Conm.
8. Cb ^ Bb 5, Conm.
9. Dc 6, Simp.
10. Ba 7, Simp.
11. Bb 8, Simp.
12. Ba ^ Bb 10, 11, Conj.
13. (Ba ^ Bb) ^ Dc 9, 12, Conj.