LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”

CENTRO PREUNIVERSITARIO
TEMA: REGLAS DE INFERENCIA
CEPU CICLO II-2023

REGLAS DE INFERENCIA
D. Modus Ponendo Tollens (MPT).
Una regla de inferencia es un mecanismo formal Establece que, si no es posible que dos
finito, comúnmente presentado en forma de términos sean simultáneamente
esquema, que permite obtener una formula a partir verdaderos; y uno de ellos es verdadero;
de una o más formulas (un número finito de ellas) entonces se puede inferir que el otro
a las que llamamos sus premisas. Además, el término no puede ser verdadero.
mecanismo, como relación entre una formula y
sus premisas, debe ser decidible. Usualmente cada Su forma simbólica es:
regla de inferencia se presenta en forma Premisa 1: 𝑃∆𝑄
esquemática; es decir, cada regla es en realidad un Premisa 2: 𝑃
esquema o forma de regla de inferencia. La Conclusión: ~𝑄
fórmula que se obtiene de las premisas por medio Su forma implicativa es:
de una regla de inferencia, se dice que es una [(𝑃 ∆ 𝑄) ∧ 𝑃] → ~𝑄
inferencia, conclusión o consecuencia, de las
premisas por medio de esa regla de inferencia. E. Modus Tollendo Ponens (MTP).
A. Modus Ponendo Ponens (MPP).
El nombre modus ponendo ponens se puede Su forma simbólica es:
explicar de la siguiente manera: Esta regla de Premisa 1: 𝑃∆𝑄
inferencia es el método (modus), que afirma Premisa 2: ∼𝑃
(ponens) el consecuente, afirmando Conclusión: 𝑄
(ponendo) el antecedente. Su forma implicativa es:
[(𝑃 ∆ 𝑄) ∧ ∼ 𝑃] → 𝑄
Su Forma simbólica es:
Premisa 1: P → Q F. Ley del Silogismo Hipotético (SH)
Premisa 2: P A veces también llamado argumento
Conclusión: Q cadena, regla de cadena, o el principio de
Su forma implicativa es: transitividad de la implicación.
[(𝑃 → 𝑄) ∧ 𝑃 ] → 𝑄
Su forma simbólica es:
B. Doble negación (DN) Premisa 1: 𝑃 → 𝑄
La regla de doble negación es una regla Premisa 2: 𝑄 → 𝑅
simple que permite pasar de una premisa Conclusión: 𝑃 → 𝑅 (HS)
única a la conclusión. Un ejemplo simple es Su forma implicativa es:
el de una negación de negación, que [( 𝑃 → 𝑄) ∧ ( 𝑄 → 𝑅) ] → (𝑃 → 𝑅)
brevemente se denomina «doble negación».
Su forma simbólica es:
Su Forma simbólica es: Premisa 1: 𝑄 → 𝑅
Premisa 1: ∼∼ (𝑃) Premisa 2: 𝑃 → 𝑄
Conclusión: P Conclusión: 𝑃 → 𝑅 (HS)
Su forma implicativa es:
C. Modus Tollendo Tollens (MTT) [( 𝑄 → 𝑅) ∧ ( 𝑃 → 𝑄) ] → (𝑃 → 𝑅)
La regla de inferencia que tiene el nombre
latino modus tollendo tollens se aplica G. Regla de simplificación (S)
también a las proposiciones condicionales. Su forma simbólica es:
Pero en este caso, negando (tollendo) el Premisa 1: 𝑃 ∧ 𝑄
consecuente, se puede negar (tollens) el Conclusión: P
antecedente de la condicional. Su forma implicativa es:
(𝑃 ∧ 𝑄) → 𝑃
Su forma simbólica es:
Premisa 1: 𝑃 → 𝑄 Su forma simbólica es:
Premisa 2: ∼𝑄 Premisa 1: 𝑃 ∧ 𝑄
Conclusión: ∼ 𝑃 Conclusión: Q
Su forma implicativa es: Su forma implicativa es:
[(𝑃 → 𝑄) ∧∼ 𝑄] → ∼ 𝑃 (𝑃 ∧ 𝑄) → 𝑄

1
LÓGICA Práctica 07

H. Regla de la conjunción (SC) 3. De las premisas:

Su forma simbólica es: 𝑃1: 𝑝 → 𝑞
Premisa 1: 𝑃 𝑃2: ~𝑞 ∨ 𝑟
Premisa 2: 𝑄 𝑃3: ~𝑟
Conclusión: 𝑃 ∧ 𝑄 Se concluye:
Su forma implicativa es: a) ~t b) ~q c) t d) ~p e) q
(𝑃 ∧ 𝑄) → ( 𝑃 ∧ 𝑄)
Solución:
I. Regla de la adición Del enunciado tenemos:
Su forma simbólica es: (1) 𝑝 → 𝑞
Premisa 1: P (2) 𝑞 → 𝑟 ≡ ~𝑞 ∨ 𝑟
Conclusión: 𝑃 ∨ 𝑄 (3) ~𝑟
Su forma implicativa es: (4) 𝑝 → 𝑟 (1,2) (𝑆𝐻)
𝑃 → ( 𝑃 ∨ 𝑄) (5) ~𝑝 (3,4) (𝑇𝑇)
Rpta.- d) ~p
J. Ley bicondicional
Su forma simbólica es: 4. Del siguiente esquema formal
Premisa 1: 𝑃↔𝑄 (~𝑝 ˅ 𝑞) ˄ (~𝑝 → 𝑟) ˄ ~𝑟
Conclusión: (𝐴 → 𝐵) ∧ (𝐵 → 𝐴) Se concluye que:
a) ~q b) r c) ~p d) q e) ~p ˄ ~r
EJERCICIOS RESUELTOS
Solución:
1. De las premisas Del enunciado tenemos:
𝑃1: 𝑞 → 𝑟 (1)~𝑝 ˅ 𝑞 ≡ 𝑝 → 𝑞
𝑃2: 𝑟 → ~ 𝑠 (2)~𝑝 → 𝑟 ≡ ~𝑟 → 𝑝
𝑃3: 𝑠 (3)~𝑟
𝑃4: 𝑡 ∧ ( 𝑝 ∨ 𝑞 ) (4) 𝑝 (2,3) (𝑃𝑃)
Se concluye que: (5)𝑞 (1,4) (𝑃𝑃)
a) q b) ~ 𝑠 c) 𝑡 d) p e) ~ 𝑝 Rpta.- d) q

Solución 5. De las premisas:

(1) ~ 𝑟 (2; 3) ( 𝑇𝑇 ) 𝑃1: 𝑟 → 𝑠
(2) ~ 𝑞 (1; 5) ( 𝑇𝑇 ) 𝑃2: ~ 𝑡 ∧ ~ 𝑠
(3) 𝑝 ∨ 𝑞 (4) (𝑆) 𝑃3: (~ 𝑟 ∨ ~ 𝑞 ) → 𝑟
(4) 𝑝 (6; 7) (𝑆𝐷) concluye que:
Rpta.- d) p a) ~𝑞 b) r c) ~𝑝 d) q e) 𝑟 ∧ 𝑞

2. De las premisas: Solución:

𝑃1: ~𝑟 ∨ 𝑞 Del enunciado tenemos:
𝑃2: ~𝑝 → ~𝑞 (1) 𝑟 → 𝑠
𝑃3: ~𝑟 → 𝑡 (2) ~ 𝑡 ∧ ~ 𝑠
𝑃4: ~𝑝 (3) (~ 𝑟 ∨ ~ 𝑞 ) → 𝑟
Se concluye que: (4) ~ 𝑠 (2) (S)
a) ~𝑡 b) ~𝑞 c) 𝑡 d) 𝑟 e) 𝑞 (5) ~ 𝑟 (1;4) (TT)
(6) ~ (~ 𝑟 ∨ ~ 𝑞) (3;5) (TT)
Solución: (7)𝑟 ∧ 𝑞 (6) (Ley de Morgan)
Del enunciado tenemos: Rpta.- e) 𝑟 ∧ 𝑞
(1) ~𝑟 ∨ 𝑞
(2) ~𝑝 → ~𝑞
(3) ~𝑟 → 𝑡
(4) ~𝑝
(5) ~𝑝 → 𝑡 ≡ 𝑝 ∨ 𝑡 (1, 2, 3) (𝑆𝐷)
(6) 𝑡 (4, 5) (𝑃𝑃)
Rpta.- c) t

2
LÓGICA Práctica 07

EJERCICIOS PROPUESTOS
7. De las premisas
1. De las premisas 𝑃1: (∼ F ∨ ∼ R) → (H ∧ T)
𝑃1: ∼ (A ∨ B) → C 𝑃2: ~T
𝑃2: ∼ A Son válidas:
𝑃3: ∼ C i) 𝐹 ∧ 𝑅
Se concluye que: ii) H ∨ T
a)𝐴 ∧ 𝐵 b) ~ 𝐴 c) 𝐶 iii) 𝑅
d) A e) B iv) ~(∼ R)

2. De las premisas A) i y iii B) i, ii y iii C) i y iv

𝑃1: ( ∼ R ∨∼ F) → (S ∧ L) D) i, ii y iv E) i, iii y iv
𝑃2: S → T
𝑃3: ∼ T 8. De las premisas
Son válidas: 𝑃1: P ∨ Q
i) C ∧ D 𝑃2: ~P ∨ R
ii) 𝑅 ∧ 𝐹 Son válidas:
iii) 𝐹 i) 𝑃 ∧ 𝑅
iv) 𝑅 ii) Q ∨ R
iii) 𝑃
A) ii y iii B) iv y iii C) iii y i iv) ~Q → R
D) ii, iii y iv E) i
A) i y iii B) i, ii y iii C) i y iv
3. De las premisas D) ii y iv E) i, iii y iv
𝑃1: P → Q
𝑃2: Q → ∼ R 9. De las premisas
𝑃3: ∼ E → R 𝑃1: (∼ P ∨ Q) → R
𝑃4: P 𝑃2: R → (S ∨ T)
Se concluye que: 𝑃3: ∼ S ∧ ∼ U
a)∼ 𝐸 b) ~ 𝑄 c) 𝐸 d) P e) R 𝑃4: ∼ U → ∼ T
Son válidas:
4. De las premisas i) ∼ Q
𝑃1: P → R ii) 𝑆 ∨ 𝑇
𝑃2: Q ∨ P iii) 𝑈 ∧ 𝑇
𝑃3: ∼ T → ∼ R iv) 𝑃
𝑃4: ∼ Q
Se concluye que: A) ii y iii B) iv y i C) iii
a)∼ 𝑇 b) ~ 𝑄 c) 𝑇 d) P e) R D) ii, iii y iv E) i y iii

5. De las premisas 10. De las premisas

𝑃1: ~A → (C ∧ D) 𝑃1: P → S
𝑃2: A → B 𝑃2: Q ∧ P
𝑃3: ~B 𝑃3: (S ∧ R) → ∼ T
Son válidas: 𝑃4: Q → R
i) C ∧ D Se concluye que:
ii) ~A → B a)∼ 𝑇 b) ~ 𝑄 c) 𝑇
iii) 𝐶 d) P e) R
iv) ~A
11. De las premisas
A) i y iii B) ii y iii C) i y iv 𝑃1: P → ~Q
D) ii y iv E) iii y iv 𝑃2: (P ∧ R) ∨ S
𝑃3: S → (T ∨ U)
6. De las premisas 𝑃4: ∼ T ∧ ∼ U
𝑃1: P ∧ Q Son válidas:
𝑃2: P → ~(Q ∧ R) i) Q ∧ P
𝑃3: S → R ii) P ∧ R
Se concluye que: iii) 𝑆
a)∼ 𝑃 b) ~ 𝑆 c) 𝑄 ∨ 𝑅 d) P e) Q iv) ~Q
3
LÓGICA Práctica 07

16. De las premisas

A) i y iii B) ii y iii C) i y iv 𝑃1: P → Q
D) ii y iv E) solo iv 𝑃2: Q △ R
𝑃3: P
12. De las premisas Se concluye que:
𝑃1: S → P a)∼ 𝑃 b) 𝑅 c) ∼ 𝑆 ∧ 𝑅
𝑃2: ∼ P ∧ ∼ T d) ∼ 𝑅 e) P
𝑃3: ∼ T → R
Se concluye que: 17. De las premisas
a)∼ 𝑇 b) 𝑆 → 𝑅 c) ∼ 𝑆 ∧ 𝑅 𝑃1: P → ( Q ∨ R)
d) ∼ 𝑃 e) S 𝑃2: 𝑄 →∼ P
𝑃3: S → ∼ R
13. De las premisas
𝑃1: ∼ A → ( D → ~E) Son válidas:
𝑃2: ∼ B i) P ∧ E
𝑃3: ∼ C → D ii) P →∼ S
𝑃4: B ∨ ∼ A iii) 𝑆 →∼ 𝑃
iv) 𝑄 → 𝑅
Son válidas:
i) C ∧ E A) i y iii B) ii y iii C) i y iv
ii) E → C D) ii y iv E) iv y iii
iii) ∼ E ←∼ C
iv) 𝐸 18. De las premisas
𝑃1: ∼ R ∨ ∼ S
A) i y iii B) ii y iii C) i y iv 𝑃2: ∼ S →∼ P
D) ii y iv E) solo iv 𝑃3: ∼ R → Q
𝑃4: ∼ Q
14. De las premisas
𝑃1: (P ∨ Q) → ( R ∧ S) Son válidas:
𝑃2: ∼ P → (T → ~T) i) ∼ 𝑃 ∨ ∼ 𝑄
𝑃3: ∼ R ii) P →∼ S
iii) 𝑆 →∼ 𝑃
Son válidas: iv) ∼ 𝑃
i) P ∨ Q
ii) P A) i y iii B) ii y iii C) i y iv
iii) ∼ T ← T D) ii y iv E) Todas
iv) ~𝑇
19. De las premisas
A) i y iii B) ii y iii C) i y iv 𝑃1: (Q ∨ R) → P
D) iii y iv E) solo iv 𝑃2: ∼ P
𝑃3: S → ( Q ∨ R)
15. De las premisas 𝑃4: ∼ S →∼ T
𝑃1: P → ~C Se concluye que:
𝑃2: A ∧ ∼ B a)∼ 𝑇 b) 𝑇 c) ∼ 𝑆
𝑃3: (∼ P ∨ Q) → (R ∧ T) d) ∼ 𝑃 e) S
𝑃4: B ∨ D
𝑃5: A → (C ∨∼ D) 20. De las premisas
𝑃1: Q → ∼ P
Son válidas: 𝑃2: ∼ Q → R
i) R ∨ S 𝑃3: (𝑃 ∧∼ R ) ∨ S
ii) P 𝑃4: (S ∨ T) → R
iii) 𝑅 ∧ 𝑇 Se concluye que:
iv) ~𝑇 a)∼ 𝑇 b) 𝑆 → 𝑅 c) ∼ 𝑅
d) 𝑇 e) R
A) i y iii B) ii y iii C) i y iv
D) iii y iv E) solo iv