RAZONAMIENTO LÓGICO

MISCELÁNEA
PROPOSICIONES LÓGICAS 5. Son proposiciones simples:
1) “Si llegas temprano haremos fiesta”.
1. Son proposiciones moleculares: 2) “Trabajo en el mercado”.
1) “2 es un número y representa dos 3) “Trabajas en el mercado”.
unidades”. 4) “O tienes sed o tienes hambre”.
2) “La palabra “lima” tiene varios 5) “La lluvia es un fenómeno atmosférico”.
significados”. 6) “La uva es cereal”.
3) “5 es un número primo e impar”. Son incorrectas:
4) “Al ser hoy día jueves, el viernes será A) 1,2,3 B) 2, 5 y 6
mañana”. C) 1, 3 y 4 D) 1,3,5 E) N.A.
5) “Los institutos son instituciones de
educación superior”. 6. De los enunciados:
No son correctas, excepto: 1) x + y = 10,  x, y  R
A) 1,2,3 B) 2,3,4 2) x > y,  x, y  Z
C) 3,4,5 D) 1,3,4 E) 2,4,5 3)  x, y  Z, x > y, x < y ó x = y
4) x + y = 10,  x, y  Z
2. Son proposiciones individuales o singulares: 5) x + 5 = 10,  x  Z
1) “La Luna tiene desiertos”. Son proposiciones lógicas:
2) “La Tierra es estrella vieja”. A) Sólo 1, 3 y 5 B) Sólo 1, 3, 4 y 5
3) “El Sol es un planeta”. C) Sólo1, 3 y 4 D) Sólo 3, 4 y 5 E) Todas
4) “Lima es capital de Chile”.
5) “Santiago es capital del Perú”. FORMALIZACIÓN DE PROPOSICIONES
Son incorrectas:
A) 1,2,3 B) 2,3,4 1. La proposición: “En vista que las
C) 3,4,5 D) Todas E) N.A. coordenadas esféricas se aproximan más al
mundo real, son usadas en cálculos físicos
3. Son proposiciones lógicas, cuya rigurosos. Todo esto implica que la
característica es de ser plausibles: matemática es una herramienta útil para el
1) “El SIDA será curado en 10 años”. desarrollo de la ciencia” Se formaliza:
2) “Será un buen profesional”.
A) (p → q)  r B) (p  q) → r
3) “El Perú es un mendigo sentado en un
banco de oro”. C) (p  q)  (r → s) D) (p → q) → r
4) “Lucha si quieres vivir”. E) (p  q)  r
5) “En cinco años Juan será profesional”
Son correctas: 2. Al formalizar la proposición: “La lógica es
A) 1,2 y 5 B) Sólo 1 y 5 una ciencia formal, que estudia el
C) 1, 2 y 4 D) Todas E) N.A. pensamiento, que está regida por principios
y que tiene como uno de sus objetivos
4. Son proposiciones apodícticas: estudiar la validez de los razonamientos”
1) “Cinco es un número par”. Podemos afirmar que hay:
2) “Dios mío, ayúdame”. 1) Tres variables proposicionales
3) “Ingresaré a la `U´ en este examen de 2) Cuatro variables proposicionales
admisión”. 3) Tres conjuntores
4) “Fujimori fue presidente del Perú”. 4) Cuatro conjuntores
5) “8 + 5 = 12” 5) Dos conjuntores y un disyuntor
Son correctas: incluyente
A) 1,2,3 B) 2,3,4 Son indiscutiblemente ciertas:
C) 3,4,5 D) 1,3,4 E) 1 y 5 A) 1 y 3 B) 2 y 3
C) 3 y 5 D) 4 y 5 E) 1 y 4

1
 D) (pqr)  (stu)
3. La proposición: "Dado que es absurdo que E) (pqr) → [(st)  u]
haya admósfera de oxígeno en Neptuno, no
hay vida inteligente en dicho planeta. VERDAD FORMAL
Además, si es falso que hay vida inteligente
en Neptuno, no queda descartada la 1. En el esquema:
posibilidad de encontrar vida inteligente en (p q r s t)  {[(u v)→w]  (x y)}
otro planeta". Se formaliza: Los valores de verdad en los arreglos 728;
A) (~p → ~q) & (~q → ~r) 921 y 1017 son:
B) ~(p → ~q) & ~(q → ~r) A) 010 B) 000
C) (~p → ~q) & (~r → ~s) C) 110 D) 111 E) 001
D) ~(p → ~q) & ~(r → ~s)
E) ~(p → ~q) & (~q → ~r) 2. Si la fórmula (p @ q); tiene como matriz
0101. Luego, la fórmula: p @ (p  q)
4. La proposición: “Siempre y solo cuando las equivale a:
proposiciones no puedan ser enunciados A) p  q B) p  q
abiertos, diremos que las supersticiones C) p  q D) q E) p @ q
tampoco lo serán, sin embargo es falso
decir que nunca las creencias serán 3. Si la fórmula: {[(A  B) → (C / B)]  C} es
proposiciones dado que no admiten verdadera. Luego, los valores de verdad de:
demostración científica. Por lo tanto, si las 1) (A  B)  C 2) (A  C)  B
creencias fueran demostrables 3) (C / B) / A 4) (B → A)  C
científicamente, las supersticiones serían Son, respectivamente:
consideradas como proposiciones lógicas”. A) FVFF B) VFVV C) FFFF
Se formaliza: D) VVVV E) VVFF
A) [(- a  – b)  (- d → c)]  (d  b)
B) [(- a  – b)  (c  - d)] → (d → e) 4. Si la estructura: “P es verdadero siempre
C) [- ( a  – b)  (c  - d)] → (d → b) que Q sea falsa”
D) [(- a  – b)  - (- c  - d)] → (d → b) Es falsa. Luego, son verdaderas:
E) [(- a  – b)  - (- c  - d)] → (d → e) I) P es falsa y Q es verdadera
II) Si P es falsa, Q es falsa
5. La proposición: “Que Tarski haya hecho III) Q es verdadera si P es verdadera
aportes en lógica polivalente, metalenguaje Son ciertas:
y en conceptos semánticos, es incompatible A) Sólo I B) Sólo II
con que Aristóteles, Gottlob Frege, Tarski y C) II y III D) I y III E) Ninguna
Kurt Gödel sean considerados los más
grandes lógicos de la historia“. Se formaliza: 5. Dados los valores de:
A) (pqr) / (stuw) M: p → q N: q  p
B) (pqr) / s La matriz final de la fórmula:
C) p / q (M  N)  (M → N)
D) (pqr)  (stuw) A) 1110 B) 0001 C) 1010
E) (pqr)  s D) 0101 E) 1100

6. La proposición: “B. Russell fue un filósofo, 6. Sea  el conectivo proposicional. Si se

historiador y matemático inglés; cumple que: p q) * (p→q)  -p.Entonces 
consecuentemente, enfocó su trabajo en la es igual a:
filosofía analítica como en la teoría del A)  B)  C)  D) → E) 
conocimiento y en el atomismo lógico“. Se
formaliza: 7. Si definimos los operadores ”  ”, “  ”
A) (pqr) → (st)
B) (pqr) → (stu)
como sigue: p  q = 1011
C) (pqr) → [s  (tu)] p  q = 0010

2
 Entonces el valor final de la estructura: Se deduce la siguiente conclusión:
-{-(-p  q)  (p  -q)  -[(q  -p)  (-p  -q)]} A) p  t B) p  s C) s  w
A) –p  p B) p  q D) ( r  t )  z E) r  t
C) p  -q D) –p  -p D) N.A. 7. Sean las premisas:
P1: A P2: B → C
EQUIVALENCIAS Y CIRCUITOS P3:  (E   B) P4: D → A P5: C → D
Se infiere:
1. El esquema formal: q  (p  q) → (q → r), a) B b) D  E c) D→E
equivale a: d) E→B e) E
1) (q → p) → (r → q)
2) (r  q)  (q  p) 8. Dadas las siguientes premisas formales:
3) q  r P1 (p  q )
4) (q  r) P2 [(p  r)  (s → q)]
5) (p → q) → (q → r) P3 (¬r  t )
Son ciertas: Se infiere deductivamente en la siguiente
A) Sólo 1, 2 y 3 B) Sólo 2 y 3 conclusión lógica:
C) Sólo 3 y 4 D) Sólo 1, 2 y 5 E) Todas A) p B) ¬q C) q
D) p  r E) r s
2. Hallar el equivalente de:
(r → s) → t   −(r v t) → (s → t) 9. Dadas las siguientes premisas formales:
A) s  t B) s P1 (p→q)  ( r → s) P2 (q→ t )  ( s→ z)
C) t v ( r v s ) D) ( - r  - t )  ( s  t) P3 (p  r) P4 z
Se infiere la siguiente conclusión:
E) t v ( r v s)
A) t B) ¬p C) t  z
3. Dado el siguiente esquema: D) p  q E) ¬r
a bc + a bc + a bc + a bc + abc
; aplicando las leyes del álgebra booleana 10. Dadas las siguientes premisas formales:
equivale a: P1 ( A  B )  ( C  D )
A)a’b+c B) ’ac+b P2 ( A → B ) → ( B  D )
C) bc D)abc E)a+’c P3  ( C / D )  ( E → F )
P4  ( B  D )
4. En el circuito: Podemos concluir en:
A B C 1) E / F 2)( E  F )
B D 3)F → E 4) ( E → F ) → A
A B
5) B → (  E  F )
B C Son ciertas:
A) 1,2,3 B) 2,3,4 C) 3,4,5
Si cada conmutador cuesta $15. ¿Cuánto se
D) Todas E) N.A.
ahorrará al simplificarlo?
A) $150 B) $120 C) $90 LÓGICA DE PREDICADOS
D) $135 E) $105
1. La proposición categórica: “Todos son
lógicos no obstante filósofos” equivale a:
5. De la premisa “A es X si y sólo si sea Y”, se
A)x (Ax  Bx) B)– x (– Ax)  x (Bx)
infiere:
A) A es X e Y B) A sólo es X C)x (Ax)  x (Bx) D)x (Ax)  x (Bx)
C) A no es X ni Y D) A es X si es Y E)x (Ax)  – x (– Bx)
E) A únicamente es Y
2. La proposición: “Roberto y Lucho son
6. Dadas las siguientes premisas formales: artistas, no obstante son universitarios”, en
P1 [(q  r)  (t → s)] lógica de predicados se formaliza como:
P2 [(p → q)  (r → s)]  ( p / r) A) Ucd  Aab E) ( A  B)  (C  D)

3
 C) ( Aa  Ab )  (Uc  Ud ) B) Aab  Ucd A = Atletas
J = Persona joven
D) (Uc  Ud )  ( Aa  Ab ) Podemos inferir:
A) Algunos deportistas son atletas.
3. La premisa:
B) Ninguna persona joven es atleta.
“Todas, sin excepción, las ingenierías no son
C) Algunas personas jóvenes no son
ciencias”. Equivale a:
atletas.
1. Es falso que alguna ingeniería sea
D) Es falso que algunos deportistas son
ciencia.
atletas.
2. Todas las ingenierías sin excepción son
E) La mayoría de personas jóvenes son
ciencias.
atletas.
3. Todas las ciencias no son ingenierías.
4. Algunas ciencias son ingenierías.
8. Dadas las siguientes premisas: “Ningún
5. Es inadmisible que exista ciencia y sea
profesional es licenciado” y “Algunos
ingeniería.
profesionales son técnicos”, se afirma:
SON CORRECTAS:
1) El modo que valida la conclusión es
A) 1 y 2 B) 1 y 3 C) 1 y 5
FESTINO.
D) 2 y 3 E) 4 y 5
2) El modo que valida la conclusión es
4. La proposición:“Existen animales”,equivale a: FERISON.
1) El puma, el tigre, el león tal como el 3) Tiene la III figura.
elefante son animales. 4) Tiene la II figura.
2) El perro, el gato, el asno o en todo caso 5) Su conclusión es: “Ciertos técnicos no
el camello son animales. son licenciados”.
3) Es absurdo que la gallina no es animal y Son ciertas:
que el cocodrilo tampoco lo es. A) 1, 2 y 5 B) 1, 3 y 4 C) 2,3 y 5
4) Carece de verdad que ni la cebra ni la D) 2, 4 y 5 E) Sólo 1 y 5
llama son animales.
5) El loro así como el tucán no son 9. El diagrama del silogismo: Todas las
animales. margaritas son flores, pero algunas
Son ciertas: margaritas son plantas buenas; por lo tanto,
A) 1, 2 y 3 B) 1, 3 y 5 C) 1, 4 y 5 algunas plantas buenas son flores, es:
D) 2, 3 y 4 E) 3, 4 y 5
A) x B) x
F
5. Dadas las premisas: B B F

A B B C M M
P1: P2:
C) D)
B F B F
Se concluye en:
A) A’  C =  B) A’  C’ =  M M

C) A  C =  D) A’  B =  E) A  C’ = 
E) F
6. De las siguientes premisas: B

P1 : –(S  P  ) P2 : –( S  M  ) M

La conclusión válida que completa el

silogismo es: 10. En el gráfico:
La conclusión que se lee es:
A) M P =  B) M P =  A) Todo no B es C
C) M P   D) M P =  E) SP =  B) Ningún A es 8
C) Ningún B es C
7. En el diagrama: D) Todo no A es B
Donde: J A E) Nada se puede concluir
D = Deportistas x

D 4