Universidad Nacional Jorge Basadre Grohmann CEPU

RAZONAMIENTO MATEMTICO
PRACTICA 1: LGICA Y PROPOSICIONES CATEGRICAS

JESUCRISTO ES EL SEOR
1. Hallar la proposicin equivalente de:
Luis es feliz si escribe poemas

A) No es cierto que, Luis escribe poemas y
sea feliz.
B) No es cierto que, Luis sea feliz y no
escriba poemas.
C) No es cierto que, Luis escribe poemas y
no sea feliz.
D) No es cierto que, Luis no escriba poemas
y no sea feliz.
E) Ninguna de los anteriores.

2. Encontrar su proposicin equivalente:

Si Pedro es arequipeo entonces es
peruano

A) Pedro no es arequipeo y es peruano.
B) Pedro es peruano entonces es
arequipeo.
C) No es cierto que, Pedro es arequipeo o
no es peruano.
D) Si Pedro no es peruano no es arequipeo.
E) Ninguna de los anteriores.

3. Cul es la negacin de la proposicin:

Juan est en clase o en la Playa

A) Juan no est en clase o no est en la
playa
B) Juan no est en clase ni en la playa.
C) Juan no est en clase est en la playa
D) Juan est en clase o no est en la playa.
E) No es cierto que, Juan est en clase y
est en la playa.

4. Dadas las siguientes proposiciones:

r: Si Ral cumple 18 aos, entonces
recibir la herencia prometida.

s: Si Ral no recibe la herencia
prometida, entonces no cumpli 18
aos

t: No es el caso que, Ral cumple 18
aos y no recibe la herencia.

So equivalentes:

A) r y s B) s y t C) r y t
D) Todas E) Ninguna

5. Sabiendo que:

Si A ocurre, B ocurre
Si C ocurre, A ocurre
B ocurre si D ocurre

Podemos afirmar:

I. Si B no ocurre, C no ocurre
II. Si A no ocurre, D no ocurre
III. A no ocurre, si B no ocurre

A) I y II B) II y III C) I y III
D) Todas E) Slo I

6. Indicar que afirmaciones son
correctas:

I. (p q) (p q) es una Tautologa
II. (p q) (p q) es una contradiccin
III. [(p q) r] (q p) es una
contingencia.

A) I y II B) I y III C) II y III
D) Slo I E) Todas

7. Simbolizar la siguiente proposicin:

Si yo trabajo, gano dinero, y si no
trabajo entonces me divierto por lo
tanto si no gano dinero me divierto.

Siendo:
p: yo trabajo
q: gano dinero
r: me divierto

A) {[(p q) p] r} (q r)
B) [(p q) (p r)] (q r)
C) [(p q) (q r)] (q r)
D) (p q) r
E) [(p q) q] r

8. Simbolizar la siguiente proposicin:

Si el Tringulo tiene dos lados iguales,
entonces el tringulo se llama
issceles y el tringulo no se llama
issceles, luego el tringulo no tiene
dos lados iguales.

Siendo:
p: El tringulo tiene dos lados iguales
q: El tringulo se llama issceles

A) (p q) (q p)
B) [(p q) q ] p
C) p[( p q) q]
D) (p q) (p q)
E) [(p q) q] p

9. Dada la proposicin: Tendremos
muchas flores en el jardn, si la
estacin es propicia y las semillas no
estn malogradas.
Universidad Nacional Jorge Basadre Grohmann CEPU
RAZONAMIENTO MATEMTICO
PRACTICA 1: LGICA Y PROPOSICIONES CATEGRICAS

JESUCRISTO ES EL SEOR
Siendo:

p: Tendremos muchas flores en el Jardn
q: La estacin es propicia.
r: Las semillas estn malogradas

La simbolizacin correcta es:

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

10. Si se sabe que p q es falso y q t
es falso. Determinar los valores de
verdad de p, q y t.

A) FFF B) FVF C) FFV D) VVV E) VVF

11. Si: x y es falso; x y es
verdadero. Determinar los valores de
verdad de x e y.

A) VV B) VF C) FV D) FF E) No se puede

12. Si se sabe que:

s t es verdadera
r s es falsa
p q es falsa
q r es verdadera

Determinar los valores de verdad de: p;
q; r; s y t.

A) VFVFF B) VVVVF C) FFVFF
D) VVFFF E) VFVFV

13. Si la proposicin: [(p s) (q r)]
es verdadera, hallar respectivamente,
el valor de verdad de las siguientes
proposiciones:
I. (q r) (p s)
II. (q r) [(p s) p]
III. (r q) (p s)

A) FFF B) FFV C) FVV D) VFF E) VVV

14. Si: [(p ~ p) (p q)][(s r) q] es
verdadera. Cules son los valores de
p, q, r y s respectivamente?

A) VFFF B) VFVV C) FVFF
D) FVVV E) Ninguna


Teora
La validez de una proposicin se puede demostrar
mediante las siguientes tablas:

Sean p y q: dos proposiciones

NEGACIN: CONJUNCIN:








DISYUNCIN: DISYUNCINFUERTE
(EXCLUYENTE)








CONDICIONAL: BICONDICIONAL






LEYES
1. LEY IDEMPOTENTE
p p p p p p

2. Asociativa
(p q) r p (q r)
(p q) r p (q r)

3. Distributiva
[p (q r)] [ (p q) (p r)]
[p (q r)] [ (p q) (p r)]

4. Absorcin
p (p q) p ; p ( p q) p q
p (p q) p ; p ( p q) p q

5. Ley de Morgan
~ (p q) ~ p ~ q
~ (p q) ~ p ~ q

6. Implicacin Material
p q ~ p q

7. Otras:
p ~ p V
p ~ p F
~ ~ p p


p q p q
V V
V F
F V
F F
V
F
F
F
p p
V
F
F
V
p q p q
V V
V F
F V
F F
V
V
V
F
p q p q
V V
V F
F V
F F
F
V
V
F
p q
p q
V V
V F
F V
F F
V
F
V
V
p q
p q
V V
V F
F V
F F
V
F
F
V
Universidad Nacional Jorge Basadre Grohmann CEPU
RAZONAMIENTO MATEMTICO
PRACTICA 1: LGICA Y PROPOSICIONES CATEGRICAS

JESUCRISTO ES EL SEOR

15. Sabiendo que p y q son proposiciones
con diferentes valores de verdad,
adems:

r = p q
s = (p q) p
t = q p

Cules son los valores de verdad de r, s y
t en ese orden?

A) VVV B) VVF C) VFV D) FVF E) FVV

16. De las siguientes premisas:

Si me prestas 30 soles, ir al cine
con Maribel
Me prestas 30 soles o no eres mi
amigo
Si no eres mi amigo, no te ayudar
en tu trabajo
Por supuesto te ayudar en tu
trabajo

Podemos concluir:

I. Te debo 30 soles
II. Ir al cine con Maribel
III. Eres mi amigo.

A) Slo I es correcta
B) Slo I y II son correctas
C) Slo II y III son correctas
D) I, II y III son correctas
E) Ninguna es correcta

17. Si se sabe que: ~ p q es falsa, ~r ~t
es verdadera y que
s: x R, 0<x<1 x
2
< x.

Hallar el valor de verdad de:

[s (p ~ q)] [(r ~ t) (x ~ x)]

A) V B) F C) no es posible
D) depende de x E) N.A

18. Simplificar:

~[(~p ~q) (p ~q)]

A) p B) ~p C) q D) ~q e) p q

19. Simplificar

~{(~q ~r) [~q (q ~r)]}

A) qr B) q C) r D) qr e) ~qr

20. Si: p * q p q; simplificar,
expresando slo en trminos de * la
siguiente frmula:

[(p q) (r r)] q

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

21. Es falso que ninguna mujer valora su
trabajo; es equivalente a:

A) Alguna mujer valora su trabajo
B) Alguna mujer no valora su trabajo
C) Toda mujer valora su trabajo
D) Toda mujer es trabajadora
E) Alguna mujer es trabajadora

22. Gisella al negar que Todo joven alto
es inteligente, dir:

A) Ningn joven alto es inteligente
B) Algn joven alto no es inteligente
C) Todo joven es inteligente
D) Algn joven en inteligente
E) Ningn joven es inteligente

23. Kike neg que Varios alumnos del la
academia: Vencedores (A.V) no
ingresaron a la Universidad; Luego dijo
que:

A) Algunos alumnos de la A.V. no
ingresaron a la Universidad
B) Todos los alumnos de la A.V. no
ingresaron a la Universidad
C) Muchos alumnos de la A.V.
ingresaron
D) Ningn alumno de la A.V. no
ingresaron a la Universidad
E) Todos los alumnos de la A.V.
ingresaron a la Universidad

24. El grfico




Se interpreta como:
A) Algn no Bilogo es Botnico
B) Todo Bilogo es Botnico
C) Ningn Bilogo es Botnico
D) Algn Botnico es Bilogo
E) Todo Botnico es Bilogo


Botnico Bilogo
Universidad Nacional Jorge Basadre Grohmann CEPU
RAZONAMIENTO MATEMTICO
PRACTICA 1: LGICA Y PROPOSICIONES CATEGRICAS

JESUCRISTO ES EL SEOR
25. Al negar la conclusin del grfico





Se obtiene:

A) Varios Cientficos no son humanitarios
B) Algn Cientficos es humanista
C) Ningn humanista es Cientfico
D) Todo Humanista es cientfico
E) Muchos Humanistas no son Cientficos

26. Si todo materialista neoliberalista y
algunos materialistas son avaros luego:

A) Ningn avaro es materialista
B) Algunos materialistas son neoliberalistas
C) Algunos avaros no son neoliberalistas
D) Algunos no neoliberalistas son avaros
E) Algunos neoliberalistas son avaros


27. Si: Ningn honesto es arribista y
algunos polticos son arribistas

Luego inferimos que:

A) Todo poltico es honesto
B) Algunos polticos no son honestos
C) Algunos polticos son honestos
D) Ningn poltico es honesto
E) Es falso que algn poltico no es honesto

28. Algunos estudiantes no son
deportistas y todo deportista posee buena
salud. Luego

A) Todo estudiante posee buena salud
B) Ningn estudiante es deportista
C) Algunos estudiantes deportistas no
tienen mala salud
D) Todo deportista es buen estudiante.
E) algunos estudiantes no poseen buena
salud













Elementos de una proposicin categrica




SUJETO
VERBO

CUANTIFICADOR PREDICADO
Humanista Cientfico
x
TODO PERUANO ES PIURANO