You are on page 1of 3

Publicacin para fmat.

cl o

Algebra I / Introduccin al Algebra o Lgica Proposicional o


Autor: Mauricio Vargas (presi.fen@gmail.com)

1. Sean p,q,r proposiciones. Probar, sin usar tablas de verdad, que la siguiente proposicin es una o tautolog a: (p q) [ (q r) (p r)] Solucin o (p q) [ (q r) (p r)] [(p r) (q r)] (p q) [ (p r) (q r)] ( p q) [( (p r) (q r)] ( p q) [( p r) (q r)] ( p q) [( p [( r q) T ]] ( p q) [( p ( r q)] ( p q) [( p ( r q)] ( p q) [( p (q r)] ( p q) [( p q) r)] [ ( p q) ( p q)] r [( p q) ( p q)] r T r T r T A A T T AT T AT Denicin de o Denicin de o Ley de Morgan Distributividad con respecto a ( r r) es tautolog a AT T Denicin de o Conmutatividad Asociatividad Asociatividad Conmutatividad Contrarec proco

( p q) [( p [( r q) ( r r)]]

2. Sean p,q proposiciones. Demostrar que la siguiente proposicin es una tautolog o a: (p q) [(p q) (p q)] Solucin o (p q) [(p q) [(p q) (q p)]] (p q) [(p q) [( p q) ( q p)]] (p q) [(p q) [( p q) ( q p)]] Denicin o Denicin o Denicin o Distributividad de Distributividad de Distributividad de Conmutatividad de A A C Conmutatividad de

(p q) [(p q) [[( p q) q] [( p q) p]] (p q) [(p q) [[( p q) q] [( p q) p]] (p q) [(p q) [[( p q) C] [(p p) (q p)]] (p q) [(p q) [[( p q) C] [C (q p)]] (p q) [(p q) [[( p q) C] [(q p) C]] (p q) [(p q) [( p q) (q p)]

(p q) [(p q) [[( p q) (q q)] [( p p) (q p)]]

AC C

Publicacin para fmat.cl o

(p q) [(p q) [ (p q) (q p)] (p q) C [(p q) (q p)] (p q) [(p q) (q p)] C (p q) [(p q) (q p)] (p q) [(p q) q] p] (p q) [(p q) (q q] p] (p q) [(p q) q] p] (p q) [(p q) p] [(p q) q] (p q) [(p p) q] [(p q) q] (p q) [(p q) [(p q) q]] (p q) [(p q) [p (q q)]] (p q) [(p q) (p q)] (p q) (p q) (p q) (p q) [(p q) (p q)] [(p q) (p q)] (p q) (p q) (p q) (p q) (p q) (p q) T A A T AAA Denicin de A o AAA

Denicin de o Distributividad de A A C Conmutatividad de

(p q) [(p q) (p q)] [(p q) (q p)]

AC A Asociatividad de Distributividad de AAA Distributividad de Conmutatividad de AAA Asociatividad de AAA

Denicin de A o

Conmutatividad de

3. Probar que las siguientes proposiciones son o no tautolog as: a) Si baja el impuesto espec co a la bencina, entonces baja el precio de la bencina para los consumidores. El lunes 24 de marzo baj el impuesto espec o co a la bencina y llen el estanque e de mi auto. De todo lo anterior, se desprende que baj el precio de la bencina. o Solucin o Sean p baja el impuesto q baja el precio r llenar el estanque Entonces, (p q) (p r) q [( p q) (p r)] q Denicin de o [( p q) (p r)] q Denicin de o [[( p q) p] r)] q Asociatividad de [[( p p) (q p)] r] q Distributividad de [[(p p) (q p)] r)] q Conmutatividad de [[C (q p)] r)] q A A C [(q p) r)] q A A C [(q p) r)] q Denicin de o [( q p) r] q Denicin de o q [( q p) r] Conmutatividad de [q q] p r Asociatividad de T p r A A T (T p) r Asociatividad de

Publicacin para fmat.cl o

( p T ) r Conmutatividad de T r AT T rT Conmutatividad de T AT T b) Sean p,q,r,s proposiciones. Suponiendo que una de las siguientes proposiciones es verdadera. I) p q r s t u II) p q r s t u Para los siguientes casos, cul es verdadera? a 1) (q s) (p t) Solucin o Si I) es verdadera: [(V V ) (V F )] [V V ] V Si II) es verdadera: [(V F ) (F F )] [F F ] F Entonces 1) ser verdadera en cualquier caso. a 2) [(p t)] (r t) Solucin o [(p t)] (r t) ( p t) (r t) (p t) (r t) Si I) es verdadera: [(V V ) (F F )] [V F ] F Si II) es verdadera: [(F V ) (V F )] [F F ] V Entonces 2) es incierta y depender de la hiptesis. a o Observacin o Si no est claro es desarrollo de este punto, debe entenderse que si la proposicin a) a o contiene a a y en una de las condiciones aparece ( a) entonces, para dicha condicin a o toma el valor F. Ejemplo: Sea (p r) si vericamos para la condicin I) entonces nos queda (V F ) o