TRABAJO LOGICA MATEMATICA

LOGICA MATEMATICA DESARROLLO DE ACTIVIDAD TRABAJO NO.2 MICHEL ANGELO MAYORGA HENAO

INSTRUCTOR: JESUS ARMANDO ORTIZ JORNADA SABADO A (9-11 AM)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA FUSAGASUGA CUNDINAMARCA 2013

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

TALLER LOGICA MATEMATICA NO.2

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

La lgica matemtica es til, ya que nos ensea a un punto de vista ms analtico, este se puede aplicar a todas nuestras actividades, tanto lectivas como laborales o cotidianas, su fin es llevar una proposicin expresada en lenguaje natural, a una operacin matemtica, la cual es representada por signos, variables, tablas de verdad.

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

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 hoy es sbado y tenemos clase de lgica Una clase presencial demora 2 horas si y solo si va el instructor Si paso el semestre entonces paso al siguiente No es verdad que la universidad solo tiene mujeres La administracin es una ciencia o me toca estudiar.

No son proposiciones La administracin, universidad Lgica matemtica espera clases Los trabajos escritos son muy largos La gente de la unad es muy formal La clase presencial es mejor

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

Ejercicio Propuesto 3: Plantea el anlisis de todos los casos y valores de verdad:

Ejercicio propuesto CASO 1:

En la maana escribo mi programa de computacin y en la tarde juego tenis 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 En el que termino de escribir mi programa de computador pero no juego tenis p^q=F No termino de escribir mi programa de computacin y no juego tenis

CASO 2:

CASO 3:

CASO 4:

p^q=F Escribo mi programa de computacin, y si juego tenis

p^q=v ^ CONJUNCION SOLO ES VERDADERO SI LAS DOS SON VERDADERAS, DE RESTO SON FALSAS

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

Ejercicio Propuesto 4: 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.

Premisas elegidas

r = estudio gestin comercial y de negocios s= me gusta la clase de lgica matemtica Estudio gestin comercial y de negocios y me gusta la clase de lgica matemtica

CASO 1: r V s =V Estudio gestin comercial y de negocios y no me gusta la clase de lgica matemtica

CASO 2

CASO 3

r V s =V No estudio gestin comercial y de negocios y no me gusta la clase de lgica matemtica

Caso 4

r V s =F No estudio gestin comercial y de negocios y me gusta la clase de lgica matemtica

r V s =V

V disyuncin: solo es falso cuando ambas son falsas, el resto son verdaderas.

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

Ejercicio Propuesto 5: Plantea cinco ejemplos de premisas asociados con tu programa de estudio, y su correspondiente negacin. Consideras que es necesario emplear siempre la palabra NO para negar una proposicin? Considero que no, ya que utilizamos lenguaje natural el cual est lleno de sinnimos, razn por la cual podemos remplazar esta palabra.

Premisas Es verdad que estudio en la unad

Negacion de premisas Nunca estudio en la unad

Estudio un sbado en Arbelez y otro en fusa Soy estudiante de lgica matemtica

Para nada estudio un sbado en Arbelez ni otro en fusa No soy estudiante de lgica matemtica

Voy a estudiar toda la carrera

Dejare de estudiar toda la carrera

Entiendo la plataforma virtual

No entiendo la plataforma virtual

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

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

Proposicin condicional elegido

Condicional 1 Condicional 2

r: voy a la universidad s: apruebo el semestre Si y solo si voy a la universidad entonces apruebo el semestre Solo si voy a la universidad entonces apruebo el semestre

Condicional 3 Condicional 4

Apruebo el semestre solo si voy a la universidad Para aprobar el semestre es necesario ir a la universidad

Condicional 5

Es necesario ir a la universidad para aprobar el semestre

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

Ejercicio Propuesto 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: ser un profesional Proposicin 2: voy a la universidad Proposicin bicondicional: ser un profesional si y solo si voy a la universidad. Si y solo si voy a la universidad ser un profesional. Solo si y solo si ser un profesional si voy a la universidad.

Conclusin: para poder que se cumpla la una es necesario que se cumpla la otra. Solamente es verdadero si las dos son verdaderas o si las dos son falsas.

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

Ejercicio Propuesto 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.

V F V V

V F V V

V F F F

V F F v

Conclusion: a diferencia del direccional, el bidireccional debe cumplir ambas condiciones, sino esta mintiendo.

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

10

Ejercicio Propuesto 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) p V V F F q V F V F q F V F V p q F V F F

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

11

2)p q p F F V v q V F F V p q F F F V

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

12

3) p q p F F V V q V F V F q F V F V p q V V F V

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

13

4) p V p p F V q F V pVq F V

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

14

5) ( p q) P V V F F q V F V F q F V F V p q F V F F ( p q) V F F f

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

15

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

[( p q)(p V q)]

V F V V

F V F F

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

16

7) (pq)V(rs)
P V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V v F F V v F f V v F f S V F V F V F V F V F V F V F V F

pq
V V V V F F F F F F F F F F F F

rs
V F F F V F F F V F F F V F F F

(pq)V(rs)
V V V V V F F F V F F F V F F F

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

17

Ejercicio Propuesto 10: Demostrar que la proposicin tautologa:

es una

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

q V V F F V V V V

r V F V V V F V V

r V F V F V V V V

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

(p

r)

Si es una tautologa, ya que todo es verdadero.

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

18

Ejercicio Propuesto 11: Demostrar que la proposicin es una tautologa: p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F s V F V F V F V F V F V F V F V F p V V V V F F F F V V V V F F F V q r V F V F V F V F V F V F V F V F s Pvr V V V V V V V V V V V V F F F F qvs V V V V V V V F V V V V V F V F V V V V V V V V V V V V V V V V

CEAD ARBELAEZ

TRABAJO LOGICA MATEMATICA

19

Ejercicio Propuesto 12: Demostrar que la proposicin son lgicamente equivalentes:

p V V F F

q V F V F

p F F V V

q F V F V

(pvq) V V V F

p^q F F F V F F F F

CEAD ARBELAEZ