LOGICA

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