Está en la página 1de 36

IMPLICACIONES LÓGICAS

1. REGLAS DE IMPLICACIÓN
2. IMPLICACIONES ESPECIALES
3. DEMOSTRACIÓN FORMAL

RAZONAMIENTO LOGICO-ASESOR Prof. César Rodríguez


MODOS
I. MODUS PONENDO PONENS : ( AFIRMANDO – AFIRMO )

VÁLIDO VÁLIDO VÁLIDO FALACIA

A→B A↔B A↔B A→B

A A B B
B B A A
MODOS
II. MODUS TOLLENDO TOLLENS: ( NEGANDO – NIEGO )

VÁLIDO VÁLIDO VÁLIDO FALACIA

A→ B A↔ B A↔B A→B

¬B ¬B ¬A ¬A
¬A ¬A ¬B ¬B
MODOS
III. MODUS PONENDO TOLLENS: ( AFIRMANDO – NIEGO )

VÁLIDO VÁLIDO

A
 B A
 B

A B
¬B ¬A
MODOS
IV. MODUS TOLLENDO PONENS: ( NEGANDO – AFIRMO )

VÁLIDO VÁLIDO

A
 B A
 B

¬A ¬B
B A
MODOS
V. SILOGISMO DISYUNTIVO: ( + )

VÁLIDO VÁLIDO INVÁLIDO

A ∨ B A ∨ B A ∨ B
¬A ¬B A
B A ¬B
MODOS
VI. SILOGISMO CATEGÓRICO ( HIPOTÉTICO PURO )

VÁLIDO VÁLIDO INVÁLIDO

A →B B →A A → B
B → C C →B C → B
A → C C → A
TRANSITIDAD
SIMÉTRIA
VÁLIDO VÁLIDO VÁLIDO VÁLIDO VÁLIDO VÁLIDO

A↔B A↔B B↔A B↔A A


B ¬A 
 ¬B

B↔C C↔B B↔C C↔B B


C ¬B ↔ ¬ C

A↔C A↔C A↔C A↔C A C A


C
PREGUNTA N° 1 :
01. El área de un triángulo está en función de sus lados y bien o también en la relación de su
base con su altura. Pero como el área del triángulo no está en función de sus lados. Luego:
a) El área del triángulo tampoco está en la relación de su base con su altura.
b) El área del triángulo en relación de su base con su altura.
c) Es inobjetablemente falso que el área del triángulo está en relación de su base con
altura.
d) Concluiríamos una falacia
e) N.A.

Solución :

L ∨ R
¬L
R : El área de un triángulo está en la relación de su base con su altura.
PREGUNTA N° 2 : De: “Es innegablemente incierto que, no sólo las menestras contienen proteínas
también las hortalizas, no obstante las menestras contienen proteínas”
Se deduce:
A. Las hortalizas contienen proteínas
B. Sin dudas las hortalizas contienen proteínas
C. Es innegable que las menestras contienen proteínas
D. Las hortalizas en absoluto contienen proteínas
E. Las menestras no contienen proteínas

Solución :
¬( M ∧ H ) ≡ ¬M ∨ ¬ H
M ≡ M
¬H

¬H : Las hortalizas no contienen proteínas. con su altura.


PREGUNTA N° 3 : Si los números Romanos fueran de carácter universal, las operaciones matemáticas
serían limitadas. Pero las operaciones matemáticas serían ilimitadas si el idioma Latín fuera
universal. Entonces diremos:
a) Dado que los números Romanos no son de carácter universal, es obvio que el idioma Latín no es
universal.
b) Como el idioma Latín no es universal, en consecuencia los números Romanos no son de carácter
universal.
c) Ni los números Romanos son de carácter universal, ni el idioma Latín es Universal.
d) Es falso que, tanto los números Romanos como el idioma Latín sean de carácter Universal.
e) N.A.

Solución :
N → L ≡ ¬N ∨ L
¬L ← I ≡ ¬L ∨ ¬ I
¬N ∨ ¬ I   ( N  I )
¬H : Las hortalizas no contienen proteínas. con su altura.
PREGUNTA N°4 : “Bolivia no comparte la meseta del Collao con Perú salvo que sólo con chile;
pero, Bolivia en absoluto comparte con Perú la meseta del Collao”
Se infiere:
A. Si Bolivia comparte la meseta del Collao con Chile, también con Perú.
B. Bolivia comparte la meseta del Collao con Chile y Perú.
C. Bolivia no comparte la meseta del Collao con Chile
D. Bolivia sí comparte la meseta del Collao con Chile.
E. Bolivia no comparte la meseta del collao con Perú.

Solución :
¬P 
 CH
¬P
¬ CH
¬H : Las hortalizas no contienen proteínas. con su altura.
PREGUNTA N°5 : Del sgte. Argumento :
“Si un acusado por terrorismo es condenado; entonces sufrirá prisión por muchos años. Un
acusado por terrorismo no es condenado; luego, el acusado no sufrirá prisión por muchos
años”. Se afirma que :
a) Es válido
b) Es un Modus Tollendo Tollens
c) Es un Silogismo
d) No es válido
e) Es un Modus Tollendo Ponens

Solución :
A→P
¬A
¬P
proteínas. con su altura.
PREGUNTA N°6 : De: "Es innegable que, Stephany viaja al extranjero cada vez que sus padres están de
vacaciones, pero es falso que Stephany no deja de viajar al extranjero”
Se infiere:
A. Stephany viaja al extranjero
B. Stephany no viaja al extranjero
C. Sin dudas los padres de Stephany no están de vacaciones
D. Stephany está de vacaciones
E. Stephany y sus padres no están de vacaciones

Solución :
E←V  EvV
¬E  -E
¬ -V
PREGUNTA N°7 :
“Salvo que no diga la verdad, soy honesto. Más si fuese el caso que deje de ser honesto”.
Entonces:
1. Siempre digo la verdad
2. Dejé de decir la verdad
3. Nunca digo la verdad
4. Hablo mentiras
5. A veces miento y a veces digo la verdad
Son correctas:
a) 1,3,5 b) 1 y 3 c) 2,3,4 d) 1 y 5 e) N.A.

Solución :
¬V ∨ H
¬H
¬ V


PREGUNTA N°8 :
De las premisas: “8 es múltiplo de 2 es condición suficiente para que sea divisible
por 2 exactamente”. Pero 8 es divisible por 2 luego 2 es divisible por 1”. Se infiere
en:
a) “2 es múltiplo de 1”
b) “8 es divisible por 1 si es por 2”
c) “Si 8 es múltiplo de 2, 2 es divisible por 1”
d) “1 es divisor de 2 y 8”
e) “4 es divisible por 2 y por 1”

Solución :
M→ D
D→ 1

M → 1 ( SHP)


PREGUNTA N°9 :
Es falso que , es suficiente ser profesional en la vida para que suficientemente no
seas Universitario; pero como no eres aún profesional:
a) Todavía no eres universitario.
b) Eres estudiante universitario.
c) Estudiarás en la universidad a menos que postules a un instituto.
d) Toda conclusión sería una falacia.
e) N.A.

Solución :
¬( P ↔ ¬U )
¬P

¬U
PREGUNTA N°10 :
El precio del producto subirá a menos que no haya ofertas. Salvo que no baje la
demanda, habrá más ventas. Sin embargo, no hay más ventas o el producto baje.
Entonces:
a) Ni baja la demanda ni hay ofertas.
b) Es falso que, baje la demanda así como hay ofertas. – (DO)
c) Si la demanda baja, la oferta sube.
d) Si la oferta sube, la demanda baja.
e) N.A.

Solución :
S ∨ ¬O
¬D ∨ V
¬ V ∨ ¬S
¬D ∨ ¬O
DEMOSTRACIÓN FORMAL

IMPLICACIONES II

Prof. César Rodríguez


IMPLICACIONES II
I. CONJUNCIÓN ( ADJUNCIÓN )

CONJUCIÓN SIMPLIFICACIÓIN SIMPLIFICACIÓN ADICIÓN


NUEVO FACTOR

A A∧B A∧B A

B A B AvX
A∧ B
11. Dadas las fórmulas proposiciones premisas:
P1:  (A  B)
P2:  C  D
P3:  A → C
Se concluye en la fórmula proposicional:
a)  (B   D) b)  ( A  B) c) (C  D) d) A →  D e)  B → D
12. Es falso que Rafael canta y no encanta. Así como es mentira que los caporales rían y
no sonrían. Si no es verdad que Rafael no canta tal como los caporales no ríen. Luego:
a) Es inadmisible que Rafael no encanta aunque los caporales no sonrían
b) Rafael canta y desencanta. Los Caporales no sonríen
c) Los Caporales sonríen pero Rafael no encanta
d) Ambos encantan y sonríen: Los Caporales y Rafael
e) Falacia

1. –( C  -E)  -C V E
2. –( R  -S)  -R V S
3. –(-C  -R)  C V R
E V S = -( -E  -S )
13. Dadas las premisas:
1.– A → B = A V B
2.– C  – D = C  D
3. B → C = - BVC
La conclusión es:
a) A → D b) D → A c) A  D d) Falacia e) N.A

1. A v B
3.-B V C
4. C V A
2. C D
DVA
14. La conclusión del siguiente conjunto de premisas:
P1: (p → r) → – t = (-p V r) → – t
P2: – (r  – p) → q = - ( r v –p) → q
P3: – (s → q) = s-q
Es:
1. p  q 2. – t 3. t → u 4. p  – r 5. q  s
Son ciertas:
a) 1, 2, 3 b) Sólo 2 y 3 c) Sólo 3 y 4 d) Sólo 4 y 5 e) 2, 4 y 5

1. (-pV r) → – t = - (-pV r) v – t
2. - ( r v –p) → q = ( r v –p) v q
4. -t v q
3. -q
-t v u = t → u
15. De las siguientes premisas:
P1: Si X es diferente a 0, X es igual Y
P2: Si X es igual a Y, X es igual a Z
P3: X es diferente a Z
Se infiere válidamente en:
a) X es igual a Y b) X es diferente a Y c) X es igual a 0
d) X es diferente a 0 e) Y es igual a Z

1. –p → q = p v q
2. q → r = -q v r
3. –r = -r
p
16. Dadas las siguiente premisas formales:
P1: F → C = -F V C
P2: A v B
P3: B v C
P4:  A
Aplicando las reglas de inferencia, podemos concluir en:
a) A v B b)  F  A c)  F d) C e) N.A.

2. A V B
4. -A
5. B
3. B v C
6. -C (5,3)
7. -F V C
-F
17. Si seguir los principios cristianos es condición suficiente y necesaria para vivir en paz.
Además se vive en paz salvo que solamente la conciencia esté tranquila. Pero como
tienes la conciencia intranquila y la moral baja. Entonces:
a) Vives en paz b) No sigues los principios cristianos
c) Sigues los principios cristianos d) Tienes que subir la moral e) N.A.

1. C  P
2. P  T = P  T
3. -T  M = -T
4. P
18. Dadas las siguientes premisas formales:
P1 [(A  B) → C] : [(A  B) → C]
P2 (A  D) : (A V B) …ADICION

Se infiere deductivamente en la siguiente conclusión lógico-formal:


a) A b) ¬A c) ¬D d) A → D e) C

.
19. Del siguiente argumento:
“El que haga calor es suficiente para que los niños no enfermen de los bronquios, empero los
niños enferman de los bronquios. Por consiguiente, no hace calor”
Se puede afirmar:
1) No es correcto 2) Tiene un esquema tautológico 3) Es válido
4) Tiene un esquema contingente 5) Es un argumento mediato
Son ciertas:
a) 1, 2 y 5 b) 1, 3 y 4 c) 2, 3 y 5 d) 3, 4 y 5 e) 1, 2 y 4

1. C → -E
2. E

C. -C
20. Si:
P1 = A → (B  C)
P2 = -(B → - C) → C
P3 = A  D :A

¿Qué conclusión se infiere?


a) A  C b) B → D c) C d) – C e) N.A.

. P1 = A → (B  C) = A → (B  C)
P2 = -(B → - C) → C = ( B  C)→ C
P3 = A  D
4: = A →C
3: = A……
C
21. De: “Porque las plantas se alimentan de insectos, son carnívoras. Además las plantas
consiguen el nitrógeno de los insectos o sólo del suelo. Pero, las plantas se alimentan de
insectos a no ser que consigan el nitrógeno del suelo”. Se deduce:
A.Las plantas no son carnívoras o no consiguen el nitrógeno de los insectos
B.Las plantas son carnívoras pero si se nutren de nitrógeno del suelo
C.Si las plantas se alimentan de insectos entonces no se alimentan del nitrógeno del suelo
D. Las plantas son carnívoras o no consiguen el nitrógeno de los insectos . CV - N
E. Las plantas comen insectos porque les falta el nitrógeno del suelo

1. I → C = -I V C
2. N≠S
3. IV S = IVS
1 -I V C
3. IVS
4 SVC
2. N≠S
C. -N V C
22. Dadas las premisas formales:
P1: A → (B → C)
P2: (A  B)
P3: C → D
La conclusión que se obtiene de ellas es:
a) A b) B c) C d) C e) D
23. De las premisas:
P1 (s / t)  p
P2 p / (q  r)
P3 (s  t)
Se infiere deductivamente en:
A) p B) r C) q  r D) s  t E) q
24. De las premisas:
P1: p  (p  q)
P2: r → q
Se infiere:
A) q B) r C) q D) r E) p v r

P1: p  (p  q) = P  - q : -q
P2: r → q : -r v q
25. De las premisas formales:
P1: w  q
P2: r  t
P3: ~ (p  q)
P4: ~r
Se concluye en:
1. w  t 2. ~p  w 3.~(w → p) 4. w 5. t
Son ciertas: A) Sólo 2, 4 y 5 B) Sólo 1, 2 y 3 C) Sólo 3, 4 y 5 D) Sólo 1, 4 y 5 E) Todas
26. Dadas las siguientes premisas formales:
P1: (p  q) → r
P2: (r  s)
P3: p  (q  t)
La conclusión que se obtiene es:
A) t B) s C) q D) t E) p

También podría gustarte