01. Sean las proposiciones p: Hace calor y q: II.

(p  q)  q  q
Está lloviendo. ¿Cuál de los siguientes III. (p  q)  q
enunciados verbales es correcto?
I. q: No está lloviendo
A) KCT B) TKC C) CTK
II. p  q : Está lloviendo, pues hace
D) KTK E) KTC
calor
III. ( q) : No es verdad, que no está
05. Simplificar la fórmula lógica
lloviendo
( 
p  q)  (p  q)  r   q
A) I y II B) I y III C) Solo I
D) Solo II E) Todas A) q B) q C) p
D) p E) p  q
02. Si (p  q) y ( r  s) son
proposiciones falsas. Indique el valor de
06. Simplificar la formula lógica
verdad de las siguientes proposiciones.
q r  p  (p  q)  r  r
I.  
II. (qp)   p  r

III. p  (pq) A) r B) r C) p  r
D) p  r E) q  r

A) VVV B) VFV C) FVV

D) VFF E) FFF 07. Sean p, q, r y t proposiciones lógicas y
además p t  V . Hallar el valor de
verdad de las siguientes proposiciones:
03. Indique cuál de las fórmulas lógicas son
tautologías.
I. (t  p)  (r  p)
I. p  (p  q)  p
II. (p t) (q t)
II. (p  q)  p
III. p  t
III. (p  q)  ( q  p)

A) VFF B) VVF C) VVV

A) I y II B) I y III C) Solo I
D) FVV E) FFV
D) Solo II E) Todas

08. Si define el operador lógico ()

04. Clasificar las fórmulas lógicas como mediante la siguiente tabla
tautología (T) , contingencia (C) o
contradicción (K).
I. (p  q)  q  ( q)

1
 p q pq . 2 A . 7  A

V V V . 1  A . 2  A
V F V . 1;2  A . 2 ; 3  A

F V F . 3  A . A

F F V
A) 4 B) 5 C) 6
Simplificar (p  q)  q
D) 7 E) 8
A) q  p B) p C) q
D) p  q E) p  q
12. Si A = {4; {5} ; {4; 5} ; 6}
¿Cuántas proposiciones son verdaderas?
09. Definamos la función
 4A  {5}  A
1, si p es V
  5A  {7}  A
f (p)  0, si p es una contingencia
1, si p es F  {4}  A  {{5}}  A

Determine:  {4, 5}  A  {{5}, 6}  A
 {6}  A  A
 
E  f p p  r  f  p  q   f( p  q)  2f(p  q)
A) 4 B) 5 C) 6
A) – 1 B) 0 C) 1 D) 7 E) 8
D) 2 E) 3
13. Sean A  2 ; 4; ; 2  , B  4 ,  .
10. Dada las proposiciones p y q se
Indique el valor de verdad de cada una
define el operador lógico  mediante de las siguientes afirmaciones:
p  q   p   q.
I. 2  A
Indique la proposición que es
equivalente a: p   (p q)
II. 4  B

A) p  q B)  p  q C) p 
III.   A  B
q
D)  p   q E)  (p  q)
A) VVV B) VFV C) FFV
D) FVF E) FFF
11. Si  
A  1 ; 2 ; 1 ; 2 ; 3 , ¿cuántas
proposiciones son verdaderas? 14. De las siguientes igualdades.
. 1 A . 2  A ¿Cuántas son ciertas?.
I.   0  0
2
 II.   0  0 B  (C \ A)  (A \ B) C  es igual a

III.     
C) C  B
   
A) B\A B) B
IV.   
D) A E) 

A) 1 B) 2 C) 3
19. Si A y B son dos conjuntos contenidos en
D) 4 E) 5 U simplificar

15. Si A, B y M son conjuntos en el universo

U. Simplifique la expresión
   
A  AC  BC   A  B  AC  B   A  B  
  
(A \ B)  B  (A  B)  M
c
A)  B) A B) B
C) AC E) U
A)  B) B\A C) A
D) U E) B 20. Simplificar:

C
 C
M   A   B  C    A  C   A  B 
C
c
 
 
c
16. Al simplificar  A  (A  B)  A  , se  
 
si se cumple:A  B y (A  B)  C = .
obtiene

A) A B) B C) BC
A) A B) A c
C) 
D) AC E) A  B
c c
D) A  B E) A  B
21. Si A es un conjunto determinado por
17. Si A y B son conjuntos de un universo U, A  x  / (x  3  x  5) , entonces
simplificar:
n(P(A)) es igual a
(A C
  
B)  B A   B  B  
A) 32 B) 64 C) 128
 A  B  A  B  U
D) 256 E) 512

A) AC B) U C) 
22. Si A = {{2}, 0, {}}, hallar el valor de
D) A E) B verdad de las siguientes proposiciones
I. A \ {} = A
18. Si A, B y C son subconjuntos de un II. P()  A
conjunto universal U que cumplen
III.   A  {2}  A
A  B y C  A= , entonces

3
 A) VVV B) VFV C) FVF 26. Si A  1 ; 0 es un conjunto y
D) FVV E) FFF B  P(A) , entonces indique el valor de
verdad de las siguientes proposiciones:
23. Sea el conjunto B   de las siguientes I. x  A / x  2  2
afirmaciones:
II. M  B/M  A  
I. P(B) \ {B}  
III. MP(A):   M
II. P() \  = 
III. P(B)  {B}  P(B)
A) VVV B) VFF C) FFF
¿Cuáles son verdaderas?
D) VFV E) FFV
A) solo I B) I y II C) I y III
D) II y III E) I, II y III 27. Sean los conjuntos
A  1 ; 2 ; 3 ; 4 ; 5 y B  3 ; 4 ; 5 .
24. Dados los conjuntos A  0 ; 1 , Determinar el valor de verdad de las
 
B   ; 0 y C   . siguientes proposiciones:

p: x  B / 2x 2  4  34
Determine la verdad (V) o falsedad (F)
de las siguientes afirmaciones: q: x  A : x+2  7
I. 1  P(A) r : x  B ; y  A / x2  y2  5
II. P(A)  B  
III. P(C)P(B) A) VFV B) VVV C) VFF
D) VVF E) FVF
A) VVV B) FVV C) VFV
D) FFV E) FVF 28. Sean los conjuntos
A  1 ; 2 ; 3 ; 4 ; 5 , B  6 ; 7 ; 8 .
25. Sean A y B subconjuntos de un conjunto Determine el valor de verdad de las
siguientes afirmaciones:
universal U tal que n P(Ac )  64 ,
 
I. x  A / x 2  24
n P(Bc ) =16 , n(A B) 8 y
  II. x  A, y  A / x+y  6
n P(A  B)  16 .
III. y B , x  A : y  x  0
Halle n(U).

A) VFV B) VVF C) FFF

A) 9 B) 10 C) 11
D) VVV E) FFV
D) 12 E) 13