REGLAS DE INFERENCIA

1. PONENDO PONENS (Afirmando afirmo) {( PQ) P }Q

P1: P  Q P1: ~P  Q P1: (P^R)  Q P1: ~(P^~R)  ~Q
P2: P P2: ~P P2: (P^R) P2: ~(P^~R)
____________ ____________ ____________ ____________
C: Q C: Q C: Q C: ~Q

Si Luis recibe una bonificación entonces reúne lo del arriendo. Luis recibe una
bonificación, por lo tanto, Luis reúne lo del arriendo. (VALIDO)

Si Luis recibe una bonificación entonces reúne lo del arriendo. Luis reúne lo del arriendo,
por lo tanto, Luis recibe la bonificación. (INVALIDO)
P1: P  Q P1: ~P  Q P1: ~(P v ~R)  Q P1: ~(P v ~R)  (Q ^ ~S)
P2: P P2: ~P P2: ~(P v ~R) P2: ~(P v ~R)
____________ ____________ ____________ ____________
C: Q C: Q C: Q C: (Q ^ ~S)

2. TOLLENDO TOLLENS (Negando Niego¿ {(PQ)¬ Q }¬ P

P1: P  Q

P2: ¬Q

-------------

C: ¬ P

P1: P  Q P1: ~P  Q P1: ~(P v ~R)  Q P1: ~(P v ~R)  (Q ^ ~S)

P2: ~Q P2: ~Q P2: ~Q P2: ~(Q ^ ~ S)
____________ ____________ ____________ ____________
C: ~P C: ~ ~P C: ~ ~(P v ~R) C: ~ ~(P v ~R)

P1: Q  ~R

P2: R

3: ~ ~ R (DN en P2)

____________

C: ~ Q
Si Luis recibe una bonificación entonces reúne lo del arriendo, y Luis no reúne lo del
arriendo, por tanto, Luis no recibió una bonificación. (VALIDO)
Si Luis recibe una bonificación entonces Luis reúne lo del arriendo. Luis no recibió una
bonificación, por lo tanto, no reúne lo del arriendo. (INVALIDO)
EJEMPLO:

Si salgo a la calle en día par, me ponen una multa. Si me ponen una multa, no tendré como
pagarla. Si tengo hambre entonces debo salir a la calle en día par. No me ponen una multa y
tendré como pagarla, tengo hambre. POR LO TANTO, NO ME PONEN UNA MULTA.

P: Salgo a la calle en día par

Q: me ponen una multa

R: Tendré como pagarla

S: tengo hambre

P1: P Q

P2: Q ¬ R

P3: S P

P4: ¬Q

P5: R

P6: S

7: P (PP entre P3 y P6)

8: Q (PP ENTRE P1 Y 7)

9: ¬ Q (TT entre P2 y P5) CONCLUSIÓN.

3. TOLLENDO PONENS (Negando Afirmo) {( P v Q)¬ P }Q ; {( P v Q)¬ Q }P

P1: P v Q P1: P v Q
P2: ¬ P P2: ¬Q
----------- -----------
C: Q C: P

Me voy a estudiar o veo el partido. No me voy a estudiar, por lo tanto, me veo el partido.

Me voy a estudiar o veo el partido. No veo el partido, por lo tanto, me voy a estudiar.
 4. DOBLE NEGACIÓN P ↔¬(¬ P) P es equivalente a no no P
P1: P P1: ¬¬P
---------- ----------
C: ¬¬ P C: P

P es la negaciónde P
P NO es la negaciónde P
P es la negaciónde P
No ocurre que juan no renuncia. = ¬(¬ P)

P: juan renuncia.

No ocurre que juan no renuncia, por lo tanto, juan renuncia.

No ocurre que juan no renuncia. Esto es, juan renuncia.

No ocurre que juan no renuncia, equivale a juan renuncia.

EJEMPLO:

Si Luis recibe una bonificación entonces reúne lo del arriendo. Si Luis no recibe una bonificación
entonces renuncia. Luis no renuncia o se va de vacaciones. Luis no reúne lo del arriendo. Por lo
tanto, Luis se va de vacaciones.

P: Luis recibe una bonificación

Q: Luis reúne lo del arriendo

R: Luis renuncia

S: Luis se va de vacaciones

P1: P  Q P3: ¬R v S P1: P(Q v S)

P2: ¬ P  R 6: R NO ESTA NEGANDO A ~R P2: ~ ~ P ~ ~P NO ESTA AFIRMANDO A P
P3: ¬R v S ----------- 3: P (DN EN P2) ESTA AFIRMANDO A P
P4: ¬Q 4: Q v S (PP ENTRE P1 Y 3)
5: ¬ P (TT entre P1 y P4) R↔ R
6: R (PP entre P2 y 5) P1: P ^ Q NO ESTA NEGANDO A ~(P ^ Q)
7: ¬¿ R) (DN en 6) P3: ¬R v S P2: ~(P ^ Q) v ~S
8: S (TP entre P3 y 7) 6: ~ ~R ~ ~R ESTA NEGANDO A ~R 3: ~ ~ (P ^ Q) (DN EN P1) SI ESTA NEGANDO A
CONCLUISÓN ---------- ~(P^Q)
C: S 4: ~ S (TP ENTRE P2 Y 3)

R NO es la negaciónde R
R es la negación de R
Ejemplos:

1. Si Luis es inocente o Jorge miente, entonces Ricardo no es culpable. Si Ricardo NO es culpable,

el sacerdote no está muerto. El sacerdote está muerto o Luis miente, pero Luis no miente.

P: Luis es inocente

Q: Jorge miente

R: Ricardo es culpable

S: El sacerdote está muerto

T: Luis miente

( P 1∧ P 2 ∧ P 3∧ P 4 ) →
P1: ( P ∨Q ) → ∽ R

P2: ∽ R →∽ S

P3: S ∨T

P4: ∽ T

5: S (TP entre P3 y P4)

6: ∽(∽ S) (DN en 5)

7:∽ ∽ R (TT entre P2 y 6)

8: ∽( P ∨Q) (TT entre P1 y 7) Conclusión

∽( P ∨Q) : No ocurre que, Luis es inocente o Jorge miente = Luis no es inocente y Jorge no
miente Ni Luis es inocente ni Jorge miente.

Ejemplo 2: encuentre la conclusión.

P1: ∽ P ⋁ R 8: ∼ ∼ R (DN en 7)
P2:∼ R ∨ S 9: S (TP entre P2 y 8)
P3:T → ∼ S 10: ∼ ∼S (DN en 9)
P4: T ∨ P 11: ∼ T (TT entre P3 y 10)
P5: P 12: P (TP entre P4 y 11) Conclusión.
6: ∼(∼ P) (DN en P5)
7: R (TP entre P1 y 6)
Ejemplo 3:

Si esta roca es carbón y es sedimentaria, entonces esta roca es ígnea. Esta roca es carbón y es
sedimentaria, o esta roca es un metal . Si esta roca es un metal entonces no es ígnea y esta roca es
ígnea o no es de mar. Esta roca es de mar. Por lo tanto, Esta roca es Ígnea.

P: Esta roca es carbón

Q: Esta roca es sedimentaria

R: Esta roca es Ígnea.

S: Esta roca es un metal

T: Esta roca es de mar.

P1: ( P ∧Q ) → R

P2: ( P ∧Q)∨ S

P3: S →∼ R

P4: R ∨∼ T

P5: T

6: ∼ ∼T (DN en P5)

7: R (TP entre P4 y 6)

8: ∼ ∼ R (DN en 7)

9: ∼ S (TT entre P3 y 8)

10: ( P ∧Q) (TP entre P2 y 9)

11: R (PP entre P1 y 10) Conclusión

5. ADJUNCIÓN: dos premisas se conectan a través el operar Y, lo implica que

deben coexistir.
P1: P P1: (P v R) P1: ∼P P1: P
P2: Q P2: ∼Q P2: Q R P2: ∼ P
----------- ----------- ----------- -----------
C: P ^ Q C: (P v R) ^ ∼ Q C: ∼P ^ (QR) C: P ^ ∼P
Ejemplo 1: Ejemplo 2:
P1: ( ∼ P ∨S ) → R P1: ( P ∧Q ) → ∼ R
P2: ∼ R ∨T P2: R ∨ S
P3: ∼ T P3: ∼ P →∼ T
P4: H → M P4: T ∨( R ∨Q)
P5: ∼ M P5: ∼( R ∨Q)
6: ∼ H (TT entre P4 y P5) P6: Q
7: ∼ R (TP entre P2 y P3) 7: T (TP entre P4 y P5)
8:∼ ( ∼ P∨ S ) (TT entre P1 y 7) 8: ∼ ∼ T (DN en 7)
9: ∼ ( ∼ P∨ S ) ∧ ∼ H (Ad entre 6 y 8) Conclusión 9: ∼ ∼ P (TT entre P3 y 8)
10: P (DN en 9)
11: ¿) (Ad entre P6 y 10)
12: ∼ R (PP entre P1 y 11)
13: S (TP entre P2 y 12) Conclusión.
6. SIMPLIFICACIÓN.
P1: Q ∧ P P1: (Q ∧ P) P1: Q ∧ P P1: ∼ Q ∧ P
--------------- --------------- --------------- ---------------
R1: Q R1: Q R1: P R1: ∼ Q
R2: P

Ejemplo 1: Ejemplo 2:
P1: P →( R∧ ∼ T ) P1: ( P ∧Q ) →( T ∨ S)
P2: P ∨∼( S ∧Q) P2: ∼ P → M
P3: H → S P3:∼ M ∧ H
P4: M → Q P4: H →Q
P5: ( H ∧ M ) ∨ L P5: ∼ S
P6: ∼ L 6: ∼ M (S en P3)
P7: T ∨ S 7: H (S en P3)
8: ( H ∧ M ) (TP entre P5 y P6) 8: Q (PP entre P4 y 7)
9: H (S en 8) 9: P (TT entre P2 y 6)
10: M (S en 8) 10: P (DN en 9)
11: S (PP entre 9 y P3) 11: P ∧Q (Ad entre 8 y 10)
12: Q (PP entre 10 y P4) 12: T ∨ S (PP entre P1 y 11)
13: ( S ∧Q) (Ad entre 11 y 12) 13: T (TP entre P5 y 12) Conclusión
14: (S ∧Q) (DN en 13)
15: P (TP entre P2 y 14)
16: R ∧∼ T (PP entre P1 y 15)
17: ∼ T (S en 16)
18: S (TP entre P7 y 17) Conclusión.
7. SILOGISMO HIPOTETICO [ ( P →Q ) ∧ ( Q → S ) ] →(P→ S)
P1: P →Q P1: P →Q
P2:Q → S P2:Q → S
----------- P3: S →T
C: P → S P4:T → R
P5: R → U
-------------------
C: P → U
P1: P →Q P1: P →Q
P2:Q → S P2:Q → S
P3: S →T P3: S →T
P4:T → R P4:T → R
P5: R → U P5: R → U
P6: P P6: P
7: Q PP de P1 con P6 7: P → U SH entre P1, P2 P3 P4 Y P5
8: S PP P2 con 7 8: ~U PP entre P6 y 7
9: T PP P3 con 8
10: ~R
11~U

8. SILOGISMO DISYUNTIVO [ ( P ∨Q ) ∧ ( P→ S ) ∧ ( Q→ T ) ] →(S ∨T )

P1: P ∨Q

P2: P → S

P3:Q →T

-------------------

C: S ∨T

Hoy Llueve o hace sol. si hoy llueve entonces me pongo jean, pero, si hoy hace sol, me
pongo falda, por lo tanto, me pongo jean o me pongo falda.

La única forma en que yo pueda simplificar teniendo un “o” (∨¿ como conector, es que
las dos partes conectadas sean la misma:
P ∨ P=P
( P ∧ R ) ∨ ( P∧ R )=P ∧ R
 EJEMPLO:
Problema Solución 1 Solución 2:
P1( P ∧Q ) ∨(P ∧ S) 8: ( R ∨T ) ∨(R ∨T ) (SD entre P1, P2 y P3) 8:( R ∨T ) ∨(R ∨T ) (SD entre P1, P2 y P3)
P2:( P ∧Q ) →( R ∨ T ) 9: ( R ∨T ) (S de Disyunción en 8) 9: ( R ∨T ) (S de Disyunción en 8)
P3:( P ∧S ) →(R ∨ T ) 10: R (TP entre P4 y 9) 10: N → S (SH entre P6 y P7)
P4:∼ T 11: ∼ S (PP entre P5 y 10) 11: R (TP entre P4 y 9)
P5: R →∼ S 12: M (TT entre P6 y 11) 12: S (PP entre P5 y 11)
P6: M → S 13: N (TT entre P7 y 12) 13: N (TT entre 10 y 12)
P7: N → M
EJEMPLO:

P1: P ∨Q 9: M (S en 7) 9: M (S en 7)
P2:Q →(T ∨ S) 10: P ∨ R (S de 7) 10: P → M (SH entre P5 y P6)
P3:T → M 11: P → M (SH entre P5 y P6) 11: M (DN de 9)
P4: S → N 12: M (DN de 9) 12: ~P (TT 10 y 11)
P5: P → R 13: ~P (TT 11 y 12) 13: Q (TP en P1 y 12)
P6: R → M 14: Q (TP en P1 y 13) 14: T v S (PP entre P2 y 13)
P7: M ∧( P ∨ R) 15: T v S (PP entre P2 y 14) 15: ~M v N (SD entre P3, P4 y 14)

P8: M ∧ L 16: ~M v N (SD entre P3, P4 y 15) 16: M (S en P8)

17: M (S en P8) 17: ~ ~M (DN de 16)
18: ~ ~M (DN de 17) 18: N (TP entre 15 y 17)
19: N (TP entre 16 y 18)
20: N ∧ ( P ∨ R ) (Ad entre 10 y 19)
9. ADICIÓN P →( P∨ Q) Q: Es cualquier cosa.
P1: P P1: P P1: P P1:( R ∧ T )
C: P ∨T C: P ∨(T ∧ R) C: P ∨(R ∨ T ) C: ( R ∧ T )∨( S → R)

EJEMPLO:

P1: (Q ∨ ( T → S )) → P
P2:Q ∨T
P3:T → (R ∨ H )
P4: R
5: R ∨ H (ADD en P4)
6: ( R ∨ H ) (DN en 5)
7: T (TT entre P3 y 6)
8: Q (TP entre P2 y 7)
9: Q ∨(T → S) (ADD en 8)
10: P (PP entre P1 y 9)

10. 1 ley de Morgan ( P ∨Q ) ⇔ P∧ Q

P1: ( P ∨Q ) P1: ( P∨ Q ) P1: ( P∨ Q ) P1: ( P ∨ Q )
C: P ∧ Q C: P ∧ Q C: P ∧ Q C: P ∧ Q
C: P ∧ Q C: P ∧Q C: P ∧Q

EJEMPLO: No ocurre que, Luis es casado O la selección Colombia va al mundial

ES EQUIVALENTE: Luis NO es casado Y la selección Colombia NO va al mundial.

11. 2 ley de Morgan ( P ∧Q ) ⇔ P∨ Q

P1: ( P ∧Q ) P1: ( P∧ Q ) P1: ( P∧ Q ) P1: ( P ∧ Q ) P1: P ∨Q
C: P ∨ Q C: P ∨ Q C: P ∨ Q C: P ∨ Q C: ( P ∧ Q)
C: P ∨ Q C: P ∨Q C: P ∨Q

EJEMPLO: No ocurre que, el reloj de la torre está averiado y Carlos es Inocente

ES EQUIVALENTE: El reloj de la torre NO está averiado O Carlos NO es inocente

EJEMPLOS

P1: ( P ∧Q ) → (R ∨ S) P1: ( P ∧Q ) → (R ∨ S)
P2: M →( P ∨T ) P2: M →( P ∨T )
P3:T → S P3:T → S
P4: S ∧ M P4: S ∧ M
P5: L ∨( H ∧ S) P5: L ∨( H ∧ S)
P6: L → M P6: L → M
P7:( H ∧ S)→ N P7:( H ∧ S)→ N
P8: N ∧Q P8: N ∧Q
9: N (S en P8) 9: N (S en P8)
10: Q (S en P8) 10: Q (S en P8)
11: M ∨ N (SD entre P5, P6 Y P7) 11: L → ( P ∨T ) (SH entre P2 y P6)
12: M (TP entre 9 y 11) 12:( P ∨T ) ∨ N (SD entre P5 P7 y 11)
13: P ∨T (PP entre P2 y 12) 13: P ∨T (TP entre 9 y 12)
14: S (S en P4) 14: S (S en P4)
15: T (TT entre P3 y 14) 15: T (TT entre P3 y 14)
16: P (TP entre 13 y 15) 16: P (TP entre 13 y 15)
17: P ∧Q (Ad entre 10 y 16) 17: P ∧Q (Ad entre 10 y 16)
18: (R ∨ S) (PP entre P1 y 17) 18: (R ∨ S) (PP entre P1 y 17)
19: R ∧ S (1LDM en 18) 19: R ∧ S (1LDM en 18)

EJEMEPLO 2: EJEMPLO 3:
P1: P →(Q∧ ( T → S )) P1: ( H → S) ∨( S ∧T )
P2: Q ∨T P2:( H ∧ T ) → S
P3:T →(R ∧ H ) P3: T ∨(P ∧Q)
P4: R P4: P ∧ M
5: R ∨ H (ADD en P4) P5: H → M
6: (R ∧ H ) (2 LDM en 5) 6: M (S en P4)
7: T (TT entre P3 y 6) 7: P (S en P4)
8: Q (TP entre P2 y 7) 8: P ∨ Q (ADD en 7)
9: Q ∨ ( T → S ) (ADD en 8) 9: (P ∧Q) (LDM en 8)
10: ( Q ∧ ( T → S ) ) (2LDM en 9) 10: T (TP entre P3 y 9)
11: P (TT entre P1 y 10) 11: H (TT entre P5 y 6)
12: H (DN en 11)
13: H ∧ T (Ad entre 10 y 12)
14: S (PP entre P2 y 13)
15: S (DN en 14)
16: S ∨ T (ADD en 15)
17: ( S ∧T ) (LDM en 16)
18: H → S (TP entre P1 y 17)

EJEMPLO 4: 6: P (S en P4)
P1: ( H → S) ∨( S ∨T ) 7: M (S en P4)
P2:( H ∨ T ) → S 8: H (TT entre P5 y 7)
P3: T ∨(P ∧Q) 9: P ∨ Q (ADD en 6)
P4: P ∧ M 10: ( P ∧Q )(LDM en 9)
P5: H → M 11: T (TP P3 y 10)
12: H (DN en 8)
13: H ∨ T (ADD en 12)
14: S (PP entre P2 y 13)
15: S (DN en 14)
16: S ∧ T (Ad entre 11 y 15)
 17: ( S ∨T ) (LDM en 16)
18: H → S (TP entre P1 y 17)

13. DILEMA DESTRUCTIVO

{( P → S ) ∧ ( Q → R ) ∧ ( S ∨ R ) }→ ( P ∨ Q )

P1: P → S P1: P → S P1: P → S P1: (P ∧T )→ S

P2: :Q → R P2: :Q → R P2: :Q → R P2: :Q →(R∨ T )
P3: S ∨ R P3: S ∨ R P3: S ∨ R P3: S ∨ ( R ∧ T )= S ∨ (R ∨T )
------------------ ------------------ ------------------ ------------------
C: P ∨ Q C: P ∨ Q C: P ∨ Q C:( P ∧T )∨ Q

EJEMPLO: Si llueve entonces me pongo botas. Si hace sol me pongo bermuda. No me pongo botas
o no me pongo bermuda; por lo tanto, No llueve o No hace sol.

14. LEY DE LOS BICONDICIONALES

( P ⇔Q ) ⇔ {(P⇒ Q)∧(Q⇒ P) }
P1: P ⇔ Q P1: P ⇔ Q P1: P ⇔Q P1: P ⇔ Q
---------------- ---------------- ---------------- ----------------
C: ( P →Q ) ∧( Q→ P) 2: ( P →Q ) 2: ( P →Q ) 2: (Q → P)
3: (Q → P)
EJEMPLO

P1: P → H P1: P → H
P2: Q ⇔ P P2: Q ⇔ P
3: Q → P (LB en P2) P3: Q → S
4:Q → H (SH entre P1 y 3) 4: Q → P (LB en P2)
5: P →Q (LB en P2)
6: Q → H (SH entre P1 y 4)
7: P → S (SH entre P3 y 5)

P1: P →Q
P2:Q → P
-------------- { ( P →Q ) ∧ ( Q → P ) } →(Q ⇔ P)
C: Q ⇔ P
15. CONTRA-RECIPROCO
( P →Q ) ⇔ ( Q→ P)

P1: P → Q P1: P → Q P1: P →Q P1: P →Q

---------------- ---------------- ---------------- ----------------
C: Q → P C: Q → P C: Q → P C: Q → P

16. EQUIVALENTE DE LA IMPLICACIÓN

( P →Q ) ⇔ ( P ∨Q)

P ∨Q transforma en P → Q
P ∨Q=Q ∨ P
Q ∨ P transforma en Q → P
P ∨ P=¿ P ∨Q
Si Luis recibe una bonificación, paga el arriendo. Es los mismo que, si Luis no paga el arriendo,
Luis no recibe bonificación.

EJEMPLO:

P1: Q → P 5: R →Q (CR en P2) 5: P → Q (CR en P1)

P2: Q → R 6: R → P (SH entre P1 y 5) 6: P → R (SH entre P2 y 5)
P3: ( P ∧ R)∨ S 7: P → R (CR en 6) 7: P ∨ R (EI en 6)
P4: ( S ∨T ) → R 8: P v R (EI en 7) 8: (P ∧ R) (LDM en 7)
9: (P ∧ R) (LDM en 8) 9: S
10: S (TP entre P3 y 9) 10: S ∨T
11: S ∨T (ADD en 10) 11: R
12: R (PP entre P4 y
11)