UNIDAD VI: EJERCICIOS RESUELTOS DE PRUEBA DE VALIDEZ E
INVALIDEZ
Catedrática: Ing. CRISTELA FUENTES

INDICACIONES:
Los invito a revisar los ejercicios resueltos de la guía de ejercicios de Reglas de Inferencia y de
Reemplazo, los cuales son ejercicios tomados del libro: “Introducción a la Lógica”, autor del libro:
Irving Copi.
I. Para cada uno de los siguientes argumentos, enunciar la regla de inferencia por la cual la conclusión se sigue de las premisas.
Ejercicio No. 5
FORMA ARGUMENTAL
O ⊃ [(P ⊃ Q) ·(Q ⊃P)]
∴O ⊃(P ≡ Q)

Ejercicio No. 10
FORMA ARGUMENTAL
[C · (D · ∼E)] · [(C · D) · ∼E]
∴[(C · D) · ∼E] · [(C · D) · ∼E]

REGLAS DE INFERENCIA Y REEMPLAZO
Equivalencia Material (Equiv)
(P ≡ Q) ≡ [(P ⊃ Q) ·(Q ⊃P)] …ver más…

O ⊃ P
4. Q ⊃ N
5. ∼ O v P
6. ∼ Q v N
7. ∼ O v ∼P
8. ∼ Q v ∼N
9. ∼ O . ∼P

REGLAS DE INFERENCIA Y REEMPLAZO

Simplificación en 1
Simplificación en 2
Implicación material en 3
Implicación material en 4
Doble Negación en 5
Doble Negación en 6
Teorema de Morgan en 7
∼ O v ∼P ≡ ∼( O v P)
∼( O v P) ≡ ∼ O . ∼P

10. ∼ Q . ∼N

Teorema de Morgan en 8
∼ Q v ∼N ≡∼( Q v N)
∼( Q v N) ≡ ∼ Q . ∼N

11. ∼P
12. ∼Q
13. ∼ Q . ∼P

Simplificación en 9
Simplificación en 10
Conjunción en 11 y 12
∼P
∼Q
∴∼ Q . ∼P

14. ∼( Q v P)
15. ∼ Q v P

Teorema de Morgan en 13
Doble negación en 14
∼( Q v P) ≡ ∼Q v ∼P
∼(∼P) ≡ P

4
LOGICA PROPOSICIONAL

UNIDAD VI: EJERCICIOS RESUELTOS DE PRUEBA DE VALIDEZ E
INVALIDEZ
Catedrática: Ing. CRISTELA FUENTES

Ejercicio No. 10
FORMA ARGUMENTAL
1. [H v (Iv J)] ⊃ (K ⊃ J)
2. L ⊃ [I v (J v H)]
∴(L · K) ⊃ J
3. L ⊃ [H v (I v J)]
4. (K ⊃ J) ⊃ L

5. L ⊃(K ⊃ J)
6. (L ⊃K) ⊃ J
7. (L.K) ⊃ J

REGLAS DE INFERENCIA Y REEMPLAZO

Asociatividad en 2
Silogismo hipotético en 1 y 3
[H v (Iv J)] ⊃ (K ⊃ J)
L ⊃ [H v (I v J)]
∴ (K ⊃ J) ⊃ L
Conmutativa en 4
Asociativa en 5
Exportación en 6
(L ⊃K) ⊃ J≡(L.K) ⊃ J

VII. Construir una prueba de validez para cada uno de los siguientes argumentos, usando en cada caso la notación sugerida.
5. Si el papel tornasol se vuelve rojo, entonces la solución es un óxido. Luego, si el papel se vuelve rojo, entonces o la solución es un óxido o hay algo que anda