TRILCE

12. Los valores de verdad de las proposiciones "p" , "q" , "r" 17. Sea : U = {1 , 2 , 3}, el conjunto universal.
y "s" son respectivamente V, F, F y V. Hallar el valor de verdad de:
2
Obtener los valores de verdad de: I.  x ,  y / x  y  1
I. [(p  q)  r]  s II.  x ,  y / x 2  y 2  12
II. r  (s  p) 2 2
III.  x ,  y / x  y  12
III. (p  r)  (r  ~ s) 2 2
IV.  x ,  y / x  y  12

a) VFF b) FVV c) VVV

a) VFVF b) VVFF c) VVVF
d) VVF e) FFF
d) VVVV e) VVFV
13. Si la proposición:
18. Si : U = {1 ; 2 ; 3 ; 4 ; 5}
p  (r  s) ¿Cuál es el valor de verdad de las siguientes
Es falsa, ¿cuántas de las siguientes proposiciones son proposiciones?
verdaderas? I.  x U : x  3  x  4
I. (~ s  t)  ~ p II.  x  U : x  2  8  x  6
II. rp III.  x  U : x  2  5  x - 1  2
III. t ~ r
a) VVV b) FFV c) VFV
IV. (r  p)  (s  t) d) FVF e) FFF

a) Ninguna b) Una c) Dos 19. Hallar los valores de verdad de las siguientes
d) Tres e) Cuatro proposiciones:
I. ( x  R , x  x)  ( x  R , x  1  x)
14. Si la proposición compuesta:
II. ( x  R , x 2  x)  ( x  Z , x  1  x - 1)
~ [(p ~ r)  (r  ~ q)]
III. ( x  N , x  0)  ( x  Q , x  0)
no es falsa. Hallar el valor de verdad de las
proposiciones r, p y q respectivamente. IV. ( x  N , x  3  x)  ( x  R , x  1  x)

a) FVV b) VVF c) VFV a) FVVF b) FVVV c) VVFF

d) FVF e) VFF d) VFFF e) VVVF

15. De la falsedad de la proposición :

20. Sea : A = {1 , 2 , 3}
(p ~ q)  (~ r  s) se deduce que el valor de verdad
Determinar el valor de verdad de las siguientes
de los esquemas: expresiones:
I. (~ p  ~ q)  (~ q)
I.  x  A ,  y  A / x2  y  1
II. (~ r  q)  [(~ q  r)  s]
III. (p  q)  [(p  q) ~ q] II.  x  A ,  y  A / x2  y2  12
Son respectivamente :
III.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
a) VFV b) FFF c) VVV IV.  x  A ,  y  A ,  z  A/ x 2  y 2  2z 2
d) VVF e) FFV
a) VFVV b) VVFV c) VVVF
16. Sean las proposiciones:
d) FVVV e) VVVV
* p(x ) : x  R , x 0  1
21. Señalar la expresión equivalente a la proposición:
2 (p ~ p)  (~ q ~ p)
* q (y ) :  y  N / y  0

r(z) :  z  R , z 2  9 2  (z  3)(z  3) a) q  p
*
b) p  q
Indique el valor de verdad de:
c) (p  q) ~ p
p  q , p  r , rq
d) ~ p  (p  q)
a) FFV b) FVV c) VFV e) (q  p) ~ p
d) VVV e) FFF

13
Aritmética

22. Indicar el valor de verdad de: 28. Simplificar:

I. p  (p  q) M  [(~ p  q)  (~ q  p)] ~ (p  q)
II. (p  q)  (p  q)
a) q b) p c) ~p
III. ~ [(p  q)  p] d) ~q e) ~ p  q

a) VVV b) VFV c) VVF 29. Simplificar:

d) FVF e) FVV
~ [(~ p  q) ~ p]  [q  (p ~ q)]
23. Indicar el valor de verdad de:
I. ~ [(p  q)  p] a) p ~ q b) ~ p  q
II. (p  q)  p c) ~ (p  q) d) ~ (p  q)
III. (p  q)  (p  q) e) p  q
IV. p  (p  q)
30. De la veracidad de:
a) VFVF b) VVVF c) FVFV ~ [(p ~ q)  (~ r ~ s)]
d) VFFV e) FVVV Deducir el valor de verdad de :
I. ~ (~ q  ~ s) ~ p
24. Simplificar el siguiente circuito:
II. ~ (~ r  s)  (~ p ~ q)
q
III. p ~ [q ~ (s  r)]
~p
A B
q ~p a) FVV b) VVF c) FFV
~q d) VFF e) FFF

p 31. Indicar el valor de verdad de:

I. (~ p  ~ q)  (p  q)
a) p  q b) ~ p  q c) p  q es una contradicción.
d) ~ p  q e) ~ p ~ q II. [(p  q)  (q  r)]  (p  r)
es una tautología.
25. Hallar la proposición equivalente al circuito lógico: III. [p  (p  q)]  (q  r)
p q es una contingencia.
~q
a) VVV b) VVF c) VFF
~p d) VFV e) FVV
p
q
32. De los siguientes esquemas:
a) p b) p ~ q c) p  q
* (q  r)  (~ p  r)
d) ~ p  q e) p  ~ q
* [p  (p  q)]  p
26. Simplificar la proposición que corresponde al circuito: * [(~ p  q) ~ r] ~ [r  ~ (p ~ q)]
q Indicar en el orden dado cuál es Tautología (T),
Contingencia (S) o Contradicción (C):
~p
a) T , C , S b) T , S , C c) C , T , S
q p d) S , T , C e) S , C , T
~q
p 33. Dado el siguiente enunciado:
~ [{~ ([p  q]  p) ~ (q  r)}  q]
a) p  q b) ~ p  q c) p  q
Según su tabla de verdad, podemos decir que dicha
d) ~ p  q e) ~ p ~ q proposición es una:

27. Simplificar a su mínima expresión: a) Tautología. b) Contradicción.

(p  q)  [(p ~ q)  (p  q)] c) Contingencia. d) Ley lógica.
e) Equivalencia lógica.
a) p b) q c) p  q
d) p  q e) p  q

14