Algebra I, MBI Prof.

Heraldo Gonzlez S

Gua de ejercicios N1: Lgica Matemtica

Equivalencia lgica: Las leyes de la lgica (Algebra de proposiciones) Sean p, q, r proposiciones bsicas o primitivas cualesquiera, T0 una tautolgica y F0 una contradiccin, entonces se cumple ( o son tautologas)

1 2

~ (~ p ) p
~ ( p q) ~ p ~ q ~ ( p q) ~ p ~ q pq q p
pq q p p (q r ) ( p q) r p (q r ) ( p q) r p (q r ) ( p q) ( p r ) p (q r ) ( p q) ( p r ) p p p p p p p F0 p p T0 p p ~ p T0 p ~ p F0 p T0 T0 p F0 F0 p ( p q) p p ( p q) p

Ley de la doble negacin

Leyes de DeMorgan Leyes conmutativas Leyes asociativas Leyes distributivas Leyes idempotentes Leyes de neutro Leyes inversas Leyes de dominacin Leyes de absorcin

3 4 5 6 7 8 9 10

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC

Algebra I, MBI Prof. Heraldo Gonzlez S

Regla de Inferencia p
pq

Reglas de inferencia Implicacin lgica relacionada

[ p ( p q)] q

Nombre de la regla Modus Ponens

q
2
pq qr

[( p q) (q r )] ( p r ) [( p q) ~ q ] ~ [( p q) ~ p] q
( ~ p F0 ) p
( p q) p p ( p q)

Ley de silogismo Modus Tollens Regla de Silogismo disyuntivo Regla de contradiccin

Regla de simplificacin conjuntiva Regla de amplificacin conjuntiva Regla de demostracin condicional

pr pq ~q ~ p pq ~ p q ~ p F0

5 6

p pq
p

pq
8

pq p (q r ) r pr qr (p q) r pq

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

Regla de demostracin por casos

10

rs pr 11 qs pq rs ~ q ~ s ~ p ~ r

Regla del dilema constructivo

[( p q) (r s) (~ q ~ s)] (~ p ~ r )

Regla del dilema destructivo

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC

Algebra I, MBI Prof. Heraldo Gonzlez S

1) Demuestre mediante Algebra de proposiciones: a) b) c)

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

2) Usando los datos proporcionados en cada caso, obtenga el valor veritativo pedido: a) Si se sabe que: p q es V y adems r p es F, determine el valor de (r q ) (r q ) Resp. F b) Sabiendo que: p q es F, r p es F, determine el valor veritativo de i) p r Resp. F ii) ~ [ p (~ r )] Resp. F c) De la falsedad de ( p ~ q ) (~ r s ) deduzca el valor veritativo de i) (~ p ~ q ) (~ q ) Resp. F ii) [(~ r q) q] [(~ q r ) s] Resp. F iii) ( p r ) [( p q) (~ q)] Resp. V

3) Use tablas de verdad para clasificar las siguientes proposiciones como: Tautologa, Contradiccin o Contingencia a) [( p q) q ] (~ p q) b) b) ( p q) [( p r ) (q r )] c) ~ [(~ p q) ~ ( p q)] q d) [( p q) (q r )] ( p r ) 4) Si p q significa ni p y ni q Cules de las siguientes proposiciones son tautologas? a) ( p q ) (q p ) ( p q )

b) ~ ( p q ) p q c) ( p q ) ~ ( p q ) d) ~ ( p q ) p q

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC

Algebra I, MBI Prof. Heraldo Gonzlez S 5) Sabiendo

que la proposicin compuesta ~ p [q (~ r ~ s )] es verdadera,

verdad de [~ p (~ r q)] s Resp. V

determine el valor de

6) Demuestre mediante Algebra de proposiciones: d) e) f)

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

7) Demuestre que cada uno de los siguientes argumentos es vlido (es decir, que la proposicin es una tautologa), usando el lgebra de proposiciones. a) [( p q) p ] q b) [( p q) (~ p )] ~ p c) [( p q) (q r )] ( p r ) d) [( p q ) (~ p)] q e) ( p q ) p , ( p q) q f) p ( p q ) Adems, identifique cada una de las siguientes frases con alguno de los argumentos anteriores i) Jos tiene un cuaderno o un lpiz , Jos no tiene un cuaderno , por lo tanto, Jos tiene un lpiz ii) Si Jos gana el concurso entonces obtendr una beca , Jos gan el concurso, por lo tanto, Jos obtendr la beca iii) Si Jos gana el concurso entonces obtendr una beca , Jos no obtuvo la beca, por lo tanto, Jos no gan el concurso iv) Todos los monos son desordenados, luego, los monos son desordenados o son peludos v) Si no llueve entonces se perder la cosecha, si se pierde la cosecha entonces no se podr cancelar la deuda entonces , si no llueve, no se podr cancelar la deuda vi) Ningn estudiante es ocioso y Mara es una excelente bailarina, luego, ningn estudiante es ocioso

8) Para las proposiciones primitivas p, q existe una proposicin mas sencilla para expresar la proposicin compuesta ( p q ) (~ p q ) ?

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC

Algebra I, MBI Prof. Heraldo Gonzlez S 9) La proposicin ~ {~ [( p q ) r ] ~ q } contiene cuatro apariciones de proposiciones primitivas, tres smbolos de negacin y tres conectivos. Determine una proposicin equivalente ms sencilla Resp q r

10) Use reglas de sustitucin (equivalencia lgica) para verificar que [ p (q r ] [( p ~ q) r ]

11) Escriba los pasos y las razones para establecer las siguientes equivalencias logicas a) p [ p ( p q)] p b) p q (~ p ~ q r ) p q r c) [(~ p ~ q) ( p q r )] p q 12) Sean p, q, r proposiciones primitivas. Encuentre una forma de la contrapositiva de p (q r ) con: a) solo una aparicin del conectivo b) sin que aparezca el conectivo p 13) Establezca la validez del siguiente argumento p ~ q ~ q ~ r ~r pr 14) Establezca la validez del siguiente argumento ~ pq qs ~rs pr rs 15) Establezca la validez del siguiente argumento t ~ s ~ tu ~u ~ p Indicacin. Use Modus Tollens, silogismo, equivalencia lgica ~ a b a b .

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC

Algebra I, MBI Prof. Heraldo Gonzlez S 16) Para el dominio formado por los enteros, considere las siguientes formulas proposicionales: p ( x) : x > 0 ; q ( x) : x es par ; r ( x) : x es un cuadrado perfecto ; s ( x) : x es divisible (exactamente) por 4; t ( x) : x es divisible (exactamente) por 5 a) Escriba simblicamente las siguientes proposiciones i) Al menos un entero es par ii) Existe al menos un entero que es par iii) Si x es par, entonces no es divisible por 5 iv) Ningn entero par es divisible por 5 v) Existe al menos un entero par divisible por 5 vi) Si x es par y x es un cuadrado perfecto, entonces x es divisible por 4 b) Para cada una de las proposiciones de a) decida su valor de verdad. Para cada proposicin falsa , de un contraejemplo c) Exprese en palabras cada una de las siguientes proposiciones i) x[r ( x) p( x)] ii) x[s ( x) q( x)] iii) x[s ( x) ~ t ( x)] iv) x[s ( x) ~ r ( x)] v) x[~ r ( x) ~ q( x) s ( x)]

17) Para el dominio formado por los enteros, considere las formulas proposicionales p ( x), q ( x), r ( x) ; si una proposicin es falsa, d un contraejemplo o explicacin

p ( x) : x 2 7 x + 10 = 0 ; q ( x) : x 2 2 x 3 = 0 ; r ( x) : x < 0 ii) x[q( x) r ( x)] a) i) x[ p( x) ~ r ( x)] iii) x[q( x) r ( x)] iv) x[ p( x) r ( x)] b) Determine las respuestas de la parte a) cuando el dominio consta de todos los enteros positivos c) Determine las respuestas de la parte a) cuando el dominio consta nicamente de los enteros 2 y 5

18) Determine el valor veritativo de las siguientes proposiciones, cuando el dominio es el conjunto de los enteros no nulos a) xy[xy = 1] b) xy[xy = 1] c) xy[(2 x + y = 5) ( x 3 y = 8)]

UNIVERSIDAD DE SANTIAGO DE CHILE FACULTAD DE CIENCIA- DMCC