RAZONAMIENTO MATEMTICO Grety N.

Torres Ticona

LGICA PROPOSICIONAL
Estudia la inferencia o razonamiento, estableciendo los a) ( p q ) ( p q )
principios y mtodos para determinar su validez. b) ( p q ) ( p q )
7. Ley del Condicional
ENUNCIADO a) p q p q
8. Leyes del Bicondicional
Frase u oracin que se a) p q ( p q ) ( q p )
utiliza en el lenguaje comn. b) p q ( p q ) ( p q )
9. Disyuncin fuerte
PROPOSICIN NO PROPOSICIN
(Enunciado a) p q ( p q)
cerrado) Preguntas b) p q ( p q)( p q)
V Exclamaciones 10. Leyes de la Absorcin
Afirma algo
V Deseos a) p ( p q ) p
F
CLASES Ordenes b) p ( p q ) p
V
Dudas c) p ( p q ) p q
P. Simples (Atmicas, refranes d) p ( p q ) p q
mondicas): Una ENUNCIADO 11. Leyes de Transposicin
Afirmacin ABIERTO (funcin a) ( p q ) ( q p )
P. Compuesta
proposicional) b) ( p q ) ( q p )
(Moleculares):
Son P. simples enlazadas OPERACIN
SMBOLO LOCUCIN
LGICA
TABLA DE VERDAD y, pero, aunque, sin embargo, no
obstante, tambin, as como, a la
p p p p p p p Conjuncin , vez, tan como, al igual que,
p q
p
q q q q q q q
incluso, as mismo, adems.
Disyuncin dbil o, u, salvo, a menos que,
V V V V V V F F F F
o inclusiva excepto.
V F F V F F V V F F
F V F V V F V V F V Disyuncin fuerte , , O o
F F F F V V F V V V o exclusiva ,
Si entonces, de modo que, por
Tautologa: Si la matriz principal tiene valores verdaderos. lo tanto, conclusin, luego, por
Contradiccin: Si la matriz principal tiene valores falsos. Condicional consiguiente, derivamos, por lo
Contingencia: Si la matriz tiene valores verdaderos y falsos. directa o , tanto, se infiere, se deduce,
implicacin implica, por eso, es obvio, de all
EQUIVALENCIAS NOTABLES que, por ello, es condicin
1. Ley de Involucin (doble negacin): suficiente para, solo si.
( p )= p Siempre que, ya que, pues,
2. Ley de Idempotencia puesto que, supone que, porque,
a) p p p Condicional
indirecta a condicin de que, dado que, es
b) p p p condicin necesaria para, cada
3. Leyes Conmutativas vez que, cuando, debido a que.
a) p q q p Si y solo si, solamente si, cuando
b) p q q p y solo cuando, entonces y solo
c) p q q p Bicondicional , entonces, es idntico, cada vez
4. Leyes Asociativas que y solo si, es condicin
a) ( p q ) r p ( q r ) necesaria y suficiente para.
No, es falso que, , no es cierto
b) ( p q ) r p ( q r ) Negacin , , p que, no es verdad que.
c) ( p q ) r p ( q r ) Negacin alterna No o no , Es incompatible.
5. Leyes Distributivas o barra de ,/,
a) r ( p q ) ( r p ) ( r q ) Shaffer |
b) r ( p q ) ( r p ) ( r q ) Negacin Ni ni
c) r ( p q ) ( r p ) ( r q ) conjunta o flecha
de Nicod
6. Leyes de Morgan
12. Formas Normales
1
RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

a) Para la conjuncin:
V V V Conmutador cerrado: Permite el paso de la corriente e
V p p
F pF
b) Para la disyuncin: Interruptores
FF F
F p p
V pV Conmutador abierto: Impide el paso de la corriente
PROPOSICIONES CATEGRICAS

Verbo
Todo tacneo es peruano
sujeto Predicado TIPOS:
Cuantificador Circuito en Serie ( p q)

FORMA DIAGRAMA DE NEGACIN

TIPOS
LINGUSTICA VENN LGICA Circuito en paralelo ( p q)
Universal S PV
Todo S es P SV Algn S no es P
afirmativa q
s PV
Universal
negativa
Ningn S es P Algn S es P EJERCICIOS DESARROLLADOS

Particular s P 1. De los enunciados siguientes:

Algn S es P Ningn S es P
afirmativa V
Llegars temprano?
Particular s PV Salude al ingreso por favor.
negativa
Algn S no es P s Todo S es P El cuadrado de todo nmero real es positivo.
El pisco es peruano.
CUANTIFICADORES LGICOS
I am in the University.
Con una Variable
Cuantificador Universal: Cuantificador Existencial:
Cuntos son proposiciones?
x x A)1 B)2 C)3 D)4 E)5
(Universalizador o (Particulazador o
generalizador) existencializador)
Para todo x Existe x
Para cada x Algunos x
SOLUCIN:
Para cualquier x Exista al menos un x
Cualquiera que sea x Tantos, ciertos, muchos x Llegars temprano? (No es proposicin, por ser
Sean todos los x Existe por lo menos un x pregunta)
Para cada una de las x Pocos, muchos x Salude al ingreso por favor. (No es proposicin, por ser
Hay al menos un x que
una orden)
Con dos Variables
El cuadrado de todo nmero real es positivo. (Si es
proposicin)
FORMA FORMALIZACIN NEGACIN
LINGUSTICA LGICA LGICA El pisco es peruano. (Si es proposicin)
Todo S es P x (S x Px ) x (S x P x ) I am in the University. (Si es proposicin)
Ningn S es P x (S x Px ) x (S x P x )
3 son proposiciones
Algn S es P x (S x P x ) x (S x Px ) CLAVE: C
Algn S no es P x (S x P x ) x (S x Px )
2. De los enunciados:
CIRCUITOS LGICOS 2 4 : es una proposicin simple.
2 x + 4=5 , es una proposicin simple.
2 x + 4 5 , Es una proposicin compuesta.
2+4 5 , es una proposicin compuesta.
2
RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

A)FFVV B)FFFV C)VFVV D)VFVF E)FFFF CLAVE: A

SOLUCIN: 5. La proposicin: Si hay humedad, entonces las plantas

crecen. Es equivalente a decir:
2 4 : es una proposicin simple. (F) A) Las plantas crecen y hay humedad.
(Dos no es igual a cuatro es proposicin compuesta, por B) Si las plantas no crecen no hay humedad.
el tener adverbio no) C) No hay humedad y las plantas crecen.
2 x + 4=5 , es una proposicin simple. (F) D) Las plantas no crecen y hay humedad.
(Es un enunciado abierto porque tiene variable) E) Todas las anteriores.
2 x + 4 5 , Es una proposicin compuesta. (F)
(Es un enunciado abierto porque tiene variable) SOLUCIN:
2+4 5 , es una proposicin compuesta. (V) Simbolizando la proposicin con:
(Dos ms cuatro es menor o igual a cinco, es compuesta p: hay humedad
porque tiene conectivo) q: las plantas crecen
CLAVE: B Se obtiene:
p q q p (Transposicin)
CLAVE: B
3. Dadas las proposiciones: Tendremos muchas flores en
el jardn; si la estacin es propicia y las semillas no
estn malogradas, la simbolizacin correcta es:
6. Dados los siguientes esquemas tautolgicos:
I. ( p q ) ( p r )
A) (q r ) p
II. ( q q)
B) p(q r )
Calcule los valores veritativos de p, q y r.
C) q ( r p)
D) (q p) r A)VVV B)VFF C)FVF D)FVV E)FFF
E) p(q r )
SOLUCIN:
SOLUCIN: Tenemos los esquemas tautolgicos:
Simbolizando la proposicin con: De los esquemas, resolvemos primero (II) para
p: tendremos muchas flores en el jardn reemplazar en (I)
q: la estacin es propicia De I:
r : las semillas estn malogradas ( p q ) ( p r ) V
Se obtiene: F V V V Donde:
p(q r )(q r ) p VV
De II: p F
CLAVE: A q V
( q q ) V
r V
4. Dadas las proposiciones: Ins habla alemn; Ins habla VF
ingls; Ins habla francs. Simboliza la siguiente F
proposicin compuesta: No es cierto que Ins no habla CLAVE: D
francs y alemn sino ingls.
7. Si se sabe que p q F y q r F , Cuales
A) [( r p ) q ] son los valores de verdad de:
B) [(r p ) q ] I. [ ( p r ) q ] ( r q )
C) [( r p ) q ] II. ( p q ) ( q q )
D) [( r p ) q ] III. [ ( p r ) q ] ( p q )
E) [ (r p) q ]
A)VVF B)FVF C)VVV D)FFV E)VFV
SOLUCIN:
Simbolizando la proposicin con: SOLUCIN: Donde:
p: Ins habla alemn Si p q F q r F p F
q: Ins habla ingles FV V F q V
r: Ins habla francs rF
Se obtiene: Reemplazando
[( r p ) q ] I) [ ( p r ) q ] ( r q )
3
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

[ ( F F ) V ] ( F V ) CLAVE: A
[(V ) V ] (V ) 9. De la falsedad de la proposicin:
[V ]V ( p q ) ( r s ) , determinar el valor de verdad
V de los esquemas moleculares.
I) ( p q ) q
II) ( p q ) ( q q )
II) [ ( r q ) ( q r ) ] s
( F V ) (V V )
III) ( p q ) ( p q ) q
(V ) ( F)
F
A)FFF B)FVV C)VVF D)VFV E)VVV
III) [ ( p r ) q ] ( p q ) SOLUCIN:
[ ( F F ) V ] ( F V ) la falsedad: Donde:
[ ( F ) V ] (V ) ( p q ) ( r s ) F
V V VFVF p V
FF q V
V Reemplazando: rF
CLAVE: E I) ( p q ) q q F s F
8. Si la proposicin: ( p q ) r es falso, seale II) [ ( r q ) (
q r ) ] s
el valor de verdad de las siguientes expresiones. [ ( F V ) ( V F ) ] F
I. ( p q) r [(V ) ( F )] F
II. ( p q ) ( q r ) p [F] F
III. ( p q ) ( q r ) ( p q ) F

A)FFF B)VVV C)FVV D)VVF E)VFV III) ( p q ) ( p q ) q

SOLUCIN: ( V V ) ( V V ) V
(V ) (V ) F
Si: ( p q ) r F Donde:
F rF
p q F
VF CLAVE: A
Reemplazando
10. El valor de :
I) p ( q r )
[ ( p q ) ( r q ) ] [ ( p q ) ( q p ) ]
p q r es verdadera.
F r
Hallar el valor de verdad de p, q y r.
F
II) ( p q ) ( q r ) p A)VFV B)VVF C)FVV D)VFF E)FFV
( p q ) ( q F ) p
SOLUCIN:
p ( p q ) ( q F ) Se tiene:
p q [ ( p q ) ( r q ) ] [ ( p q ) ( q p ) ] V
F F FV F
III) ( p q ) ( q r ) ( p q ) FF
F
( p q ) ( q r ) ( p q )
VV
( p q ) ( q r ) ( p q ) Donde:
p q q r ( p q )
p q q r p V
p F V qF
r V
pF CLAVE: A
F
4
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

11. Si la proposicin: Es falso que, hablamos y no { ( F t ) p } F

trabajamos es falsa, entonces podemos afirmar que:
A) Hablamos y trabajamos. { ( V ) p} F
B) No hablamos o trabajamos. {V } F
C) Si trabajamos entonces trabajamos. F
D) Trabajamos si y solo si hablamos.
E) Si trabajamos, no hablamos. { ( r p ) q } q
III)
SOLUCIN: {( V p ) F } F
{ ( V ) V } F
Simbolizando la proposicin con: {V } F
p: Hablamos V
q: Trabajamos
Se obtiene: Donde: CLAVE: B
( p q) F p V 13. De la falsedad:
VV qF ( p q ) ( r s)
V Halle el valor de verdad de los siguientes esquemas
moleculares.
Reemplazando y analizando las alternativas: I. ( q s ) p
A) p q V F F II. ( r s ) ( p q )
B) p q V F F
C) p q V F F III. p [ q ( s r ) ]
D) q p F V F
A)VFF B)FVV C)FFF D)VFV E)FVF
E) q p F V V
SOLUCIN:
CLAVE: E De la falsedad: Donde:
( p q ) ( r s)=F p V
VFVF q V
12. Si la proposicin: FF rF
s V
{ ( p q ) r } q es falsa. Reemplazando:
Las siguientes proposiciones son: I) ( q s ) p
( V V ) V
I. [ ( p r ) p] q
II. { ( r t ) p } q ( F) F
F
III. {( r p ) q } q II) ( r s ) ( p q )

A)VVV B)VFV C)FFV D)FVV E)FVF ( F V ) ( V V )

(V ) (V )
F
SOLUCIN:
{ ( p q ) r } q F Donde: III) p [ q ( s r ) ]
p F p p
qF V [V (V F )]
FV
rF V [V ( F )]
VF
V [V ]
Reemplazando: F
CLAVE: C
I) [ ( p r ) p] q
[ ( p F ) p ] V 14. Reduzca la siguiente proposicin: No es cierto que Ricardo
[( p ) p ] V sea una persona tranquila y un doctor, entonces Ricardo es
[V ]V maestro o no es una persona tranquila; adems Ricardo es
maestro.
V
A) Ricardo es tranquilo.
II) { ( r t ) p } q B) Ricardo es doctor.
5
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

C) Ricardo es tranquilo y doctor. 17. Esquematice la siguiente proposicin utilizando el

D) Ricardo es maestro. lenguaje lgico: Si David no trabaja podra estudiar;
E) Ricardo es doctor y maestro. para que ello le suceda, su hermana Yola debe trabajar,
por ende, dejara de estudiar.
SOLUCIN: A) ( r s ) ( p q )
B) ( p q ) ( r s )
Simbolizando la proposicin con:
p: Ricardo es tranquilo C) ( r s ) ( p q )
q: Ricardo es un doctor D) ( r s ) ( p q )
r: Ricardo es un maestro
Se obtiene: E) ( r s ) ( p q )
[ ( p q) ( r p ) ] r SOLUCIN:
[ ( p q ) ( r p ) ] r Simbolizando la proposicin con:
[ ( p q ) r p ] r (Absorcin) p: David trabaja
r q: David estudia
r: Ricardo es maestro. r: Yola trabaja
CLAVE: D s: Yola estudiara
Se obtiene:
15. Si se cumple que: ( p q ) ( r s ) ( r s ) ( p q )
pq p q
pq p q CLAVE: E
Reduzca:
18. Simplificar:
{ q [ ( p ( rs ) ) p ] } [ ( p q ) q ] ( p q ) (q p )
A)p B)q C) p q D)
A)p B)pvq C) p D)q E) q p q E) p q

SOLUCIN:
SOLUCIN: ( p q ) (q p )
( q p ) ( p q )
{ q [ ( p ( rs ) ) p ] } [ ( p q ) q ]
[ ( q p ) ( p q ) ] [ ( p q ) ( q p ) ]
{ q [ p ] } [ ( p q ) q ] [ ( q p ) ( p q ) ] [ ( p q ) ( q p ) ]
{q p } q
[ ( q p ) p q ] [ ( p q ) q p ]
{ q p } q
[ p q] [ q p]
{ q p } q
q
[ p q ][q p ]
p q
CLAVE: E CLAVE: E

Equivalencias:
16. Simplifique: p q ( p q ) ( q p )
{[ p ( q r s p ) ] [ p ( p r ) ] } ( r s t ) p q ( p q ) ( p q )
19. No aprend qdado
p qlgica quep no aprend matemtica; ya que
A)V B)F C) p q D) p q aprendo matemtica o lgica.
E) (r s) t De lo anterior, se concluye que:
A) No aprendo matemtica ni lgica
SOLUCIN: B) Aprendo matemtica y lgica
C) Aprendo matemtica o lgica
{[ p ( q r s p ) ] [ p ( p r ) ] } ( r s t ) D) No es cierto que, aprenda lgica pero no matemtica.
{[ p ] [ p ] } ( r s t ) E) No es cierto que, aprenda matemtica pero no lgica.
{ V } ( r s t )
SOLUCIN:
F ( r s t ) V
Simbolizando la proposicin con:
CLAVE: A p: Aprend lgica
6
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

q: Aprend matemtica SOLUCIN:

Se obtiene:
( p q ) ( q p) R= p [ {[ ( p q ) r ] r } {[ ( p q r ) ( p q ) ] r }]
( p q ) ( q p ) R= p [ { r } {[ ( p q ) ] r }]
p q ( q p ) R= p [ r { p q r } ]
pq R= p r
( p q) CLAVE: A
No es cierto que, aprenda lgica pero no
matemtica 23. De las siguientes proposiciones, halle cuales son
equivalentes:
CLAVE: D I. Es necesario que Sofa no vaya al cine para que
termine su tarea.
20. Si pq ( q p ) ; II. No es cierto que Sofa termine su tarea y vaya al cine.
p q p q III. Sofa no terminar su tarea y no ir al cine.
Reducir: E= [ ( p q ) ( pp ) ] p A)I y III B)I y II C)II y III D)Todas E)Ninguna.

B) p C) q SOLUCIN:
A)p D) q
E) p q Simbolizando la proposicin con:
p: Sofa va al cine
SOLUCIN: q: Sofa termina su tarea
Se obtiene:
pq ( q p ) ;
I) q p q p
p q p q q p II) ( q p ) p q
E= [ ( p q ) ( pp ) ] p III) q p

[ ( q p ) ( p p ) ] p I y II son equivalentes
V CLAVE: B
[ ( F ) ( q p ) ] p 24. Simplificar:
Vp
p V
[ ( q p ) ( p q ) ] [ p q ]
Se obtiene:
pF
p A) q p B) q p C)
CLAVE: B
p q D) p q E) ( p q )
21. Si p q p q ; Reduzca:
[ ( p p ) ] [ ( p q ) q ] SOLUCIN:
A)F B)V C)p D)q E) p [ ( q p ) ( p q ) ] [ p q ]
SOLUCIN: [ ( q p ) ( p q ) ] [ p q ]
[ ( q p ) p q ] p q
[ ( p p ) ] [ ( p q ) q ] pq
[ ( p p )] [ ( p q) q ] ( p q)
p [ ( p q ) q ]
p [ ( p q ) q ] CLAVE: E
p ( p q ) 25. Simplifique:
p ( p q ) [ ( p q ) ( p r ) ] [ q p ]
p A) q B) p q C)
CLAVE: C
22. Simplifique: pq D) q p E)
p q
R= p [ {[ ( p q ) r ] r } {[ ( p q r ) ( p q ) ] r }] SOLUCIN:
A) p r B) p q C) [ ( p q ) ( p r ) ] [ q p ]
q r D) q r E) q r [ ( p q ) ( p r ) ] [ q p ]
7
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

[ ( p q ) p r ] q p 28. Determinar los esquemas ms simples de la proposicin:

[ q p r ] q p [ ( p q ) q ] p
q p
A) q B) p C) p q D) p q E) p q
CLAVE: E
SOLUCIN:
26. Formalice el siguiente enunciado: Simplificando:
Si Juan es msico, entonces Juan es cantante; pero Juan no [ ( p q ) q ] p
es msico, por lo tanto es cantante. Igualmente Juan es
compositor, adems, si Juan no hubiera sido compositor, [ ( p q ) q ] p
entonces sera cantante. [ ( p q ) q ] p
Indique su expresin equivalente ms simple. [ p q] p
A) Juan es msico y cantante.
B) Juan es cantante y compositor q p p q
C) Juan es msico y compositor.
D) Juan es cantante o msico.
CLAVE: C
E) Juan es compositor o cantante.
29. Cuntas proposiciones negativas se muestran a
SOLUCIN: continuacin?
I. Carlos no fu a trabajar y visit a Mara.
Simbolizando la proposicin con: II. Carlos fu a trabajar y no visit a Mara.
p: Juan es msico III. Es falso que, Carlos fu a trabajar y visit a Mara.
q: Juan es cantante IV. Carlos no fu a trabajar o visit a Mara.
r: Juan es compositor V. Si Carlos fu a trabajar entonces no visit a Mara.
Se obtiene: A)1 B)2 C)3 D)4 E)5
[ ( p q ) ( p q ) ] r ( r q ) SOLUCIN:
[ ( p q ) ( p q ) ] r ( r q )
Simbolizando la proposicin con:
[ q ( p p ) ] r p: Carlos fu a trabajar
[ q ( p p ) ] r q: Carlos visit a Mara
[q ( F )] r Se obtiene:
q r I) p q es conjuncin
II) p q es conjuncin
Juan es cantante y compositor
CLAVE: B III) ( p q ) es negacin
IV) p q es disyuncin
V) p q es condicional
27. Utilizando las leyes lgicas simplifique: CLAVE: A
[( p q) ( p q ) ] ( p r )
30. La proposicin: Daniel no maneja si est cansado, es
A) p q B) p C) q D) p q verdadera, se puede afirmar que:
E) q r A) No es cierto que, Daniel no maneja y est cansado.
B) No es cierto que, Daniel maneja y no est cansado.
C) No es cierto que, Daniel maneja y est cansado.
SOLUCIN: D) No es cierto que, Daniel no maneja y est cansado.
Simplificando: E) No es cierto que, Daniel no maneja.
[( p q) ( p q ) ] ( p r )
SOLUCIN:
[ ( p q) ( p q ) ] ( p r )
[( p q) ( p q ) ] ( p r ) Simbolizando la proposicin con:
[ p ( q q)] ( p r ) p: Daniel maneja
[ p (V ) ] ( p r ) q: Daniel est cansado
p ( p r ) Se obtiene:
p p q q p q p ( p q)
CLAVE: B CLAVE: C

8
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

31. Sea: p p q q
s:Voy al colegio V q
suponiendo que t es falsa y s es verdadera, sealar el V
valor veritativo de las siguientes proposiciones. Es tautologa
CLAVE: E
A)FVV B)VVV C)FFV D)VVF E)FVF
34. Al negar la proposicin: Bety dice que Coco no tiene 15
SOLUCIN: aos, se obtiene:
A) Bety dice que Coco tiene 15 aos.
Simbolizando la proposicin con: B) Bety no dice que Coco tiene 15 aos.
s: Voy al colegio V C) Bety no dice que Coco no tiene 15 aos.
D) Bety dice que Coco tiene menos de 15 aos.
t: Duermo hasta el 1/2 da F E) Bety no dice que Coco tiene ms de 15 aos.
SOLUCIN:
Reemplazando se obtiene: La proposicin mencionada es simple predicativa, existe
verbo (dice) y la caracterstica del predicado (Coco no tiene
15 aos)
I) s t V F F Al negar la proposicin, se niega el verbo y mantiene la
II) s t V F V misma caracterstica.
III) t s F V F Bety no dice; que Coco no tiene 15 aos
CLAVE: E
Niega el verbo Caracterstica

32. Simplifique el esquema molecular: CLAVE: C

{[ ( q p ) ( p q ) ] ( p q ) } q
A) p B) p C) p q D) 35. Se tiene acceso a las siguientes proposiciones:
- Todos los docentes son personas cultas.
q E) q - Algunos docentes no son ingenieros.
Por lo tanto, se puede concluir que:
SOLUCIN:
A) Los ingenieros son cultos.
{[ ( q p ) ( p q ) ] ( p q ) } q B) Todos los ingenieros son docentes.
{[ ( q p ) ( p q ) ] ( p q ) } q C) Todas las personas cultas son docentes.
D) Algunas personas cultas no son ingenieros.
{[ q p ( p q ) ] ( p q ) } q E) Los que no son ingenieros no son cultos.
{[ q p ] ( p q ) } q
{ q ( p p ) } q SOLUCIN:
{ q (V ) } q ( D P . C .)
q ( D I )
CLAVE: D ( I P .C .)( P .C . I )
Algunas personas cultas no son ingenieros.
33. Al simplificar: CLAVE: D
[ ( p q ) p ] q , se obtiene: 36. La negacin de Todos los rectngulos son
A) p q paralelogramos, es:
B) p q
A) Todos los rectngulos no son paralelogramos.
C) p q
B) Todos los no rectngulos no son paralelogramos.
D) p q C) Algunos rectngulos no son paralelogramos.
E) Una Tautologa D) Algunos rectngulos son paralelogramos.
E) Todos los no rectngulos son paralelogramos.
SOLUCIN:
SOLUCIN:
Simplificando:
Por teora sabemos que:
[ ( p q ) p ] q - Todos los rectngulos son paralelogramos
[ ( p q ) p ] q Su negacin sera:
9
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

- Algunos rectngulos no son paralelogramos E) Algunos inteligentes son zurdos.

CLAVE: C SOLUCIN:
37. Si: Todo matemtico es cientfico, concluimos que: (U I )
A) Ningn matemtico es cientfico. (U Z )
B) No todo matemtico es cientfico.
( Z I ) ( I Z )
C) Algunos matemticos no son cientficos.
D) Todo cientfico es matemtico Algunos inteligentes son zurdos.
E) No es cierto que todo cientfico sea no matemtico. CLAVE: E
41. De las premisas: Ningn reo es libre y todo sentenciado
SOLUCIN:
es reo, se concluye:
Todo matemtico es cientfico: A) Todo sentenciado es libre.
B) Ningn sentenciado es libre.
( M C ) ( C M ) C) Todo libre es no sentenciado.
No es cierto que todo cientfico sea no D) Ningn sentenciado no es libre.
matemtico. E) Ningn reo es libre.
CLAVE: E
SOLUCIN:
38. Ningn escritor es considerado apoltico, entonces: (R L)
A) Todo poltico es escritor. (S R)
B) Ningn poltico es escritor. ( S L)
C) Todo apoltico es escritor.
D) Todo escritor es poltico. Ningn sentenciado es libre.
E) Ningn no poltico es escritor CLAVE: E
SOLUCIN: 42. La negacin de:
La mitad de los postulantes ingresaron a la
Ningn escritor es considerado apoltico: universidad
( E ( A)) ( E A ) Ser equivalente a:
Todo escritor es poltico.
CLAVE: D A) Todos ingresaron a la universidad.
B) Es falso que, algunos postulantes hayan ingresado a
39. Si: la universidad.
Todos los insectos son invertebrados. C) Algunos postulantes no ingresaron a la universidad.
D) Algunos ingresaron a la universidad.
Algunos insectos son colepteros.
E) Todas cumplen.
Entonces:
A) Todo coleptero es invertebrado. SOLUCIN:
B) Algn coleptero es invertebrado.
C) Ningn coleptero es insecto. La mitad de los postulantes ingresaron a la universidad:
D) Todo insecto es coleptero. ( P U )
E) Algn coleptero es vertebrado. Negacin: [ ( P U ) ] ( P U )
SOLUCIN:
Es falso que, algunos postulantes hayan
ingresado a la universidad.
( I Inv . ) CLAVE: B
( I C)
( C Inv . ) 43. La negacin de: Algunas especies estn en peligro de
Algn coleptero es invertebrado. extincin es:
CLAVE: B A) Algunas especies no estn en peligro de extincin.
40. Dadas las proposiciones: B) Todas las especies estn en peligro de extincin.
C) Ninguna especie no est en peligro de extincin.
Todos los que estudian en la UNJBG son inteligentes. D) Varias especies no estn en peligro de extincin.
Algunos que estudian en la UNJBG son zurdos. E) Ninguna especie est en peligro de extincin.
Determine la proposicin correcta:
A) Ningn zurdo estudia en la UNJBG. SOLUCIN:
B) Todos los que estudian en la UNJBG no son zurdos. Algunas especies estn en peligro de extincin:
C) Todos los zurdos no son inteligentes. ( E P)
D) Todos los inteligentes no son zurdos.
10
 RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

Negacin: [ ( E P ) ] A)p B)q C) p D) p q

( E P ) E) q
Ninguna especie est en peligro de extincin. SOLUCIN:
CLAVE: E
44. Si: Simbolizando el circuito se obtiene:
{[ ( p q p ) ( q p q ) ] p } p
Muchos de los que ofrendan la vida son valientes. p
Todos los valientes van a la gloria.
Entonces: CLAVE: C
A) Nadie que ofrenda la vida va a la gloria. 47. Simplificar la proposicin que representa al circuito:
B) Todos los valientes van a la gloria.
C) Muchos de los que ofrendan la vida van a la gloria.
D) Todo aquel que ofrenda la vida va a la gloria.
E) Algunas personas van a la gloria.
SOLUCIN:
( O V )
(V G )
A)r B)s C) t D) s E) r
( O G )
Muchos de los que ofrendan la vida van a la SOLUCIN:
gloria Simbolizando el circuito se obtiene:
CLAVE: C { s t [ ( s t ) r ] t } r
{ s t t } r
45. Simplificar la proposicin que corresponde al circuito:
{ s F } r
F r
r
CLAVE: A
A B
48. Simplificar el circuito:

A)p B)q C) p D) p q
E) q

SOLUCIN:
Simbolizando el circuito se obtiene:
A)p B)q C) p q D) p q
p {[ ( p q ) q ] ( q p ) } E) p
p { [ q ] ( q p ) }
SOLUCIN:
p { q q p }
p Hacemos sustitucin de variables Simbolizando el
circuito se obtiene:
CLAVE: A I) Lado izquierdo del circuito
46. Reducir el siguiente circuito: [ ( p q ) ( q p ) ] [ ( p q ) ( q p ) ]
[ m n ] [ m n ]
p p V
II) lado derecho del circuito
[ ( p q ) q ] [ ( p q ) p ]
[ p q] [ q p ]
[ p q ] q p
q p
11
RAZONAMIENTO MATEMTICO Grety N. Torres Ticona

Finalmente, juntando I y II: SOLUCIN:

V (q p) p q
CLAVE: D [ ( q q ) ( p ( q p ) ) q ] [ q q ( p q ) ]
49. Indique la simbolizacin correcta del siguiente circuito [ ( V ) ( p q ) q ] [ q q ]
lgico: [(V ) q ][ F ]
[ q ] [ F ]
q
CLAVE: D

Reto1:

A) [ ( p1 p2 ) ( q 1 q2 ) ] ( p3 q3 )
B) [ ( p1 p2 ) ( q 1 q2 ) ] ( p3 q3 )
C) [ ( q 1 q2 ) ( p 1 p2 ) ] ( q3 p3 )
D) [ ( p1 p2 ) ( q 1 q2 ) ] ( p3 q 3 )
E) [ ( p1 p2 ) ( q 1 q2 ) ] ( p3 q3 )
SOLUCIN:

Simbolizando el circuito se obtiene:

[ q1 p1 p 2 q2 ] ( p3 q3 )
[ p 1 p2 q 1 q2 ] ( p3 q3 )
q
( p1 p2 )( 1 q 2)



q
( p1 p 2) ( 1 q2 )



CLAVE: E

50. Simplifique y d el equivalente del siguiente circuito lgico.

A) q p
B) p q
C) pq
D) q
E) p

12