Pgina 1

1. De acuerdo con la definicin,

cuntas de las siguientes
expresiones son proposiciones?

* La divisin entre cero no existe.
* 4973 es un nmero primo.
* Micaela Bastidas muri a los 14
aos.
* El principito no poda
comprender a los adultos.
* Miguel Grau naci en Piura?
* Vive la experiencia!
* Mi mejor experiencia, fue a los
17 aos.
a) 3 b) 4 c) 5
d) 6 e) 7

2. De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
*
Qu alternativa es correcta?

a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no
proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.

3. Cuntas de las siguientes
expresiones son proposiciones?
* Dios mo .... se muri!
* El calor es la energa en
trnsito.
* Mi deseo es ingresar a la
UNASAM.
* Siempre que estudio, me siento
feliz.
* El delfn es un cetceo, ya que
es un mamfero marino.

a) 1 b) 2 c) 3
d) 4 e) 5

4. Dadas las siguientes expresiones:
* El tomo no se ve, pero existe.
* Los tigres no son paquidermos,
tampoco las nutrias.
* Toma una decisin rpida.
* Hay 900 nmeros naturales
que se representan con tres cifras.
* La Matemtica es ciencia
fctica.
* Es imposible que el ao no
tenga 12 meses.
Cuntas no son proposiciones
simples?

a) 0 b) 1 c) 2
d) 3 e) 4

05. Hallar el valor de verdad de las
siguientes proposiciones:




a) VVFV b) VFVV c) VVVV
d) VVVF e) FVVV


5. Para los siguientes enunciados:
1) Recoge ese lpiz.
2) 2 + 5 < 6
3) x - y = 5
4) Hace mucho fro.
Cul de las alternativas
siguientes es la correcta?
A) Dos son proposiciones.
B) Dos son enunciados
abiertos.
C) Dos no son ni proporciones
ni enunciados abiertos.
D) Tres son proposiciones.
E) Tres son enunciados
abiertos.

6. Dadas las proposiciones:
p: Marcos es comerciantes.
q: Marcos es un prspero
industrial.
r: Marcos es ingeniero.
Simbolizar el enunciador "si, no es
el caso de marcos sea un
comerciante y un prspero
industrial. Entonces es ingeniero o
no es comerciante".
A) ~(p . q) (r v ~ p)
B) (p v q) (r v p)
C) ~(p v q) r
D) ~(p . q) (p . ~ r)
E) (p . q) (~ r . ~ p)

7. Dadas las proposiciones q: "4 es
un nmero impar, p y r
cualesquiera tal que ~[(r v q) (r
p)] es verdadera; hallar el valor
de los siguientes esquemas
molculas:

1) r (~ p v ~ q)
2) [r (p v q))] (q . ~ p)
3) (r v ~ p) . (q v p)

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

8. De la falsedad de las proposicin:
(p ~ q) v (~ r s)
Se deduce que el valor de verdad
de los esquemas molculas:
1) (~ p . ~ q) v (~ q)
2) [(~ r v q)] [(~ q v r) . s]
3) (p q) [(p v q) . ~ q]

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

9. En la siguiente tabla:

Los valores de verdad que deben
reemplazar a los crculos en el
orden indicado son:

a) VVVV b) VFFV c) VVFF
d) FFFF e) FVFV

10. De los siguientes esquemas:
*
*
*
Indicar en el orden dado cul es
Tautologa (T), Contingencia (S) o
Contradiccin (C):

a) T , C , S b) T , S , C
c) C , T , S d) S , T , S
e) S , C , T

11. Se definen los operadores # y
por las siguientes tablas:
25 y x
2 2
= +
) 11 2 7 ( ) 5 2 3 ( = v = +
) 8 10 2 ( ) 3 1 4 ( = =
) 5 12 ( ) 10 7 3 ( > . = +
|
.
|

\
|
= + |
.
|

\
|
=
2
3
2
1
1 2 1
2
p q
V V 1
V F 2
F V 3
F F 4
[(p q) p] q .
) r p (~ ) r q ( v
p )] q p ( p [ .
)] q ~ p ( ~ r [ ~ ] r ~ ) q p [(~ v . .
Pgina 2



Simplificar:


a) b)
c) d)
e)

12. Dado el siguiente enunciado:


Segn su tabla de verdad,
podemos decir que dicha
proposicin es una:

a) Tautologa.
b) Contradiccin.
c) Contingencia.
d) Ley lgica.
e) Equivalencia lgica.

13. Indicar el valor de verdad de:
I.
es una contradiccin.
II.
es una tautologa.
III.
es una contingencia.

a) VVV b) VVF c) VFF
d) VFV e) FVV


14. Simplificar a su mnima
expresin:




a) p b) q c)
d) e)

15. Simplificar:



a) q b) p c) ~p
d) ~q e)


16. Simplificar el siguiente
esquema molecular:

( ) ( ) p q s s q . . . (



a) p q . b) p
c) p q v d) ~q
e)

17. Simplificar:


( ) p q p q v v (



a) p q v b) p q .
c) p d) ~q
e) q

18. Simplificar el esquema:

( ) ( ) p q q p r p . . . v (



a) p q v b) p q . c) p
d) ~q e) q

19. Simplificar:



a)
b)
c)
d)
e)


20. Simplificar:




Rpta:........

21. Simplificar:




Rpta:.......


22. La frmula lgica:

( ) ( ) p q r p q r . ( (


Representa:
a) Tautologa.
b) Contingencia.
c) Equivalencia.
d) Contradiccin.
e) Implicacin.


V F F
F V F
F F V
F V V
q # p q p
V F F
V V F
V F V
F V V
q p q p u
p) ~ q ( ] p ) q ~ # p [( u . u
p q p q A
q p v q p .
p ~ q
] q )} r q ( ~ ) p ] q p ([ [{~ ~ v . . v
) q p ( ) q ~ p (~ v .
) r p ( )] r q ( ) q p [( .
r) q ( )] q p ( p [ A .
)] q p ( ) q ~ p [( ) q p ( v v .
q p .
q p v q p
) q p ( ~ )] p q (~ ) q p [(~ M . . v v =
q p ~ v
q p ~ v
)] q ~ p ( q [ ] p ~ ) q p [(~ ~
q ~ p.
q p ~ v
) q p ( ~ .
) q p ( ~ v
q p v
( ) ( ) ( ) p q p q p q v . v (

( ) ( ) p q q p p v v . (