Lgica Proposicional

TALLER LOGICA PROPOSICIONAL

1) Confeccione la tabla de verdad de las siguientes proposiciones compuestas y diga si es
tautologa, contradiccin o indeterminacin
a) ( p q ) (q p )

d) ( p q ) ( p q)

b) ( p q ) ( p q)

e) ( p q ) ( q p)

c) ( p q) ( p q)

f) [ p (q p )] q

2) a) Si el valor de verdad de p q s verdadero puede determinar el valor de verdad de

p ( p q) ?
p

q es verdadero se puede determinar el valor de verdad de ( p q ) ( p q ) ?

b) Si

q es verdadero se puede determinar el valor de verdad de ( p q) ( p q)

c) Si
d) Halle el valor de verdad de ( p q ) (q p ) si q es verdad
e) Halle el valor de verdad de ( p q ) ( p q) si q es verdad
En todos los casos justifique su respuesta

Autmatas y Lenguajes
Programa de Ingeniera de Sistemas - UDI