IDEPUNP / CICLO REGULAR / ENERO - MARZO 2008 1 RAZONAMIENTO

LGICO

aquellas que se obtienen al combinar las

SEMANA N 02 proposiciones simples unidas por uno o ms
conectores lgicos.
Ejemplos: 1. Es mentira que, 17 es nmero
TEMA: FORMALIZACIN compuesto.
2. El 25 es nmero impar y un cuadrado
perfecto.
SIMBOLIZACIN DE PROPOSICIONES Y EL USO DE 1. Proposicin Conjuntiva ( ): Se denomina as
LOS SIGNOS DE AGRUPACIN. a la
proposicin que presenta el conector binario y el
Simbolizar una proposicin compuesta consiste en cual desempea el papel de compatibilizador de dos
asignar a cada proposicin simple una variable proposiciones.
proposicional y a cada conector lgico su respectivo Ejemplo: Jos es Abogado incluso es docente: pq
smbolo, teniendo en cuenta la jerarqua de los
conectivos lgicos o de lo contrario los signos de 2. Proposicin Disyuntiva Incluyente (v): Se
puntuacin (, , ; , .) denomina as a la proposicin que presenta el
Empleando los signos de coleccin. conector binario o el cual da la posibilidad de dos o
Los signos de coleccin son: ms proposiciones a la vez.
Parntesis ( ) Para aclarar mejor se puede agregar el trmino al final
Corchetes [ ] o ambos
Llaves { } Ejemplo: Diego postula a la Universidad a menos que
postule al instituto: p v q
PRIORIDAD O JERARQUIA DE LOS CONECTIVOS 3. Proposicin Disyuntiva Excluyente ( ): Se
LGICOS denomina as a la proposicin que presenta el
En la formalizacin de proposiciones de se conector binario o y excluye la posibilidad de que se
debe tener en cuenta la prioridad que tienen los den ambas proposiciones a la vez.
conectivos lgicos en el siguiente orden: (de menor a Ejemplo: Manuel naci en Per o Ecuador: p
mayor) q
1ro Negacin: " "
2do Conjuntor y disyuntor dbil: "" , "" 4. Proposicin Implicativa (): Se denomina as
3ro Implicador o Replicador: " , a la proposicin que presenta el conector binario Si A
4to Disyuncin fuerte: "" entonces B, el cual enlaza a una proposicin que es el
5to Bicondicional: "" antecedente con otra proposicin que es el
consecuente o conclusin.
Nota: Caso contrario se tiene en cuenta los signos Ejemplo: Si hay inflacin entonces subirn los
de puntuacin, siendo el conectivo dominante precios:
el que est fuera de todo signo de coleccin. Ejemplo. pq
Es incierto que Martn se case, a menos que viaje a
Francia si obtiene la beca. 5. Proposicin Replicativa (): Se denomina as
Luego: p: Martn se casa a la proposicin que presenta el conector binario Si.
q: Martn viaja a Francia Es un caso especial de proposicin implicativa el cual
r : Martn obtiene la beca resulta cuando el Si o sus sinnimos estn entre A y
La formalizacin es: p (q r) B.
Ejemplo. Es incierto que Martn se case a Ejemplo: Morirs si estas con sida: p q
menos que viaje a Francia si obtiene la beca.
La formalizacin es: [(p q) r] 6. Proposicin Biimplicativa (): Se denomina
as a la proposicin que presenta el conector binario
CLASES DE PROPOSICIONES si y slo si el cual desempea la funcin de doble
condicional. Es decir la conjuncin de la condicional
A. Proposicin Simple o Atmica: Formado por con la recproca.
un solo sujeto y predicado, es decir que carece de Ejemplo: Suben los precios si y solo si sube la
conectores lgicos mondicos y bindicos. Estas gasolina:
proposiciones a su vez pueden ser predicativas y p q
relacionales.
1) Proposiciones Simples Predicativas: Atribuyen 7. Proposiciones Negativas (): Se denomina as
o afirman una caracterstica respecto a un objeto. a la proposicin que presenta el conector mondico
Ejemplo: 1.- 13 es nmero primo No el cual permite cambiar el valor de veracidad de
2.- Las plantas tienen clorofila la proposicin.
2) Proposiciones Simples Relacionales: Ejemplo: Pedro no es doctor: p
Establecen una relacin entre dos o ms sujetos que Deduccin.
tienen una misma categora gramatical. La deduccin lgico matemtica consiste en lo
siguiente: A partir de una serie de frmulas admitidas
Ejemplos: como ciertas, y denominadas axiomas, hiptesis o
1.- ICA est al sur de Lambayeque. (Relacin espacial) premisas, se obtiene otra frmula llamada conclusin
2.- Juan y Sara se aman. (Relacin afectiva) o tesis, mediante la aplicacin de reglas lgicas
precisas. El proceso mediante el cual se pasa de las
B. Proposiciones Compuestas o Moleculares: hiptesis (premisas) a la tesis.
Son
IDEPUNP / SUPERINTENSIVO 2006 RAZONAMIENTO LGICO

Un teorema es una frmula que figura dentro de una

demostracin. Es decir, un teorema es una frmula que
es o bien un axioma, o bien, una consecuencia de ste.
Una frmula se dice que es falsa si su negacin es un
teorema.

Una teora es contradictoria cuando se tiene una

frmula R que es verdadera y falsa a la vez. Esto es: R
y son teoremas de la teora.
IDEPUNP / CICLO REGULAR / ENERO - MARZO 2008 1 RAZONAMIENTO LGICO

1. Formalizar: O los hombres tienen iguales derechos o d) p : q r

no son libres.
a) p q e) : p : q r
b) p : q
9. La formalizacin de: La suma de sucesiones positivas
c) p q es una sucesin positiva y el producto de sucesiones
d) p q positivas es una sucesin positiva equivale a decir
e) p : q que la suma y el producto de dos nmeros reales
positivos es un nmero real positivo, es:
2. Dado el argumento: Si Javier tiene razn, o Pedro es a) p q r s
culpable o inocente; y Martn es culpable. Su
formalizacin es: b) p q r s
a) p q : q r c) p q r s
b) p q : q r d) p q r s
c) p q : q r e) p q r s
d) p q q r 10. Dado el argumento: El hidrxido de aluminio es
p q : q r maleable; y a igualdad de peso, mejor conductor de la
e)
electricidad que el cobre. Su formalizacin es:
a) p q r
3. Formalizar el siguiente argumento: Cientos de vidas
podran salvarse cada ao si la gente utilizara el b) p q r
cinturn de seguridad
c) p q r
a) p q
b) p q d) p q : r
c) p : q : p q r
e)
d) p q
e) p 11. La formalizacin de: Si el hombre es moral, no est
determinado unvocamente por el ambiente y cabe
4. La formalizacin de: Democracia significa un modo de exigirle cuenta de sus decisiones, es:
vida en el que la libertad y la justicia estn presentes,
es: a) p : q r
a) p q b) p q r
b) p
c) p : q r
c) p q
d) p q d) p : q r
e) : p p : q r
e)
5. Dado el argumento: Si Carla est furiosa, entonces o 12. Formalizar el siguiente argumento: O la televisin
Arnulfo est desconcertado o Alicia no est alegre. Su modifica sus esquemas y renueva su programacin o
formalizacin es: se producir una huda masiva de telespectadores y
a) p q : r veremos las calles conglomeradas de gente
p : q : r a) p q r s
b)
c) p q : r b) p q r s
d) p q : r c) p q r s
e) : p q : r d) p q r s
e) p q r s
6. Formalizar: Dos es un nmero primo porque slo es
divisible por si mismo y por la unidad 13. La formalizacin de: Si ganan las elecciones y
nuestros representantes acceden al poder,
a) p q r
confiaremos en ellos si y slo si cumplen sus
b) p : q r promesas y el poder no les corrompe, es:
c) : p q r a) p q r s : t

d) p q r b) p q r s : t

e) p q r c) p q r : s : t
d) p q r s : t
7. La formalizacin de: Obtendrs la licenciatura a
condicin de que superes el ltimo ciclo, es: e) p q r s : t
a) p : q
b) p q
c) p q 14. Dado el argumento: Es suficiente que Cecilia estudie
d) p q Lgica para que tenga un pensamiento crtico. Su
e) p q formalizacin es:
a) p : q
b) p q
8. Formalizar el siguiente argumento: Un conjunto C es c) p q
un subconjunto propio de un conjunto D si y slo si no d) p q
hay elementos de C que no sean elementos de D, e) p q
pero hay un elemento de D que no es elemento de C.
a) p : q r 15. Formalizar: Si el nmero n es positivo, entonces n2
b) p q r es positivo. Si n es negativo, entonces n2 es
positivo. n es positivo o negativo. En consecuencia,
c) p : q r n2 es positivo
IDEPUNP / CICLO REGULAR / ENERO - MARZO 2008 2 RAZONAMIENTO LGICO

a) p q p : q p : p q a) p q r

b) p q : p q p : p : q b) p q r
p q r
p q : p q p : p q
c) c)

p q : p q p : p q d) p q r
d)
e) p q r
e) p q : p q p : p q

22. Formalizar: La lgica difusa es tecnologa en

16. Dado el argumento: Si el RH de la futura madre es
desarrollo al igual que la electrnica digital, no
negativo, debe analizarse inmediatamente despus de
obstante en virtud de que ambas se aplican en la vida
cada parto la sangre del recin nacido y, si sta es RH
diaria es evidente que ambas se ensean en las
positivo, ha de administrarse a la parturiente el suero
universidades.
apropiado si se desea evitar complicaciones a otros
hijos. Su formalizacin es:
a) p q r s t
a) p q r s t u
b) p q r s t b) p q r s t u
c) p q r s t c) p q r s t u
d) p q r s t d) p q r s t u
e) p q r s t e) p q r s t u
23. Formalizar el siguiente argumento: Si compras un
17. Formalizar el argumento: O est lloviendo y nevando,
chocolate, no compras un helado; pero si compras un
o est soplando el viento.
chupetn, compras un chocolate, y compres las tres.
a) p q r Por tanto, compra slo uno de los tres
b) p q : r
c) p q r a) p : q r p p q r p q r
d) p q r b) p : q r p : p q r p q r
e) : p q r c) p : q r p p q r p q r
18. Dado el argumento: Aristteles naci en Estagira y d) p : q r p p q r p q r
fue tutor de Alejandro Magno. Pero si naci en
Estagira fue de nacionalidad Macednica. Por tanto
e) p : q r p : p q r p q r
Aristteles fue de nacionalidad Macednica. Su
formalizacin es: 24. Formalizar: 2 5 es incompatible con que, 2 5 es
a) p q p r r necesario para que 2 5

b) p q p r r
a) : p | q r
c) p q p r r b) : p | q r
d) p q p r r : p | : q r
c)
e) p q p r r d) : p q r
e) : p q r
19. Formalizar el siguiente argumento: Es suficiente, para
no tener malestar en el cuerpo, que no juegue ftbol o
no vaya a bailar 25. Dado el argumento: Liberen a delincuentes porque as
lo declar el Poder Judicial, en vista de que, si declar
a) : p : q : r
el Poder Judicial, demostr su falla de informacin
b) p : q : r
c) : p : q : r a) p q q r

d) : p : q : r b) p q q r

e) : p : q r c) p q q r
d) p q q r
20. Dado el argumento: Es necesario usar la frmula
e) p q q r
n n. n 1
i 2 , para representar S 1 2 3 ... n .
i 1

Su formalizacin es:
26. Formalizar el siguiente argumento: Es falso que, si
a) p : q Mara no estudia lgica no habra podido dirigir el
b) p q instituto; dado que Mara no ha podido dirigir el
c) pq instituto ya que es duea de la universidad
d) pq
a) : : p : q : q r
e) pq
b) : : p : q q r

21. Dado el argumento: Para que Cos , es

1 c) : : p : q : q r
2
d) : : p : q : q r
necesario que 60 60 . Su formalizacin
es: e) : p : q : q r
 IDEPUNP / CICLO REGULAR / ENERO - MARZO 2008 3 RAZONAMIENTO LGICO

27. Formalizar: Como quiera que la materia tanto como la La deduccin lgico matemtica consiste en lo siguiente: A
energa, no se crea ni se destruye, es obvio que slo
partir de una serie de frmulas admitidas como ciertas, y
se transforma.
denominadas axiomas, hiptesis o premisas, se obtiene
a) : p : q : r : s t u otra frmula llamada conclusin o tesis, mediante la
b) : p : q : r : s t u aplicacin de reglas lgicas precisas. El proceso mediante
c) : p : q : r : s t u el cual se pasa de las hiptesis (premisas) a la tesis.

d) : p : q : r : s t u

e) : p : q : r : s t u Un teorema es una frmula que figura dentro de una

28. Dado el siguiente argumento: Si Amanda recibi la
carta, o bien tom el bus o bien recibi el pedido; no
obstante Amanda no tom el bus. Luego y slo luego,
si Amanda recibi la carta, por eso no recibi el
pedido
demostracin. Es decir, un teorema es una frmula que es
o bien un axioma, o bien, una consecuencia de ste.
Una frmula se dice que es falsa si su negacin es un
teorema.

a) p q r : q p : r Una teora es contradictoria cuando se tiene una frmula R

b) p q r : q p : r que es verdadera y falsa a la vez. Esto es: R y son

teoremas de la teora.
c) p q r : q p : r
d) p q r : q p : r
e) p : q r : q p : r
29. La formalizacin correcta de: No es falso que, la
medicina es una de las reas ms beneficiadas por la
conquista espacial porque las tcnicas de monitoreo
corporal aplicada a los astronautas han servido de
base en el diseo de diversos equipos mdicos; dado
que, el que se est salvando muchas vidas en el rea
mdica implica que la tecnologa tiene resultados
satisfactorios, es:

a) : : p q r s
b) : : p q r s
c) : : p q r s
d) : : p q r s
e) : p q r s

30. El enunciado: Si la naturaleza no es factor pasivo de

la produccin, lo es el trabajo, a menos que el capital
sirva para producir nuevos bienes; pero en realidad el
trabajo es el factor dinmico de la produccin. En
consecuencia, en la produccin de bienes intervienen
muchos factores sin embargo la empresa relaciona a
todos ellos. Se formaliza:

a) : p q r s t u
b) : p q r : q s t
c) : p q r : s t u
d) : p q r s t u
e) : p q r s t

::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

1. Proposiciones Negativas (): Se denomina as a la

proposicin que presenta el conector mondico No el cual
permite cambiar el valor de veracidad de la proposicin.
Ejemplo: Pedro no es doctor: p
Deduccin.
IDEPUNP / CICLO REGULAR / ENERO - MARZO 2008 4 RAZONAMIENTO LGICO

HOJA DE CLAVES

Ciclo Enero - Marzo 2008

Curso: RAZONAMIENTO LOGICO.

Semana: 02 Tema: Formalizacin

Pregunta Clave Tiempo Dificultad

(Min.)
01 e 2 F
02 c 2 F
03 a 2 F
04 b 2 F
05 d 2 F
06 e 2 F
07 c 2 F
08 a 2 F
09 e 2 F
10 b 2 F
11 a 2 F
12 c 2 F
13 d 3 M
14 b 2 F
15 e 3 M
16 a 3 M
17 c 2 F
18 d 3 M
19 a 2 F
20 b 2 F
21 e 2 F
22 c 3 M
23 a 3 M
24 b 2 F
25 e 2 F
26 c 2 f
27 d 3 M
28 b 3 M
29 a 3 M
30 a 3 M