E.P.

DE CONTABILIDAD Y FINANZAS

MATEMÁTICA BÁSICA
Docente: Ing. Alcides RAMOS CALCINA

LÓGICA PROPOSICIONAL

1. Hallar la tabla de verdad de las siguientes proposiciones compuestas:

a) ~(p  q)  (~p  ~q) b) ~(~p  ~q) c) [(~p)  q]  (r  p)
d) (p  ~r)  (q  ~r) e) [(p  q)  (q  r)]  (p  r)
2. Sean las proposiciones; p: “8 es un número par”, q: “8 es producto de dos números enteros”.
Traducir en símbolos las siguientes proposiciones:
a) 8 es un número par o es un producto de dos números enteros.
Rpta: __________________________
b) 8 es impar y es producto de dos enteros.
c) Rpta: __________________________
d) 8 es un número par y un producto de dos enteros, o es un número impar y no un producto de
dos números enteros.
e) Rpta: __________________________
3. Dadas las proposiciones; p: “Edgar es profesor”, q: “Matías es ingeniero”, r: “David es médico”.
Hallar la expresión simbólica del enunciado: “Si Matías no es ingeniero y no es cierto que Edgar sea
profesor, porque David es médico”.
Rpta: ________________________
4. Sean p, q y r tres proposiciones tales que, p es verdadera, q es falsa y r es falsa. Indique cual de las
siguientes proposiciones son verdaderas:
a) (p  q)  r Rpta: ________
b) [(p  q)  (~p  ~q)]  [(~p  q)  (~q  p)] Rpta: ________
c) ~p  (q  r) Rpta: ________
d) (~p  ~q)  (p  ~r)  (q  r) Rpta: ________

5. Simplificar la siguiente expresión: ( 4 4  2  1  0)   2  4 4  1

  4
4 1 
2  1  0 

Rpta: ________
6. Determine si las siguientes proposiciones son: tautología, contradicción o contingencia.
a) (~p  q)  (p  q) Rpta: ________________________
b) (p  q)  ~p Rpta: ________________________
c) (p  q)  (p  q) Rpta: ________________________
d) (p  q)  [(r  s)  p] Rpta: ________________________
e) [(q  p)  (r  ~p)]  (~q  ~r)  ~q Rpta: ________________________
f) {[(p  q)  (r  s)]  [(r  s)  ~t]}  t Rpta: ________________________
7. Se define p  q según la tabla:
p q pq
V V F
V F V
F V F
F F F

Halle la tabla de verdad de la proposición: {[(~p  q)  q]  q}  ~p

Rpta: (Conclusión de la proposición) ________________________
8. Comprobar por tablas de verdad las siguientes equivalencias:
a) (p  q)  q  p  q Rpta: ________
b) p  ~q  ~(p  q) Rpta: ________
9. Si (~q  ~t) es falsa y (p  t) es verdadera, determine el valor de verdad de las siguientes
proposiciones:
a) ~[~p  (~q  ~p)] Rpta: ________
b) (p  t)  s Rpta: ________
c) [p  (~q  t)]  [(p  q)  ~(q  t)] Rpta: ________
10. La proposición: [r  ~(p  q)]  ~[p  ~(s  q)] es verdadera. Los valores de verdad de las
proposiciones p, q, r y s son respectivamente.
Rpta: ________________________
11. Puedes descansar …. Siguiente actividad: Algebra Proposicional.