INFERENCIA LOGICA

Presentado por: Darwin Galindez Buesaquillo & Daniel Felipe Sossa Vargas

Profesor: Uriel Hernndez Rojas

Ing. Software Nocturna

FET

A. Qu conclusin, en forma de proposicin escrita en castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla TP?

1. Este hombre o es un abogado o es un poltico. No es un abogado. (Este hombre es un poltico)

2. El puerto de Nueva Orleans o est en el golfo de Mjico o est en el ocano Atlntico. No est en el ocano Atlntico. (El puerto de Nueva Orleans est en el golfo de Mjico)

3. O la energa interna de un tomo puede cambiar con continuidad o cambia slo a saltos. La energa interna de un tomo no puede cambiar con continuidad. (la energa interna de un tomo cambia slo a saltos)

4. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la biblioteca. Juan no ha terminado el libro. (Juan no ha ido a devolver el libro hoy a la biblioteca)

5. O hace fro y llueve o el festival se celebrar al aire libre. Ni hace fro ni llueve. (el festival se celebrar al aire libre)

B. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas usando el modus tollendo ponens.

1. (1) Q v R(2) R(3) Q

2. (1) T v (P Q)(2) T(3) P Q

3. (1) T v R(2) R(3) T

4. (1) P v Q(2) Q(3) P

5. (1) (S T) v R(2) (S T)(3) R

6. (1) (P Q) v S(2) S(3) P Q

7. (1) Q v R(2) Q(3) R

8. (1) T(2) T v S(3) S

9. (1) (P Q)(2) T v (P Q)(3) T

10. (1) T v U (2) T (3) U

11. (1) S v T (2) T (3) S

12. (1) (S R) v T (2) S R (3) T

13. (1) (P Q) v R (2) P Q (3) R

C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los ejercicios que siguen. Dar una demostracin completa.

1. Demostrar: P

(1) P v Q(2) T(3) Q T(4) Q T.T (2 - 3)(5) P T.P (1 - 4)

2. Demostrar: B

(1) A v B (2) A E(3) E(4) A T.T (3 - 2)(5) B T.P (1 - 4)

3. Demostrar: M

(1) S P(2) M v N(3) S N(4) S (S) (1)(5) N P.P (3 - 4)(6) M T.P (2 - 6)

4. Demostrar: A B

(1) B(2) B D(3) A v D(4) D P.P (2 - 1)(5) A T.P (3 - 4)(6) A B AD (5)

5. Demostrar: H

(1) S(2) S v (H v G)(3) G(4) H V G) M.T.P (2 - 1)(5) H M.T.P (4 - 3)

6. Demostrar: P

(1) T P v Q(2) T(3) Q(4) T D.N (2)(5) P V Q M.P.P (1 - 4)(6) P M.T.P (5 - 3)

7. Demostrar: R

(1) Q v S(2) S(3) (R S) Q(4) Q M.T.P (1, 2)(5) (R & S) M.T.P (3, 4)(6) R (S) (5)