I.E.P.

PERUANO ESPAOL
Del Colegio a la Universidad!!

Unidad N 02
Lgica proposicional
La Lgica:

3. Determina el valor de verdad de las siguientes

proposiciones:

La lgica nace en Grecia antigua, en el sexto siglo,

I.

Si 1 + 1 = 3, entonces 4 + 4 = 8

con Tales de Mileto, el primer matemtico de la

historia, pero paso algn tiempo antes de que

II. No es verdad que 3 + 3 = 5

Aristteles inicie la sistematizacin y otro tiempo

III. 42 = (- 4)2, si y slo s 4 = - 4

mayor an para que asuma el aspecto moderno de

A) VFF
D) VFV

la ciencia. Actualmente; aparece como una ciencia

B) FFF
E) VVF

C) VVV

rigurosa, con un lenguaje tcnico elaborado y

4. Establecer los valores de verdad de las siguientes

preciso, pues la utilizacin que hace del simbolismo

le permite evitar las confusiones y ambigedades del

proposiciones:

lenguaje natural.

I.

La lgica proposicional (lgica de las proposiciones

1 + 1 = 3 Lima esta en Paris.

II. 2 < 4

3 <-4

sin utilizar) es la parte ms elemental de la lgica

III. Si (- 3)2 < (- 2)2, entonces 3 > - 2

moderna, sirve para poder construir con total

abstraccin las inferencias, y como estas son

A) FFF
D) VFV

estructuras de proposiciones estn relacionadas.

B) VFF C) FFV
E) VVF

1. Determinar el valor de verdad de P, de manera que

5. Escribir

las proposiciones compuestas resulten verdaderas:

I.

(28 1 > 7) P

II.

III.

(2 < 3)

1
4

A) FFV
D) FVV

la

negacin

de

cada

una

de

las

proposiciones siguientes:
I.
II.
III.
IV.
V.
VI.

l no es rico, pero es feliz.

l no es pobre ni es feliz.
l es bajo, pero es muy gil.
Ni Luis, ni su pap viajaran a Lima a fin de mes.
l tiene un comps o una regla.
Ambos equipos Alianza y la U irn a la copa
libertadores.
VII. Si Juan llega a tiempo con los documentos,
entonces ambos, Carlos y Jorge, podrn
inscribirse en el ciclo de conferencias.

< 0,5)

B) FVF
E) VVF

C) VFV

2. Sean las proposiciones:

p: Fujimori gobern durante 5 aos.
q: Asuncin es la capital de Paraguay.

6. Dada las proposiciones:

r : Cervantes es el autor de La Vida es un sueo.

p: 2 es un nmero par,
q: 2 es el producto de dos enteros.

Determina el valor de verdad e las siguientes

proposiciones:

Traducir simblicamente cada una de las siguientes

I.

(rq)p

II.

(p r) (q p)

III.

~( ) (r V q)

A) VVV
D) FFV

B) FVV
E) VFV

proposiciones.
I.

2 es un nmero para o es un producto de dos

enteros.

C) VVF

II.

2 es impar y es un producto de dos enteros.

III.

2 es par y un producto de dos enteros o es un

nmero impar y no un producto de dos enteros.

EQUIPO DE MATEMTICA 2016

ARITMTICA PRIMER AO

I.E.P. Peruano Espaol

Lgica Proposicional
7. Sean p, q, r tres proposiciones tales que p es

12. Identifique la formula proposicional que corresponde

verdadera, q es falsa y r es falsa.

a la siguiente inferencia:

Determina cules de las siguientes proposiciones

Si Juan estuvo en el lugar del asalto entonces es un

son verdaderas:

asaltante; pero Juan estuvo en la universidad, por lo

I.
II.
III.

(p V q) V r
(~ ) V (q r)
[( q) V ((~ ) ~ )]

tanto, Juan no es un asaltante.

IV.

[((~ ) ) V ((~ ) )]
[(~ ) V ~ ] ( V ~ ) ( V )

A) VFVF
D) FFFF

B) FVFV
E) VFFF

C) VVVV

E) V

13. Si se sabe que: Todos los adolescentes son

creativos, todos los creativos son ingeniosos; ningn
intransigente es ingenioso.
Qu se concluye?

8. De la falsedad de: (~ ) , determinar el valor

de verdad de p, q y r, en ese orden.
A) VVV
B) VFV
C) FFV
D) VVF
E) FVF

A)
B)
C)
D)
E)

9. Determinar el valor de verdad de cada uno de los

siguientes enunciados:
I.

[( ) ~ ] ~
[( ) V ] ~
[( ) V ~ ]
[( ) ] ~
[( ) ] ~
B) II
C) III
D) IV

I.
II.
III.
IV.
V.
A) I

2 4, es una proposicin simple.

Todos los ingeniosos son creativos

Ningn adolescente es intransigente.
Todos los creativos son adolescentes.
Ningn adolescente es ingenioso
Todos los ingeniosos son adolescentes.

II. 2x + 4 = 5, es una proposicin simple.

14. Si es un operador lgico definido mediante la

III. 2x + 4 5, es una proposicin compuesta.

siguiente tabla de verdad:

IV. 2 + 4 5, es una proposicin compuesta.

A) FFVV

B) FFFV

D) VFVF

E) FFFF

C) VFVV

10. Si la proposicin: (~ ) [( ) V ] es falsa.

Hallar el valor veritativo de:
I.

~ [(~ V ~ ) ( V ~ )]

II.

(~ ~ ) V [~ ( V )]

III.

(~ ) [~ ]

A) FVV
D) FVF

B) VVV
E) VFV

Entonces al simplificar la proposicin:

[ (~ ) ]
Se obtiene:

C) FFF

A) F

B) V

C)

D)

E)

15. Simbolizar lgicamente la expresin Agustn Ramos

11. Si, se sabe que:

( ) y

saldr elegido y ser Congresista si, y solo si, obtiene

( ) son falsas, hallar el valor

apoyo en la provincia.

veritativo de:

A) ( )

I.

(~ V ) V

II.

~ [ (~ V ~ )]

III.

[~ V ( ~ t)] [( ) ~ ( t)]

A) FFF

B) VVV

D) FVV

E) VFV

B) ( )
C) ( )
D) ( V )
E) ( )

C) FVF

ARITMTICA TERCER AO

EQUIPO DE MATEMTICA 2016

I.E.P. Peruano Espaol

Lgica Proposicional
20. Si se sabe que p es verdadera V es verdadera
y es falsa, entonces los valores de verdad ,
, , de son respectivamente:
A) VFFV
B) VVVF
C) VVFV

16. Un padre quiere dejar una herencia a su hija Ins,

pero como esta es recin nacida. El padre piensa en
algunas condiciones:
I.
Ins recibir la herencia cuando cumpla 18
aos.
II.
Si Ins no cumple 18 aos, no recibir la
herencia.
III. No puede ocurrir que, Ins cumpla 18 aos y
no reciba la herencia.

D) VFVV

E) VVFF

CUANTIFICADORES Y LEYES LOGICAS

1. Negar cada uno de las siguientes proposiciones:

Su abogado le informa que algunas de dichas

condiciones son equivalentes.
Cules son?
A)
B)
C)
D)
E)

I.
II.
III.

I y II
No hay condiciones equivalentes
I y III
Todas
II y III

IV.
V.

17. Es falso que las clases se suspenden, la universidad

cierra, si se inician las vacaciones. Nos han
comunicado falsamente que ni las clases se
suspenden ni la universidad cierra.
A)
B)
C)
D)
E)

2. Dado el conjunto:
A = {, , / son multiplos de 3}
Cul (es) de los enunciados es correcto:
p: / + + = par
q: . . + = impar
r: / + es par
A) VFF
B) VVV
C) FVV
D) VFV
E) FFF

Se inician las vacaciones.

No se inician las vacaciones.
Se suspenden siempre las clases.
Las clases no se suspenden.
La universidad cierra.

3. Identifique el valor de verdad de las proposiciones

siguientes:
( / + 12 = 12) ( 2 > )
I.
II.
( < 0) V ( / = )
III. ( / ) ( 2 0)

18. Cul de las siguientes proposiciones es una

tautologa?
[~( ) ] V ~
I.
II.
~( ) ( V ~)
III. ~( ) (~ ~)
A) Solo I
D) I y II

B) Solo II
E) Todas

x A / y B / [ () (, ) ]
x A y B / z C / (, , )
Si el nmero x es menor que 12, entonces hay
un nmero real y tal que x2 + y2 144 es
positivo.
Todos los americanos estn locos.
Hay al menos una persona que es feliz todo el
tiempo.

A) FVF
D) FFF

C) Solo III

B) VVF
E) VVV

C) FVV

4. Dados los conjuntos:

19. Al hacer la tabla de verdad de la siguiente
proposicin compuesta: Te levantas temprano o
estudias en la noche si y solo si, no es cierto que, no
te levantes temprano y que no estudies en la noche.
Se obtiene una:

A = {2; 0; 1} y B = {1; 1; 2}
Indique Cul (es) de los siguientes enunciados son
correctos.

A) Tautologa.
B) Contradiccin.
C) Contingencia .
D) Faltan datos.
E) Ninguna de las anteriores.

EQUIPO DE MATEMTICA 2016

I.

/+

II.

III.

() (), / = {0; 1}

A) Slo I

B) Slo II

D) I, II y III

E) II y III

C) Slo III

ARITMTICA TERCER AO

I.E.P. Peruano Espaol

Lgica Proposicional
5. Dado: A = {1, 2, 3, 4}; determine el valor de verdad

11. Simplificar el esquema:

de:

( ~) [( ~) V ( ~)]

I.

/2 1 = 7

II.

> 1

III.

2+3 < 9

A) VFV
D) FVV

A) p q
D) V

B) VFF
E) FFF

B) ~ V~
E) ~ V ~

C) ~

12. Simplificar el esquema:

[( ) ~]

C) VVF

B) ~

A) p

C)

D) V

E) ~p

6. Dado el conjunto
13. Si:

A = {1; 2; 3; 4; 5; 6; 7; 8; 9 }

( ~) ~ s falso

Determine que enunciados son correctos:

I.

/ + 7 < 15

II.

/ + 7 = 7

III.

+ 7 16

A) Slo I
D) I y III

B) Slo II
E) II y III

Determinar la veracidad de:

~( V ) ~

C) Slo III

A) F
D) 1

B) V
E) 2

C) no se sabe

14. Expresar la proposicin ( ) V ( V ) de otra

7. Se define al conectivo # por:

# ~ V

manera, en la que nicamente intervengan los

Calcula el equivalente a:

contenidos (~) y ()

(#~)#(#~)

A) ( ) ~( )
B) p ~

A) ~ V
D) p

B) (~ ~) (~ ~)

C) ~ V

C) ( ~) (~ )

E) Tautologa

D) ~( ) ( )
E) ~( ~) ( )

8. Indicar el valor de las siguientes proposiciones para

el conjunto + (enteros positivos)
I.
II.

15. Simplificar el esquema:

{[( ) V ~( )] ( V} ~

: 6 + 5 = 0
+ / 2 6 + 5 = 0

A) FV

B) VF

C) VV

D) FF

A) p V
D) ~

E) N.A

B)
E)

C) ~

9. Dado el conjunto
16. Simplificar el esquema:

A = {1, 2 , 3, 4, 5, 6, 7, 8, 9},

(~ ) ( )

Determinar que enunciados son correctos:

I.
: / 2 + 2 < 2
II.
/ : 2 + 1 < 3 2
III. : /2 > +
A) FFF
B) VVV C) FVF
D) VFV
E) VVF

D) p V ~

D) p V

E)

C) p

~{~[~( ) (~ ~]}
A) ~ V
D) ~

( ) (~ ~) V
B) ~ V

B) ~( )

17. Simplificar el esquema:

10. Simplificar el esquema:

A)

A) p

C) ~ V ~

18. Sea:

C) ~

= { + / > 4 = 6}

E) ~

ARITMTICA TERCER AO

B) ~
E) ~ ~

EQUIPO DE MATEMTICA 2016

I.E.P. Peruano Espaol

Lgica Proposicional

: : / 2 + 2 < 13
: /: 2 + 2 < 10

a) 0
b) 1
d) No se puede determinar

22. Si m y n son nmeros reales, adems se define:

Al simplificar
= ( ~) [( ~)( )]
Se obtiene:
A) p

B) q

C) s

D) V

3m
1 ; Si x es proposicin verdadera

n
f(x)
3n 1 ; Si x es proposicin falsa

m
Hallar:

E) F

19. Se definen los operadores # y por las siguientes

tablas:

p # q

V V

V V

c) 2
e) Tautologa

m n
n
m
Sabiendo que:
f(q) f(r) 21
M

Siendo:
q : 4 3 1 0
r : 1 0 (1)2 0

Simplificar:
a) 1/3

[(p#~ q) p] (q ~ p)
b) q p
e) q ~ p

a) q p
d) p q

b {a [b (a b)]} ~ a

c) F

e) 3

Q(x ;y) x y

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

b) V

d) 1

P(x ;y) x y

Reducir :

a) ~p

c) 1/7

23. Sean las proposiciones:

p: Si + , entonces: MCD (N ; N2 + 1 ) = 1
q: El conjunto vaco es subconjunto y elemento.
7 ; 7) = 7
r: MCD (0
s: MCM (a ; b) = MCD (a ; b) = 1
Adems sean las proposiciones x e y:

c) p q

20. Si:
a * b (a b) [b ~ (a b)]

b) -3

d) p

1 ; si x es verdadero
F(x)
0 ; si x es falso

e) q

21. La siguiente funcin:

Calcule:

1 ; Si p es verdadera
F(p)
0 ; Si p es falsa

F F(P(p;q)) F(Q(q;r)) F(P(r;s))

a) 0

Si :
F(x ) 1 F(y) 0

b) 1

c) 2

d) 3

e) 4

24. La proposicin: (( ) ( ) es equivalente

a:

Donde :

x (p ~ r) (s w)
y w ~ s

b) p

a) p

c) q

d) q

25. Simplificar: [( ) ] [ ( )]

Hallar:

E F[(s ~ w) (~ p r)]

b) p

a) p

F[~ (~ r ~ p) (t (w ~ p))]

c) q

d) q

BIBLIOGRAFIA
1. AUCALLANCHI, Flix (2014).
. Edit. RACSO.
2. DUEAS, J., YOVERA, C. y PIANTO, M. (2013).
. Edit. San Marcos.
3. INSTITUTO DE CIENCIAS Y HUMANIDADES (2011).
Edit. Lumbreras

Duracin: del 4/04 al 06/05

EQUIPO DE MATEMTICA 2016

e) p q

ARITMTICA TERCER AO

e) p q