ACTIVIDAD 2: TRABAJO EJERCICIOS PROPUESTOS

UNIDAD 1





ADRIANA PATRICIA VALBUENO B





Curso: Lgica matemtica
Trabajo colaborativo




Oscar Jhonny Gmez Suarez
Tutor





UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD
PEREIRA
2013

Ejercicios
propuestos
Unidad 1
Ejercicio Propuesto 1: A continuacin te invitamos a plantear la
pertinencia del curso de
Lgica matemtica para tu programa de estudio:

Elaborar proposiciones en los diversos temas que se involucran en los programas
de estudio de administracin de empresas e ingeniera.

Establecer algunos procedimientos para analizar situaciones en el rea
econmica, comercial entre otras.

Para reducir afirmaciones a proposiciones simples, y as facilitar su anlisis.

Para relacionar dos situaciones por medio del uso de las proposiciones
compuestas.

Para analizar la veracidad o falsedad de un argumento en un ejercicio de
aplicacin en cualquier ciencia relacionada con la administracin de empresas e
ingeniera.

Para analizar situaciones en ejercicios de matemticas, calculo y geometra.






Ejercicio Propuesto 2: Plantea cinco expresiones asociadas a tu programa de
estudio que no sean proposiciones y cinco expresiones que si lo sean, recuerda
que una proposicin puede ser falsa y contina siendo proposicin:


Son proposiciones

No son proposiciones

La lgica matemtica se
aprende si estudiamos
adecuadamente
Acompaamiento tutorial
El curso de administracin es un rea
disciplinar
Agenda educativa
La ingeniera industrial es
importante para el desarrollo
tecnolgico de las empresas
Estudio a distancia
La cultura es la memoria no gentica
del ser humano.
Grupo colaborativo
Las tutoras son exitosas para los
estudiantes.

Foros del curso

3: Plantea el anlisis de todos los casos y valores de verdad:
Ejercicio
propuesto
En la maana escribo mi programa de computacin y en la tarde
juego tenis
CASO 1: p = En la maana escribo mi programa de computacin
q = En la tarde juego tenis
En el que no termino de escribir mi programa de computador pero
juego tenis
p ^ q = F p=F
q=V
CASO 2: En el que termino de escribir mi programa de computador pero no
juego tenis
p ^ q = F q=F
q=V
CASO 3: En el que no escribo mi programa de computacin y en la que no
juego tenis.

p

p=F

CASO 4: En la maana escribo mi programa de computacin y en la tarde
juego tenis

pq = v p=V
q=V




4: Plantea el anlisis de todos los casos y valores de verdad:
Plantea ejemplos de premisas r y s asociados con tu programa de estudio, tal que
te permitan
verificar el valor de verdad de la proposicin compuesta r v s . Usa como
referencia los
cuatro casos anteriores.

Premisas
elegidas
r = quiero las matemticas
s= quiero los lenguajes
CASO 1: Quiero las matemticas o quiero los lenguajes

r v s = V
CASO 2: Si no quiero las matemticas o quiero lenguajes

r v s = V
CASO 3: Si quiero matemticas o no quiero lenguajes

r v s = V
CASO 4: Si no quiero matemticas o no quiero lenguaje

r v s = F





5: Plantea cinco ejemplos de premisas asociados con tu programa de
estudio, y su correspondiente negacin. Consideras que es necesario emplear
siempre lapalabra NO para negar una proposicin?

Premisa Negacin de la premisa
p = aprendemos matemticas p no aprendemos matemticas
q = sabemos interpretar



q no sabemos interpretar
r = practicamos r no practicamos
s = aplicamos lo aprendido s no aplicamos lo aprendido
t = estudiamos a distancia t no estudiamos a distancia






6: Elije una proposicin condicional asociada con tu programa de
estudio y plantea la misma expresin de diferentes formas sin cambiar su sentido.

Proposicines
condicionales
elegidas

p-estudiamos
q- aprendemos
r- Somos ordenados
Manera 1 Estudiamos y somos ordenados entonces aprendemos

p r V
Manera 2 Estudiamos entonces aprendemos

p V
Manera 3 aprendemos si estudiamos

p V
Manera 4 Aprendemos entonces si somos ordenados y estudiamos

r p = V
Manera 5 Si somos ordenados y estudiamos entonces aprendemos

r p V



7: Construye una proposicin bicondicional con dos proposiciones
asociadas a tu programa de estudio, luego rescribe la proposicin bicondicional sin
cambiar su sentido. Cuntas maneras diferentes de expresar la misma idea en
leguaje natural encuentras?

Proposicin 1: estudiamos matemticas

Proposicin 2: se estudia ingeniera

Proposicin bicondicional:
Expresa a continuacin la misma proposicin bicondicional de otra manera:

Si estudiamos matemtica si y solo si estudiamos ingeniera
p
Si estudiamos ingeniera si y solo si estudiamos matemticas
p
Mi conclusin: Para que ocurra un acontecimiento, se requiere que se trabaje en
detalles previos.
8: De acuerdo a la definicin estudiada para el bicondicional; para
determinar los valores de verdad de la proposicin bicondicional basta indagar por
el valor de verdad de la conjuncin entre las implicaciones p q y q p Se
propone al estudiante hacer la demostracin.


p q p q q p
(q p) .( pq)
p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V






9: Determinar los posibles valores de verdad para las proposiciones:
1) p . q 2) p . q 3) p q 4) p v p

5) ( p . q) 6) |( p .q)(p v q)|

7) ( p .q)v(r . s)
1/: 2/:







3/: 4/:








p q q
p . q
V V F F
V F V V
F V F F
F F V F
p q p q
p . q
V V F F F
V F F V F
F V V F F
F F V V V
p q q
p q
V V F F
V F V V
F V F V
F F V V
p p
p v p
V V V
V V V
F F F
F F F





6/:
p q p q
( p .q) (p v q)
( p .q)(p v q)
|( p .q)(p v q)|
V V F F F V V F
V F F V V F F V
F V V F F V V F
F F V V F V V F
7/:
















p q p q
( p . q) ( p . q)
V V F F F V
V F F V V F
F V V F F V
F F V V F V
p q r s
( p .q) (r . s) ( p .q)v(r . s)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F F F
F V V V F V V
F V V F F F F
F V F V F F F
F V F F F F F
F F V V F V V
F F V F F F F
F F F V F F F
F F F F F F F
10: Demostrar que la proposicin |( pq) .(qr )|__( pr )
es una tautologa:

p q r
p q q r p r
( pq).(qr ) |( pq) .(qr )|( pr )
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V F V
F V F V F V F V
F F V V V V V V
F F F V V V V V











11: Demostrar que la proposicin

{|( pq) .(r s)| .( p v r )}(q v s) es una tautologa:
p q r s ( pq) (r s) |( pq) .(r s)| ( p v r )
{|( pq) .(r s)| .( p v r )} (qv s) {|( pq) .(r s)| .( p v r )}(q v s)
V V V V V V V V V V V
V V V F V F F V F V V
V V F V V V V V V V V
V V F F V V V V V V V
V F V V F V F V F V V
V F V F F F F V F F V
V F F V F V F V F V V
V F F F F V F V F F V
F V V V V V V V V V V
F V V F V F F V F V V
F V F V V V V F F V V
F V F F V V V F F V V
F F V V V V V V V V V
F F V F V F F V F F V
F F F V V V V F F V V
F F F F V V V F F F V







12: Demostrar que la proposicin( pv q) y la proposicin p .q
son lgicamente equivalentes:






13: Demostrar que las proposiciones p q y la proposicin p v q
son lgicamente equivalentes:







p q p
( pv q) ( pv q)
V V F V F
V F F V F
F V V V F
F F V F V
p q p q
p .q
V V F F F
V F F V F
F V V F F
F F V V V
p q
p q
V V V
V F F
F V V
F F V
p q p
p v q
V V F V
V F F F
F V V V
F F V V
14: Haciendo uso de la doble implicacin,
1. Demostrar la equivalencia de las proposiciones directa y contra recproca. Y
2. Demostrar la equivalencia de las proposiciones recproca y contraria.
1/:
Directa
Si ve matemticas si y solo si estudia ingeniera
p q
V V
Contraria
Si no ve matemticas si y solo si no estudia ingenieria
q (p )
F F

2/:
Reciproca
Si tiene pelo entonces es mamfero
q p
V V
Contraria
Si no es mamfero entonces no tiene pelo
p (q)
F F

p q p q Directa
p
Reciproca
p
Contraria
p()
Contrarreciproca
(p)
V V F F V V V V
V F F V F V V F
F V V F V F F V
F F V V V V V V
15: Demuestra que todas estas leyes del lgebra corresponden a
tautologas. Propn expresiones del lenguaje natural para cada ley.

1. IDEMPOTENCIA (P V P) P
p p (p v p) (p v p) p
V V V V
F F F V

IDEMPOTENCIA (P

P) P
p p (p p) (p p) p
V V V V
F F F V

2. LEY ASOCIATIVA. (p v q) v r p v ( q v r )
p q r
(p v q)
( q v r )
(p v q) v r
p v ( q v r ) (p v q) v r p v ( q v r )
V V V V V V V V
V V F V V V V V
V F V V V V V V
V F F V F V V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
F F F F F F F V

LEY ASOCIATIVA. (p q) r p (q r)
p q r (p q) (q r) (p q) r p (q r) (p q) r p (q r)
V V V V V V V V
V V F V F F F V
V F V F F F F V
V F F F F F F V
F V V F V F F V
F V F F F F F V
F F V F F F F V
F F F F F F F V





3. LEY CONMUTATIVA. (p v q) (q v p)

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

(p q) (q p)

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

4. LEY DISTRIBUTIVA

p v (q r ) (p v q) (p v r)
p q r (p v q) (p v r) (q v r ) p v (q r ) (p v q) (p v r) p v (q r ) (p v q) (p v r)
V V V V V V V V V
V V F V V F V V V
V F V V V F V V V
V F F V V F V V V
F V V V V V V V V
F V F V V V V V V
F F V F F F F F V
F F F F F F F F V

p (q v r ) (p q) v (p r)
p q r (p q) (p r) (q v r ) p (q v r ) (p q) v (p r) p (q v r ) (p q) v (p r)
V V V V V V V V V
V V F V F V V V V
V F V F V V V V V
V F F F F F F F V
F V V F F V F F V
F V F F F V F F V
F F V F F V F F V
F F F F F F F F V


5. IDENTIDAD

(p v 0) p
p 0 (p v 0) (p v 0) p

V F V V
F F F V

(p v 1) 1
p 1 (p v 1) (p v 1) 1
V V V V
F V V V

(p 0) 0
p 0 (p 0) (p 0) 0
V F F V
F F F V

(p 1) p
p 1 (p 1) (p 1) p
V V V V
F V F V

6. COMPLEMENTO
(p v p) 1
P 1 p (p v p) (p v p) 1
V V F V V
F V V V V

(p p) 0
p 0 p (p p) (p p) 0
V F F F V
F F V F V

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

1 0
1 0 1 1 0
V F F V
V F F V
V F F V
V F F V

0 1
0 1 0 0 1
F V V V
F V V V
F V V V
F V V V


7. LEYES DE MORGAN

(p v q) (p q)

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

V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

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

V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V





16: Identifica en el siguiente silogismo las diferentes proposiciones
categricas, propn una representacin mediante diagramas de Venn de las
diferentes
relaciones entre las clases implicadas:
Ningn estudiante es perezoso
Todos los amantes del conocimiento son estudiantes
Luego, ningn amante del conocimiento es perezoso
E: estudiante Ningn E, es P
P: Perezoso
U
E P



A: Todos los amantes del conocimiento Todos A, es E
E: Estudiantes
U
A E









Ningn amante del conocimiento es perezoso
A: Amante Ningn A, es P
P Perezoso

U
A P