LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”

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

PRACTICA N° 07
SILOGISMO HIPOTÉTICO (SH)
INFERENCIA LOGICA Su forma simbólica es:
A→B B→C
Es una estructura de proposiciones donde a partir B→C A→B
de uno o más proposiciones llamadas premisas, se ---------- ----------
obtiene otras proposiciones llamada conclusión. A→C A→C
La inferencia expresada en lenguaje natural es un Su forma implicativa
argumento. es: [( A → B)  ( B → C) ] → (A → C)
Inferencia : Premisas → Conclusión Su forma implicativa es:
Analizar la validez o invalidez lógica de la [( B → C)  ( A → B) ] → (A → C)
inferencia es la tarea primordial de la lógica.
Un argumento es la proposición que se forma al
unir mediante una condicional, la conjunción de REGLA DE SIMPLIFICACIÓN (S)
las premisas y la conclusión. Su forma simbólica es :
(P1  P2  P3  ...  Pn )→ C AB AB
Al analizar una inferencia para determinar su --------- ---------
validez, se determina el esquema al cual pertenece B A
el argumento. Si el esquema es tautológico, la Su forma implicativa es: (A  B) → B
inferencia es válida; si resulta contradictorio o
Su forma implicativa es: (A  B) → A
inconsistente. La inferencia es inválida.
REGLA DE LA CONJUNCIÓN
LEYES DE IMPLICACION
Su forma simbólica es:
A
Las reglas de lógica no son evidentemente reglas
B
elegidas al azar. Son de tal manera que solo
--------
permiten hacer inferencias validas.
AB
Su forma implicativa es :
MODUS PONIENDO PONENS (MPP)
(A  B) → ( A  B)
Su forma simbólica es:
A→B
REGLA DE LA ADICIÓN
A
Su forma simbólica es :
---------
A
B
--------
Su forma implicativa es:
AB
[(A → B)  A ] → B
Su forma implicativa es: A → (A  B)
MODUS PONENS TOLLENDO
LEY BICONDICIONAL
(MPT)
AB AB
Su forma simbólica es:
--------- ---------
AB
B→A A →B
A
------
EJERCICIOS RESUELTOS
B
1.- Dadas las premisas
Su forma implicativa es:
P1: B→A
[( A  B )  A ] →  B
P2: C ˅ D
P3: D → ˜A

1
 NOMBRE DEL CURSO Práctica 01

P4 : B (10) k → b SH 6,9
Se infiere lógicamente en: (11) b MPP 8,10
a)A b)B c)C d)A ˅ B e)B ˅ C Rpta a) b
Solución
(1) B→A 4.- Del siguiente esquema formal
(2) C ˅ D ≡ ˜D → C (~p ˅ q) ˄ (~p →r) ˄ ~r
(3) D → ˜A ≡ A → ˜D Se concluye que:
(4) B a) ~q b)r c) ~p d)q e) ~p ˄ ~r
MPP 1 , 4, 3, 2
Solución:
Rpta c)C (1)~p ˅ q ≡ p →q
(2)~p →r ≡~r →p
2.- Dadas las premisas (3)~r
p→q (4) p MPP 2,3
˜q˅r (5) q MPP 1,4
˜r
Se concluye: Rpta d)q
a) ˜ r b) ˜ q c)t d) ˜p e)q
5.- Del siguiente esquema formal :
Solución ~p ˄ [ p ˅ (q ˅ r) ] ˄ ~r
(1) p → q a) ~q b)q c) ~p d)r e) ~p ˄ ~r
(2) ˜ q ˅ r ≡ q →r
(3) ˜ r Solución:
____________ (1) ~p
(4) p→ r ≡ ˜ r → ˜p SH 1,2 (2) p ˅ (q ˅ r) ≡ ~p→(q ˅ r)
(5) ˜ r MPP 4,5 (3) ~r
(4) (q ˅ r) ≡ ~r→ q MPP 1,2
Rpta d) ˜p (5) q MPP 3,4

Rpta b)q
3.- Dadas las premisas
P1: ~ g → e EJERCICIOS PROPUESTOS
P2: e → k
P3: ~g 1. De las premisas:
P4: ~l →m P1: p → q
P5: m →b P2: q  r
P6: k → ~l P3: r → t
Se infiere: P4: t
a)b b) ~b c)q d) ~m e) ~g Se concluye:
A) t B) p C) p D) q E)q
Solución:
(1): ~ g → e 2. De las premisas:
(2): e → k (p  q)  (r → s)
(3): ~g pr
(4): ~l →m q  t
(5): m →b ¿Qué se infiere?
(6): k → ~l A) t B) s C) t  s D) p E) r
(7) ~ g → k SH 1,2
(8) k MPP 3,7
(9) ~l → b SH 4,5

2
NOMBRE DEL CURSO Práctica 01

3. De la siguiente estructura: A)B

P1: (a  b) → c B)¬A  C
P2: b  f C) E  C
P3: d → f D)(D  E)
Se concluye: E)¬C
A) a B) c  d C) a  b D) b E) d  c
9. De la siguiente estructura:
4. De la siguiente estructura: P1: a  b
P1: q → s P2: b
P2:  (p → w) → r P3: d → a
P3: r → s Se concluye:
P4: q  w A) a  d B) d C) d  b D) d E) b
Se concluye:
A) p B) s  r C) p → r D) p E) q 10. De la siguiente estructura:
P1: a  b
5. De las premisas: P2: a  c
p  (q  r) P3: c
(q → r)  t Se concluye:
(p  u) A) a  c B) b  d C) c D) b E) a
Se concluye:
A) u B) t  u C) u  t D) t E) q 11. De las premisas:
P1 :  B  A
6. De las premisas: P2 : B  C
B→C P3 : A  D
AD Se infiere en:
C→E A) C → E B) C  D C)  C D) E → C
EA E) N. A.
DF
Se concluye: 12. Dadas las premisas formales:
A) B  F B)  B  F C) B D)  A E) D P1: F → C
P2 : A  B
7. Si tenemos las siguientes premisas: P3 : B  C
P1 (C → ¬D), P4 : A
P2 (C), Se concluye:
P3 (¬D → B), A) A  B B) A C)  F D) C E) N. A.
P4 (B → ¬P),
se infiere deductivamente en la siguiente 13. La conclusión del siguiente argumento
conclusión: con las premisas:
A)¬A B)¬C C)P D)¬P E)¬B P1 : ( p  q)  r
P2 : r  s
P3 : s  t
8. Si tenemos las siguientes premisas: P4 : t → q
P1 ¬(A  ¬B), P5 : u  p
P2 (C  A), A) u B)  u C) q D) t E) r
P3 (B → D),
P4 [(C  D) → (E  D)], 14. De las premisas:
se infiere deductivamente en la siguiente P1: p → (r  s)
conclusión: P2: p  q
P3: w  r

3
NOMBRE DEL CURSO Práctica 01

P4:  (q → w) P4: f → (s → n)
Se concluye: Se concluye:
A) p i. f → p
B) r ii. n  s
C) p → r iii. f
D) s → t iv. m  t
E) r v. f  z
Son inválidas:
15. Si tenemos: A) ii y iv B) iv y v C) i, iii y v D) i y ii E)
P1 : (A v B) → - C Solo ii
P2 : C v -D
P3 : D  E 19. De la siguiente estructura:
P4 : B P1: m  n
Concluiríamos correctamente desde el P2: m  s
punto de vista lógico formal en: P3: m → n
a) E b) – E c) D d) – A e) E  A P4: s  o
Se concluye:
16. De la siguiente estructura: i. m → a
P1: m → n ii. m
P2: m  l iii. s → o
P3: n → z iv. m  o
Se concluye: v. z → m
i. z  s A) ii, iv y v
ii. m  n B) iii y v
iii. p → s C) i, ii y iii
iv. z D) i y ii
v. z  l E) ii, iv y v
Son válidas: 20. De las premisas:
A) i y iii B) ii y iii C) i, iv y v D) ii y v P1:  (r → q)
E) iv y v P2: w  p
P3: q  s
17. De la siguiente estructura: P4: (r  p) →  p
P1: p  q Se concluye:
P2: p  r i. q → p
P3: s  q ii. (s → t)  w
P4: t  r iii. s  w
Se concluye: iv. (s  w)
i. w  s v. s
ii. s A) i y v B) ii y v C) iii y iv D) i y ii
iii. q E) ii, iii y iv
iv. s → t
v. s  t
A) i, ii y v B) i y iv C) iv y v D) ii y iv
E) iii y v

18. De la siguiente estructura:

P1: m → s
P2: m  t
P3: n → t

4
NOMBRE DEL CURSO Práctica 01

5
NOMBRE DEL CURSO Práctica 01