INFERENCIA LÓGICA

NOCIÓN DE INFERENCIA LÓGICA. - Es una estructura lógica de proposiciones que

consiste en partir de una o más proposiciones llamadas premisas para derivar de ellas
mediante reglas de deducción, una nueva proposición llamada conclusión.

Toda inferencia o razonamiento deductivo tiene los siguientes elementos.

a) Premisa. - Es toda aquella proposición o proposiciones que sirven de base o punto de

partida a toda inferencia.

b) Conclusión. - Es aquella proposición que se afirma sobre la base de las premisas.

c) Reglas lógicas, - Son procedimientos que nos indican como ir de las premisas para llegar
a la conclusión.

Ejm. a) Algunos Ingenieros, son Contadores (Premisa)

 Algunos Contadores son Ingenieros (Conclusión)

b) Ningún político es honesto (Premisa mayor)

Algunos políticos son alcaldes (Premisa menor)

 Algunos Alcaldes no son honestos (Conclusión)

Tipos de inferencia.- La lógica clásica o tradicional reconoce dos tipos de inferencia.

1) Inferencia Inmediata.- Son estructuras de proposiciones donde la conclusión se

desprende lógicamente a partir de una sola premisa.

2) Inferencia Mediata.- Son estructuras lógicas de proposiciones donde la conclusión se

desprende lógicamente a partir de dos o más premisas.

Reglas de Inferencia Lógica y demostración

1) Modus Ponendo Ponens (nombre latino) (afirmando se afirma)

Es la regla de inferencia que partiendo de dos premisas: la primera una condicional y la

segunda el antecedente de la proposición condicional, concluye afirmando el consecuente
de la proposición condicional.

Esquemáticamente esta regla de inferencia es:

1) 𝐴→𝐵 (Premisa) P
2) 𝐴 (Premisa) P

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

3) B (Conclusión) PP o {(𝐴 → 𝐵)⋀𝐴} → 𝐵

Si se verifica A, entonces se verifica B, y se verifica A. La conclusión es que se verifica B
Ejm. Premisa 1: Si Él está en la biblioteca, entonces Él está estudiando.
Premisa 2: Él está en la biblioteca.
Conclusión: Él está estudiando.
 Simbólicamente
P: Él está en la biblioteca Q: Él está estudiando
1) 𝑃 → 𝑄 (Premisa) P
2) 𝑃 (Premisa) P

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

3) 𝑄 (Conclusión) PP1,2

Nota -Se pueden usar proposiciones atómicas y moleculares

-No importa el orden de las premisas, es decir:

P1: 𝑃

P2: 𝑃 → ~𝑄

…………………………

C; ~𝑄 PP2,1

Demostrar que las conclusiones son consecuencias lógicas de las premisas dadas en cada

uno de los ejemplos que sigue

1)Demostrar: E

1)𝐴 → 𝐵 ∧ 𝐶 P

2)𝐵 ∧ 𝐶 → 𝐸 P

3)A P

………………………………………

4)𝐵 ∧ 𝐶 PP1,3

5) E PP2,4

2) DEMOSTRAR : P  Q 3) DEMOSTRAR : B
1)T → ( P  Q ) 1) C
2)T 2) C → D
................................ 3) D→ B
3)( P  Q ) ................................
4) P  Q 4) D
5) B
4)DEMOSTRAR: Q 5) DEMOSTRAR: E 6) DEMOSTRAR: ~~𝑆
1)T→S⋀R 1) A→B⋀C 1) K→~𝑇
2)T 2) B⋀C→E 2) ~𝑇 → 𝑆
3)S⋀R→~~𝑄 3) A 3) K
´´´´´´´´´´´´´´´´´´´´´´´´´´´´
1)T→S⋀R P 4) B⋀C PP1.3
2)T P 5) E PP2,4
3)S⋀R→~~𝑄 P
…………………………….
4) S⋀R PP1,2
5)~~𝑄 PP3,4
6)Q DN5

2) DOBLE NEGACIÓN (DN) .- Esta regla permite pasar de una sola premisa a la conclusión, la
premisa debe ser una doble negación de una proposición y la conclusión es la proposición dada o
en forma inversa.

Premisa 1:~~𝑅 P

…………………………………

Conclusión: 𝑅 C (DN1)

Ejm.

a) DEMOSTRAR: ~~𝑆 b) DEMOSTRAR: Q

1. 𝑀 → ~𝑃 P 1. ~𝐽 → 𝑆⋁𝑇
2. ~𝑃 → 𝑆 P 2. ~𝐽
3. M P 3. 𝑆⋁𝑇 → ~~𝑄

………………………….. …………………

4. ~𝑃 PP1,3
5. 𝑆 PP2,4
6. ~~𝑆 DN5

3) MODUS TOLLENDO TOLLENS (TT) (Negando se Niega).- Esta regla de inferencia permite pasar
de dos premisas una de ellas una proposición condicional, y la otra la negación del consecuente de
la proposición condicional a la conclusión que es la negación del antecedente de la proposición
condicional. Simbólicamente se tiene:

Premisa 1: 𝐴 → 𝐵 P

Premisa 2: ~𝐵 P o { (𝐴 → 𝐵)⋀~𝐵 } → ~𝐴

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

Conclusión: ~𝐴 TT1,2
Nota. El antecedente o el consecuente pueden ser proposiciones moleculares

Ejm.

1. Si nos despedimos ahora, entonces no cumpliremos nuestro plan.

Cumpliremos nuestro plan

Por tanto, no nos despedimos ahora.

DEMOSTRAR: 𝑥 ≠ 𝑐 DEMOSTRAR: 𝐹 DEMOSTRAR: 𝑥 = 0

1. 𝑦=𝑥→𝑏=𝑥 p 1. G→H P 1. 𝑥 ≠ 0 → 𝑦 = 1 p
2. 𝑦≠𝑏→𝑏≠𝑥 p 2. ~𝐺 → ~~𝐹 P 2. 𝑥 = 𝑦 → 𝑦 = 𝑤 p
3. 𝑥=𝑐→𝑦=𝑥 p 3. ~𝐻 P 3. 𝑦 = 𝑤 → 𝑦 ≠ 1 p
4. 𝑦≠𝑏 p …………………….... 4. 𝑥 = 𝑦 p

………………………….... 4. ~G TT1,3 ………………………………

5. 𝑏 ≠ 𝑥 pp2,4 5. ~~F PP2,4

6. 𝑦 ≠ 𝑥 TT1,5 6. F DN5
7. 𝑥 ≠ 𝑐 TT3,6

DEMOSTRAR: 𝐴 DEMOSTRAR: 𝐹
1.~𝐴 → ~𝐵 P 1. 𝐺 → 𝐻 P
2. ~~𝐵 P 2. ~𝐺 → ~~𝐹 P
…………………………... 3.~𝐻 P
………………………

DEMOSTRAR: ~𝑡

…………………………

5. ~(𝑞⋁𝑟) TT12

6. ~𝑠 TT35

7. ~𝑡 PP46
4)Regla de Adjunción (A).- Esta regla nos permite pasar de dos premisas que son verdaderas a la
conclusión que es una proposición conjuntiva

Simbólicamente: 1. Q∨R P

Premisa 1: 𝐴 P 2. T∨S P

Premisa 2: 𝐵 P ………………….

…………………………….. 3. (Q∨R) ∧ (T∨S) A1,2

Se puede concluir: 𝐴 ∧ 𝐵 A1,2

O se puede concluir: 𝐵 ∧ 𝐴 A2,1

(El orden es indiferente)

5)Regla de Simplificación (S).- Esta regla es contraria a la adjunción y parte de una premisa que es
una conjunción y obtiene como conclusión a cualquiera de las dos proposiciones que forma la
conjunción.

Simbólicamente:

Premisa 1: 𝐴 ∧ 𝐵 P Premisa 1: 𝐴 ∧ 𝐵 P

……………………………………. ó …………………………………….

Conclusión : A S1 Conclusión : B S1

DEMOSTRAR: 𝐴⋀𝐶 DEMOSTRAR: A⋀B DEMOSTRAR: ~𝑆⋀𝑄

1.𝐴⋀~𝐵 P 1. 𝐶 → 𝐴 P 1. ~𝑆 → 𝑄 P
2. ~𝐶 → 𝐵 P 2. 𝐶 P 2. ~(𝑇⋀𝑅) P
…………………………... 3. 𝐶 → 𝐵 P 3. 𝑆 → 𝑇⋀𝑅 P
……………………… …………………………….

3. ~𝐵 S1 4. A PP1,2
4. C TT2,3 5. B PP3,2
5. A S1 6. A⋀B A4,5
6. A⋀C A5,4
6) Modus Tollendo Ponens (TP).- Es la regla que permite pasar de dos premisas:

Premisa 1: Proposición disyuntiva

Premisa 2: Negación de uno de los miembros de la disyunción

Conclusión: Es la afirmación del otro miembro de la disyunción.

Simbólicamente Simbólicamente

1:P⋁Q P 1:P⋁Q P

2: ~𝑃 P ó 2: ~𝑄 P

………………………. ……………………….

3: Q TP1,2 3: P PP1,2

Negando (tollendo) un miembro de una disyunción se afirma (ponens) el otro miembro. Se usa
también en proposiciones atómicas o moleculares

Demostrar que las conclusiones son consecuencia de las premisas dadas en los ejercicios que
siguen. Dar una demostración completa.

DEMOSTRAR: R DEMOSTRAR: B
1. Q⋁S P 1. ∁ ⋀~𝐷 → ~𝐴 P
2. ~𝑆 P 2. (A⋁B) ⋀ C P
3.~(𝑅⋀𝑆) → ~𝑄 P 3. ~𝐷 P
……………………. ……………………………….
4. Q TP1,2 4. C S2
5. ~~(𝑅⋀𝑆) TT3,4 5. 𝐶⋀~𝐷 A4,3
6. 𝑅⋀𝑆 DN5 6. ~𝐴 PP1,5
7. R S6 7. A⋁B S2
8. B TP7,6

OTRAS REGLAS DE INFERENCIA

7) Ley de Adición (LA) 8) Ley del silogismo Hipotético(SH) 9) Ley del Silogismo Disyuntivo(SD)

1. P P 1. 𝑃 → 𝑄 P 1. P⋁Q P 1. P⋁Q P
………………………. 2. 𝑄 → 𝑅 P 2. P→S P 2. P→S P
2.P⋁Q LA1 …………………………… 3. Q→R P 3. Q→R P
Q: Cualquier proposición 3. 𝑃 → 𝑅 SH12 ……………… ……………..

4. S⋁R SD1,2,3 4. R⋁S SD1,2,3

10) Ley de simplificación 11) Leyes Conmutativas

Disyuntiva (DP) -Con respecto a la conjunción -Con respecto a la disyunción

1.P⋁ P P 1. P⋀Q P 1. P⋁Q P

…………………. ………………………….. ………………………….
2.P DP1 2. Q⋀P LC1 2. Q⋁P LC1
12) Leyes de Morgan

a) ~𝑃⋀~𝑄 b) ~(𝑃⋁𝑄) c) ~𝑃⋁~𝑄 d) ~(𝑃⋀𝑄) e) P⋀Q f) ~(𝑃⋁~𝑄)

………… …………. …………… ……………. ……….. ………….

~(𝑃⋁𝑄) ~𝑃⋀~𝑄 ~(𝑃⋀𝑄) ~𝑃⋁~𝑄 ~(~𝑃⋁~𝑄) ~𝑃⋀𝑄

Ley de las proposiciones bicondicionales (LB)

a) P↔Q P b) P↔Q P c) P↔Q P d) (P→Q) P

………………… ………………… ………………….. (Q→P) P

P→Q LB Q→P LB (P→Q)⋀( Q→P) LB …………….

P↔Q LB

EJERCICIOS

Dar demostraciones formales de los siguientes razonamientos

1) Demostrar: 𝑥 = 𝑤 2) Demostrar: ~𝐾 3) Demostrar: 𝑅⋁~𝑆

1. 𝑥 = 𝑦 → 𝑥 = 𝑧 p 1. 𝑃 → 𝑆 P 1. S ⋀ Q P
2. 𝑥 = 𝑧 → 𝑥 = 𝑤 p 2. 𝑃 ⋀ 𝑄 P 2. 𝑇 → ~𝑄 P
3. 𝑥 = 𝑦 ⋀ 𝑥 = 0 p 3. 𝑆 ⋀ 𝑅 → ~𝐾 P 3. ~𝑇 → 𝑅 P

´´´´´´´´´´´´´´´´´´´´´´´´´´´ 4. 𝑄 → 𝑅 P ´´´´´´´´´´´´´´´´´´´´´´´´

4. 𝑥 = 𝑦 S3 ´´´´´´´´´´´´´´´´´´´´´´´´´ 4. Q S1
5. 𝑥 = 𝑧 PP1,4 5. 𝑃 S2 5. ~𝑇 TT2,4
6. 𝑥 = 𝑤 PP2,5 6. 𝑆 PP1,5 6. R PP3,5
7.Q S2 7. 𝑅 ⋁ ~𝑆 LA6
8.R PP4,7
9. S ⋀ R A6,8
10. ~𝐾 PP3,9

4) Demostrar: 𝑧 > 6 ⋁ 𝑧 < 𝑦 5) Demostrar: 5𝑥 − 4 = 3𝑥 + 4 → 𝑥 = 4

1. 𝑥 > 𝑦 → 𝑥 > 𝑧 p 1. 5𝑥 − 4 = 3𝑥 + 4 → 5𝑥 = 3𝑥 + 8 p
2. ~(𝑧 > 6) → ~(𝑥 > 𝑦 → 𝑧 < 7) p 2. 2𝑥 = 8 → 𝑥 = 4 p
3. 𝑥 > 𝑧 → 𝑧 < 7 p 3. 5𝑥 = 3𝑥 + 8→2𝑥 = 8 p
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
4. 𝑥 > 𝑦 → 𝑧 < 7 SH1,3 4- 5𝑥 − 4 = 3𝑥 + 4 →2𝑥 = 8 SH1,3
5. 𝑧 > 6 TT2,4 DN5 5. 5𝑥 − 4 = 3𝑥 + 4 → 𝑥 = 4 SH42
6. 𝑧 > 6 ⋁ 𝑧 < 𝑦 LA5
6) Demostrar: ~(𝑥 ≮ 𝑧) ⋁ ~ (𝑧 ≠ 6) Ex 7) Demostrar: ∼ 𝑇⋀𝑆
1. 𝑥 > 5 ⋁ 𝑦 ≮ 6 p 1. 𝑃 → ~𝑄 P
2. 𝑦 ≮ 6 → 𝑥 < 𝑧 p 2. 𝑃 ⋁ 𝑅 P
3. 𝑥 > 5 → 𝑦 < 𝑧 p 3. 𝑅 → ~𝑄 P
4. y≮z ⋀ z=6 p 4. 𝑇 → 𝑄 P
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ 5. S
5.𝑦 < 𝑧 ⋁ 𝑥 < 𝑧 SD1,3,2 ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
6. y≮z S4 6. ~𝑄 ⋁ ~𝑄 SD2,1,3
7. 𝑥 < 𝑧 TP5,6 7. ~𝑄 DP6
8. ~(𝑥 ≮ 𝑧) DN7 8. ~𝑇 TT4,7
9. ~(𝑥 ≮ 𝑧) ⋁ ~ (𝑧 ≠ 6) LA8 9. ~𝑇⋀𝑆 A8,5

8) Demostrar: 𝑥 2 = 9 9) Demostrar: 𝑦 ≮ 4⋀𝑥 < 𝑦

1. 𝑥 = (+3) → 2𝑥 2 = 18 P 1. 𝑥 > 𝑦 ⋁ 𝑥 < 4 P

2. 𝑥 = (+3) ⋁ 𝑥 = (−3) P 2. 𝑥 < 4 → 𝑥 < 𝑦 ⋀ 𝑦 ≮ 4 P
3. 𝑥 = (−3) → 2𝑥 2 = 18 P 3. 𝑥 > 𝑦 → 𝑥 = 4 P
4. 2𝑥 2 = 18 → 𝑥 2 = 9 P 4. 𝑥 ≠ 4 P
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
5. 2𝑥 2 = 18 ⋁ 2𝑥 2 = 18 SD2,1,3 5. 𝑥 < 4 ⋁ 𝑥 > 𝑦 LC1
6. 2𝑥 2 = 18 DP5 6. (𝑥 < 𝑦 ⋀ 𝑦 ≮ 4 )⋁ 𝑥 = 4 SD5,2,3
7. 𝑥 2 = 9 PP4,6 7. 𝑥 < 𝑦 ⋀ 𝑦 ≮ 4 TP6,4
8. 𝑦 ≮ 4 ⋀ 𝑥 < 𝑦 LC7

10) Demostrar:~𝐾 11) Demostrar:~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3)

1. 𝐾 → 𝑃 ⋀ 𝑆 P 1. 2𝑥 = 6 ↔ 𝑥 = 3 P
2. 𝑄 →∼ 𝑃 P 2. 2𝑥 = 8 ↔ 𝑥 = 4 P
3. 𝑅 →∼ 𝑆 P 3. 2𝑥 = 6 ⋁ 𝑥 = 4 P
4. 𝑅 ⋁ 𝑄 P ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ 4. 2𝑥 = 6 → 𝑥 = 3 LB1
5.∼ 𝑆 ⋁ ~𝑃 SD4,3,2 5. 𝑥 = 4 → 2𝑥 = 8 LB2
6. ~(𝑆 ⋀ 𝑃) LM5 6. 𝑥 = 3 ⋁ 2𝑥 = 8 SD3,4,5
7. ~𝐾 TT1,6 7. 2𝑥 = 8 ⋁ 𝑥 = 3 LC6
8. ~(2𝑥 ≠ 8 ⋀ 𝑥 ≠ 3 DN7 LM7
EJERCICIOS PROPUESTOS

(1) DEMOSTRAR : T (2) DEMOSTRAR : S  T (3) DEMOSTRAR : P

1) P → Q  P 1) R → (P  Q) 1)T → (Q  P)
2)Q  → S 2) P  Q 2)(T )
3)S 3) R  S 3)Q
4P ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
´´´´´´´´´´´´´´´´´´´´´´´´´´´´
(6) DEMOSTRAR : ( P  Q)
(4) DEMOSTRAR : S (5) DEMOSTRAR : S 1) R  S
1)( P  Q) 1)P → (Q  R ) 2)Q → (S  R)
2)( R  S ) → T ) 2)P 3)U  T PC
3) P 3) R → ( S  R ) 4)T → P
4)R 4)Q → R 5)U → P
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´
OJO:∼T ES ∼Q en (4)

(7) DEMOSTRAR : S (8) DEMOSTRAR : T  (R  P)

1) P  Q 1)P  S
2)( P → R)  (Q → S ) 2) R → (S  P)
3)R 3) R  Q
´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´ ´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´´