Reglas De Inferencia

Introducción

En el presente trabajo hemos realizado el proceso de validez e invalidez, se pretende desarrollar y dar a conocer las pruebas que se realizan para probar la validez o invalidez de un argumento mediante el desarrollo de los ejercicios número 5 y número 6 de la guía propuesta, por ser grupo impar, realizamos los ejercicios impares donde estamos efectuando su resolución a través de las reglas de inferencia.

Objetivos

Objetivo General:

• Demostrar el proceso de resolución de valides o invalidez de los ejercicios correspondientes, haciendo uso de las reglas de inferencias así a través de estas reglas podemos llegar a la conclusión de forma veraz y clara ahorrando tiempo y espacio.

Objetivos Específicos:

• Hacer uso de las 9 reglas de inferencias para hacer una verificación y certificación de la validez o invalidez de los ejercicios desarrollados.

• Comprobar que aparte de las tablas de la verdad también hay un proceso más fácil para poder generar y comprobar la validez e invalidez de los ejercicios.

Ejercicio V

• Construya una prueba formal de validez para cada uno de los siguientes argumentos.

Ejercicio No 1.

1. A  B

2. A v (C • D)

3. B • E / C

4. B ----------- 3, Simp.

5. A ----------- 1,4 M.T

6. C • D ----------- 2,5 S.D

7. C ------------ 6 Simp.

Solución:

B • E

 B

A  B

B

 A A v (C • D)

A

 C • D C • D

 C

Ejercicio No 3.

1. (M • N)  (O  N)

2. N  M

3. M / O

4. N ---------- 2,3 M.T.

5. M • N ---------- 3,4 Conj.

6. O  N ---------- 1,5 M.P.

7. O ---------- 6,4 M.T.

Solución:

N  M

M

 N M

N

 M • N (M • N)  (O  N)

M • N

 O  N O  N

N

 O

Ejercicio No 5.

1. (Q  R) • (S  T)

2. (U  V) • (W  X)

3. Q v U /  R v V

4. Q  R ---------- 1, Simp.

5. U  V ---------- 2, Simp.

6. R v V --------- 4,5,3, D.C.

Solución:

(Q  R) • (S  T)

Q  R (U  V) • (W  X)

 U  V (Q  R) • (U  V)

Q v U

 R v V

Ejercicio No 7.

1. A  B

2. C  D

3. A v C /  (A • B) v (C • D)

4. A  (A • B) ----------- 1,3 Abs.

5. C  (C • D) ---------- 2,3, Abs.

6. (A • B) v (C • D) ---------- 4,5,3, D.C.

Solución:

A  B

A v C

 A  (A • B) C  D

A v C

 C  (C • D) [A  (A • B)] • [C  (C • D)]

A v C

(A • B) v (C • D)

Ejercicio No 9.

1. J  K

2. K v L

3. (L • J)  (M • J)

4. K / M

5. L ----------- 2,4 S.D.

6. J ----------- 1,4 M.T.

7. L • J ----------- 5,6 Conj.

8. M • J ----------- 3,7 M.P.

9. M ----------- 8 Simp.

Solución:

K v L

K

 L J  K

K

 J L

J

 L • J

(L • J)  (M • J)

L • J

 M • J M • J

 M

Ejercicio VI

• Construya una prueba formal de validez para cada uno de los siguientes argumentos, usando las abreviaturas sugeridas en cada caso.

Ejercicio No 1.

Si gana Gertrudis o Heriberto, entonces pierden tanto Juana como Kenneth. Gertrudis gana. Por lo tanto, pierde Juana.

(G: Gertrudis gana, H: Heriberto gana, J: Juana pierde, K: Kenneth pierde).

1. (G v H)  (J • K)

2. G /  J

3. G v H -------- 2 Ad.

4. J • K -------- 1,3 MP.

5. J --------- 4, Simp.

Solución:

G

 G v H (G v H)  (J • K)

G v H

 J • K J • K

 J

Ejercicio No 3.

Si Brown recibió el cable, entonces tomó el avión; y si tomó el avión, entonces no llegará

...