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