Você está na página 1de 1

Ejercicios L ogica Proposicional BDD y PL

Profesora: M onica Caniup an Septiembre, 2011


1. Determine si las siguientes oraciones proposicionales son tautolog a (v alidas), contradicci on (insatisfacibles) o satisfacibles. a ) (p (q p)) b ) ((p q ) q ) c ) ((p (q r)) ((p q ) (p r))) d ) ((p q ) ((q p))) e ) (((p q ) p) p) h ) ((q p) p) i ) ((q p) p) f ) ((p q ) (q p)) g ) ((p q ) p)

2. Verique las siguientes relaciones de consecuencia l ogicas a trav es de tablas de verdad. a ) {p q } |= (p q ) b ) {p q } |= q c ) {(p q ) r, r} |= p d ) {(p q ) p} |= q e ) {p p} |= q

3. Pruebe que las siguiente f ormulas son l ogicamente equivalentes, en el sentido que para todas las valuaciones posibles, ambas f ormulas toman el mismo valor de verdad ((p q ) r) es l ogicamente equivalente a (p q r) p p (p q ) (p q ) (p q ) (p q ) 4. Construya demostraciones por resoluci on para establecer que: a) b) c) d) e) f) g) h) (p q r) p q r p (p r) no es satisfacible p (p ((q r) q )) r no es satisfacible p (q r) (p q ) (p q r) es tautolog a {q, p r, (r q )} |= p {r p, r} |= p q {p q, r (p q )} |= p (q r) p q (p q ) es tautolog a (p q ) (p q ) es tautolog a

5. Considere al siguiente argumentaci on: Si la gente no estuviera embrutecida, rechazar a el mundo en que vivimos o desesperar a Por otra parte, la gente no rechaza este mundo. Luego, la gente anda embrutecida o desesperada. a ) Usando tablas de verdad deduzca si la argumentaci on es o no v alida b ) Establezca, mediante resoluci on, si la argumentaci on es v alida