Lógica Proposicional - MATEMATICA I (Algebra)

EJERCICIOS PARA PRACTICAR – LOGICA PROPOSICIONAL

1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas

a) ( p  q)  (q   p) d) p  (q  p) g) ( p  q)  ( p  q) j)  ( p  q)  ( p  q)

b) ( p  q)  ( p  q) e) p(q  p) h) ( p  q)  (q  p) k)  ( p  q)p
c) ( p  q)  ( p  q) f) ( p  q)  q i) [ p  (q   p)]  q l)  p  q   q

2) Niegue y transforme usando leyes lógicas la proposición compuesta  p  (q  r )

a) ( p  q)  r b) ( p  q)  r c) p  (q  r )

3) a) Si el valor de verdad de p  q s verdadero ¿puede determinar el valor de verdad de

 p  ( p  q) ?
b) Si el valor de verdad de ( pq)  p es falso ¿ puede determinar el valor de verdad de q ?
c) Si p   q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q) ?
d) Si  p   q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q)
e) Halle el valor de verdad de ( p  q)  (q   p) si q es verdad
f) Halle el valor de verdad de ( p  q)  ( p  q) si q es verdad
En todos los casos justifique su respuesta

Licenciatura en Sistemas de Información

Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE