Algebra I, MBI 1

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 ~ (~ p ) p Ley de la doble negacin

2 ~ ( p q) ~ p ~ q Leyes de DeMorgan
~ ( p q) ~ p ~ q
3 pq q p Leyes conmutativas
pq q p
4 p (q r ) ( p q) r Leyes asociativas
p (q r ) ( p q) r
5 p (q r ) ( p q) ( p r ) Leyes distributivas
p (q r ) ( p q) ( p r )
6 p p p Leyes idempotentes
p p p
7 p F0 p Leyes de neutro
p T0 p
8 p ~ p T0 Leyes inversas
p ~ p F0
9 p T0 T0 Leyes de dominacin
p F0 F0
10 p ( p q) p Leyes de absorcin
p ( p q) p

UNIVERSIDAD DE SANTIAGO DE CHILE 1

FACULTAD DE CIENCIA- DMCC
Algebra I, MBI 2
Prof. Heraldo Gonzlez S

Reglas de inferencia
Regla de Implicacin lgica relacionada Nombre de la
Inferencia regla
1 p [ p ( p q)] q Modus Ponens
pq
q

2 pq [( p q) (q r )] ( p r ) Ley de
qr silogismo
pr
3 pq [( p q) ~ q ] ~ p Modus
~q Tollens
~ p
4 pq [( p q) ~ p] q Regla de
~ p Silogismo
disyuntivo
q
5 ~ p F0 ( ~ p F0 ) p Regla de
contradiccin
p
6 pq ( p q) p Regla de
simplificacin
p
conjuntiva
7 p p ( p q) Regla de
amplificacin
pq
conjuntiva
8 pq [( p q) [ p (q r ]] r Regla de
p (q r ) demostracin
condicional
r
9 pr [( p r ) (q r )] [( p q) r ] Regla de
qr demostracin
por casos
(p q) r
10 pq [( p q) (r s) ( p r )] (q s) Regla del
rs dilema
constructivo
pr
qs
11 pq [( p q) (r s) (~ q ~ s)] (~ p ~ r ) Regla del
rs dilema
destructivo
~ q ~ s
~ p ~ r

UNIVERSIDAD DE SANTIAGO DE CHILE 2

FACULTAD DE CIENCIA- DMCC
Algebra I, MBI 3
Prof. Heraldo Gonzlez S

1) Demuestre mediante Algebra de proposiciones:

a) [( p q) ~ p] (~ p q)
b) [~ ( p q) (~ p q)] ~ p
c) [ 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 3

FACULTAD DE CIENCIA- DMCC
Algebra I, MBI 4
Prof. Heraldo Gonzlez S

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

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

6) Demuestre mediante Algebra de proposiciones:

d) [( p q) ~ p] (~ p q)
e) [~ ( p q) (~ p q)] ~ p
f) [ 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 4

FACULTAD DE CIENCIA- DMCC
Algebra I, MBI 5
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
p ~ q
13) Establezca la validez del siguiente argumento
~ q ~ r
~r

pr
~ pq
14) Establezca la validez del siguiente argumento
qs
~rs

pr
rs
t ~ s
15) Establezca la validez del siguiente argumento .
~ tu
~u
~ p
Indicacin. Use Modus Tollens, silogismo, equivalencia lgica ~ a b a b

UNIVERSIDAD DE SANTIAGO DE CHILE 5

FACULTAD DE CIENCIA- DMCC
Algebra I, MBI 6
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
a) i) x[ p( x) ~ r ( x)] ii) x[q( 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 6

FACULTAD DE CIENCIA- DMCC