CÍRCULO PRE-UNIVERSITARIO 2018

SEMINARIO Nº 01

LÓGICA D) FFF E) VVF

1. Si p, q, r, t y u son proposiciones
lógicas, tal que (p  r)  (q  p) es 6. Se define p q  (p   q)  (q   p)
falsa. Indicar el valor de verdad de Simplifique:
las siguientes proposiciones: [( p q)  q]  [p  (q p)]
I. (q  p)  (t  ) A) p B) q C)  p
II. (t   t)  (p  q) D) q E) V
III. (p  r)  t
A) VVF B) FFF C) VFV 7. Simplifique:
D) FVF E) VFF T = p # ( p v q) si:

2. Sean p, q, r, s, t proposiciones p q p#q

lógicas simples y se cumple: VV F
( p  q)  (p  r)  (s  t)(s   t) VF V
entonces, simplifique: FV F
[(p  r)  (s  t)]  (q  t) FF F
A) s  t B)  t C)  s A) p B) q C) p  q
D) t E) s D)  p  q E) p   q

8. Determine la forma más simple de T

3. Si [(pq)   q]  [( p  r )  q] es = p(pq) si:
falsa, determine el valor de verdad
de: p q pq
I. [r   (p  q)]  p V V F
II. [(p  q)  r]  t V F F
III. (p  q)   r F V F
A) VFV B) VVF C) FFF F F V
D) FVV E) VVV A) p  q B) p  q C)  p  q
D) p   q E)  p  q
4. Se definen los operadores  y 
mediante: 9. Si p  q = p   q, entonces el
pqpq equivalente de: (pp)  {(pq) 
pqpq (pp)} es:
Determine a qué es equivalente A) V B) pq C) q
T = ((q)  p)  ((p)  q). D) F E) p
A) p B) q C) p  q
D) V E) F 10. Si # es un operador lógico definido
por: p # q  (p  q)  (p  q),
5. Si p  q es falsa y r  (p  q) es entonces p # q es equivalente a:
falsa, determine el valor de verdad de A) tautología B) contradicción C) p
las siguientes proposiciones: D) p  q E) q
I. (p  q)  r
II. r  (p  q) 11.De la simplificación de la siguiente
III. (p   q)  r proposición:
A) FVF B) FFV C) VVV [p (q   r)]  {[p  (q   r)] 
CEPRE-UNI 1
ÁLGEBRA
CÍRCULO PRE-UNIVERSITARIO 2018
SEMINARIO Nº 01

[p  (q  r)]} se puede afirmar que:

A) Es equivalente a p.
B) Es equivalente a r.
C) Es equivalente a q.
D) Es una contradicción.
E) Es una tautología.

12. Simplifique la fórmula lógica

[(p  q)  (p   q)]  ( p   q)
A) p  q B) q  p C) p
D) q E) V

13. Simplifique la fórmula lógica:

p  {[(p   q)  q]  [( p  q)  p]}
A) p B) q C) p  q
D) p  q E) p  q

14. Simplifique la fórmula lógica

(p  q)   {(p  q)  (p  q)}  (p  q)
A) p  q B) p  q C) p  q
D) q  p E)  p  q

15. Simplifique la siguiente proposición:

[q (p  q)]  [(p  q)  p]
A) p   q B)  p  q C) (p  q)
D) (p  q) E) p  q

CEPRE-UNI 2
ÁLGEBRA