Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Coordinacin de Matemtica I (MAT021)

1er Semestre de 2015

Semana 1:

Gua de Ejercicios de Complemento,

lunes 9  viernes 13 de Marzo

Contenidos

1.

Clase 1:

Elementos de lgica: conectivos, tablas de verdad, tautologas y contingencias.

Clase 2:

Demostraciones y razonamientos lgicos. Conjuntos: denicin y operaciones

Ejercicios propuestos

1.1.

Verique que ((p = q) (q = p)) (p q) es una tautologa a travs del uso de una tabla de Verdad.

1.2.

Si (p q) t, pruebe que la siguiente proposicin es una tautologa

p (q = t) F
1.3.

Pruebe que {[(p q) (q p)] (p q)} q

1.4.

Sean A, B y C tres conjuntos contenidos en un conjunto Universo U , tales que A B = y C B . Pruebe

que:

1.5.

AC (B C)


B C AC AC = A

Si A B y C B. Usando propiedades de conjuntos verique que se cumple:

c

[(A B) C] (A B) = B
1.6.

Identique cules de las siguientes proposiciones son simples y cuales son compuestas:

a) Estoy en la casa o en la universidad.

b) Gabriela est trabajando.
c) Si multiplicamos por cero, el producto siempre es igual a cero.
d) Si gano suciente, voy a un viaje.
Si p es la proposicin "Luisa quiere a Supermn" y q la proposicin "Supermn quiere a Luisa", exprese con
palabras las proposiciones:
1.7.

a) (p q).
b) p q.
c) p q.

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1.8. Pruebe que:

1.9.

(a) B (A B) =

(b) (A B) (B C)c = (A B c ) C c

(c) (Ac B)c (Ac B c )c = A

(d) [A (B Ac )] [Ac B c C] = A B C

(e) (A B c ) B = A B

(f ) (A B) (A B c ) = A

Sea p: llueve, q: hace frio, r: voy a la esta. Exprese en lenguaje cotidiano las siguientes proposiciones:

a) (p q) r
b) (p q) r
c) ( p q) r.
1.10.

De los enunciados siguientes decida cules son verdaderos:

1. 10 es par y termina en cero.

2. 10 es par y 3*3=9
3. 10 es par y 9 tambin
4. 13 es par o 13 termina en cero
5. 13 es par o 2*2=4
6. Si 2 + 2 = 4, entonces 3 + 3 = 7, si slo si, 1 + 1 = 2
7. Si 2 + 2 = 4, entonces no es cierto que 2 + 1 = 3 y 5 + 5 = 10.
1.11.

Cules de los siguientes enunciados compuestos son verdaderos?

a) p q p q
b) p q (p q) ( p q)
c) (p q) ( p q) (p q)
El conectivo proposicional se llama
lee "ni p ni q ".
1.12.

conjuncin negativa.

Para dos proposiciones p y q se anota p q , se

a) Construir la tabla de verdad de p q

b) Probar que :
i

1.13.

) p pp

ii

) p q (p p) (q q)

iii

) p q (p q) (p q)

Niegue y luego simplique las proposiciones resultantes:

1. p (q r) (p q r)
2. (p q) r
3. p (q r)
4. (p q) (p q r)

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

2.
2.1.

Ejercicios propuestos que incluyen respuesta

Determinar cuales de las siguientes proposiciones son equivalentes

a) El caf es agradable, a menos que se le agregue azcar.

b) El caf es agradable si no le agregamos azcar
c) Si agregamos azcar, el caf es agradable
d) Si agregamos azcar, el caf no es agradable
2.2.

Determinar si la siguiente proposicin compuesta p = (p [p q]) es o no Tautologa

2.3.

Determinar si las siguientes proposiciones son Tautologa, Contradiccin o Contingencia

a) [(p q) p] q
b) [p (q p)] (q p)
c) [p (p r)] [q (q p)]
d) [p ((r q) p)] (q p)
2.4.

Pruebe si la siguiente proposicin (p = q) = (p q)es o no una Tautologa

2.5.

Se dene el siguiente conectivo lgico (p q) (q (q p)) Determine el valor de verdad de p p.

2.6. Sean p y q dos proposiciones. sabiendo que r es una proposicin falsa, determine el valor de verdad de la
siguiente proposicin [p = (q = r)] = [(p q) = r]
2.7.

Si (p r) es verdadera, entonces la proposicin:

[(p = s) = r] (s r)
Es tautologa, contradiccin o contingencia.
Si p es una proposicin Verdadera, determinar el valor de verdad de la proposicin q , de modo que la
proposicin compuesta (p q) [(p q) F ] sea Verdadera.
2.8.

Si la Proposicin compuesta (p q) (p r) es Falsa, determinar el valor de verdad de la proposicin

(q r) Y p.

2.9.

2.10.

Escribir por extensin los conjuntos:

{2, 4, 6, 8}


1 1 1 1 1 1
, , , , ,
2 3 4 5 6 7

A =
B
2.11.

Se denen los siguientes conjuntos

= R

= {x Z /5 x < 6 }

= {x U /4x 2 < 6 }

[3, 10] [12, 14]

Exprese claramente los siguientes conjuntos: A B, (B C) A, C c A.

2.12.

Considere el conjunto Universo

U = {x IN /x es mltiplo de 3 5 < x 18 }
y los conjuntos A = {x U /x es par x 8 } y B = {x U /x es mltiplo de 4 } , Obtener el conjunto
c
(A B) (A B)
MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

3.

Ejercicios Resueltos

3.1.

Usando tablas de verdad muestre o refute que [p (p q)] q (p q)

3.2.

Simplicar usando propiedades [p (p q)] [p q]

3.3.

Simplicar usando propiedades [(p q) q] p

3.4.

Muestre que [p (p q)] (p q) es equivalente con p utilizando propiedades y tabla de verdad.

3.5.

Demostrar

(p q) q p q.
3.6.

Determinar una forma proposicional A (p, q, r) cuya tabla de verdad sea la siguiente:

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

A (p, q, r)
F
F
F
V
V
V
F
V

3.7.

Consideremos el nuevo conectivo lgico , (p q) se lee ni p, ni q . (p q) es verdadera si y solo si p y q son ambas

falsas, demostrar las siguientes equivalencias lgicas:
1. p (p p)
2. p q ((p q) (p q))
3. p q ((p p) (q q))
3.8.

Sean p y q dos proposiciones. Denamos la proposicin

p ` q (Existe una proposicin tal que (p = ) ( = q))

Pruebe que

p ` q (p = q)
3.9.

Pruebe que: B [(B c A)c (A B)c ] = B A

3.10.

Demuestre usando algebra de conjuntos

{[Ac (A B)] [Ac (A B)]} = B A

3.11.

Demostrar las siguientes igualdades de conjuntos:

a) (A B) [(A B) (B A)] = A B
b) Demostrar que si Ac B = A B entonces B =

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

Respuestas y desarrollos
2.1

Las proposiciones a y d

2.7

2.2

Es Tautologia

2.8

2.3

La proposicin es una Tautologa, para q Verdadera

o Falsa.

a) Contingencia.

b) Tautologa.

2.9

c) (p q) (Contingencia)

Si es una Tautologa.

2.5

Falso

2.6

Tautologa.

3.1

La tabla es

Verdadera.

2.10

d) p Contingencia.
2.4

Contradiccin.

B=

A1 = {x N /(x es par) x < 10 }

n /n N 2 n 7

A B = {5, 4} , (B C) A = A,
C c A = {2, 3, 4, 5} .

2.11

2.12

p
V
V
F
F

q
V
F
V
F

pq

V
F
F
F

p (p q)
V
V
F
F

(A B) (A B) = {9, 15} .

[p (p q)] q

V
F
F
F

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

luego es una tautologa.

3.2

Propiedad utilizada

[p (p q)] [p q]

[p (p q)] [p q]

[p q] [p q]

[p q] [p q]

[p q] [p q]

q [p p]

MAT021 Primer Semestre 2015 (Complemento)

Morgan
Distributividad, p p V y V p p

pq pq
Morgan
Distributividad

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

3.3

Propiedad utilizada

[(p q) q] p
i
h

Pues p q p q

(p q) q p

[(p q) q] p

V p

(p V ) (V p)

(p V ) (F p)

V p

p
3.4

Morgan
Pues q q V y asociatividad
Pues p q {(p q) (q p)}
Pues p q p q

pV p y F pp
V pp

Usando tablas de verdad

p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

pq
F
F
V
F

q
F
V
F
V

p (p q)
V
V
V
F

pq
V
V
F
V

[p (p q)] (p q)
V
V
F
F

comparando los valores de verdad de p y [p (p q)] (p q) se sigue que son equivalentes.

Ahora usando propiedades

{[p (p q)] (p q)}

{[(p p) (p q)] (p q)}

{[V (p q)] (p q)}

{(p q) (p q)}

pero

{(p q) (p q)}
{(p q) (p q)} {(p q) (p q)}
n
o n
o

(p q) (p q) (p q) (p q)

{(p q) (p q)} {(p q) (p q)}

{(p q)} {(p q)}

p (q q)

pF
p

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

3.5

(p q) q ((p q) q) (q (p q))
((p q) q) (q (p q))
((p q) q) (q (p q))
((p q) q) ((q q) p)
((p q) q) (V p)
((p q q)) V
(p q) (q q)
(p q) V
p q.
3.6

Mirando las lneas de la tabla en las cuales A es verdadera podemos interpretar A por:

(p q r) (p q r) (p q r) (p q r) = A (p, q, r)
esta expresin se puede simplicar a

A (p, q, r) = (p q) (q r)
Explicacin un poco ms detallada: La forma (p q r) es verdadera si y solo si p es verdadera, q es falsa y
r es falsa, lo que hacemos es crear formas que sean verdaderas solo para una combinacin en la cual A (p, q, r)
es verdadera, despus conectamos tales formas con el conectivo esta forma ser verdadera si alguna de ellas es
verdadera.
3.7

1. Se pueden construir tablas de verdad para demostrar estas propiedades:

p
V
F

p
F
V

(p p)
F
V

se sigue p (p p)
2.

3.

p
V
V
F
F

(p q)
V
V
V
F

p
V
V
F
F

q
V
F
V
F

q
V
F
V
F

(p q)
V
F
F
F

(p q)
F
F
F
V

(p p)
F
F
V
V

(p q) (p q)
F
F
F
V

(q q)
F
V
F
V

(p q) (p q)
V
F
F
F

se sigue (p q) (p q) (p q)
3.8

() Como p ` q es verdadera, existe una proposicin tal que

(p ) ( q).
Luego, por transitividad se tiene que p q .

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

() Como p q es verdadera, se puede armar que

( = p tal que (p ) ( q)) p ` q
Luego;

p ` q (p = q)
B [(B c A)c (A B)c ]

= B [(B Ac ) (Ac B c )]
= B [Ac (B B c )]
= B [Ac

3.9

(B Ac )

= AB
3.10

3.11

{[Ac (A B)] [Ac (A B)]}

{[(Ac A) (Ac B)] [Ac (A B c )]}

{(Ac B) }

Ac B

BA

1. Vamos a demostrar utilizando lgebra de conjuntos, en especial las propiedades

= G Fc

GF
(G F )

= Gc F c

(G F )

= Gc F c

G (F D)

(G F ) (G D)

G (F D)

(G F ) (G D)

y distributividad

as

(A B) [(A B) (B A)]

(A B) [(A B) (B A)]

(A B) [(A B) (B A) ]

c c

(A B) [(A B ) (B Ac ) ]

(A B) [(Ac B) (B c A)]

(A B) (Ac B) (B c A)

= B (A Ac ) (B c A)
= B (B c A)
=

(B B c ) (B A)

(B A)

2. Notemos que

AB

= A (A B)
= A (Ac B)
=

MAT021 Primer Semestre 2015 (Complemento)

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

se sigue

Ac B = A B =

de donde obtenemos

MAT021 Primer Semestre 2015 (Complemento)

B (A Ac )

(B A) (B Ac )