1190 Act 10

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA
Unidad de Ciencias Bsicas Lgica Matemtica
Act. 10 TRABAJO COLABORATIVO No. 2
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LGICA MATEMTICA
90014
Presenta LIZETH ADRIANA FERNANDEZ OBANDO 1.061.741.531 JESUS ALBERTO OCHOA MIGUEL ENRIQUE NIEVES - 1.065.562.209 Tutor JULIETH JIMNEZ
Director de curso Georffrey Acevedo Gonzlez
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez
1/13
INTRODUCCION. La lgica nos brinda elementos para la identificacin de diferentes tipos de razonamientos que vivimos en la vida cotidiana, as podemos determinar su validez. Debemos saber que el razonamiento puede ser inductivo o deductivo. De acuerdo a los conocimientos adquiridos en el mdulo de lgica podemos desarrollar los diferentes puntos planteados por el tutor, identificar el valor de verdad o falsedad dado en un dialogo de la vida cotidiana, aplicando el razonamiento deductivo e inductivo en el mtodo cientfico, recordemos que el mtodo empieza por la observacin donde se derivan unas hiptesis y de acuerdo a esas hiptesis podemos plantear unas predicciones las cuales deben ser consistentes. Las leyes de inferencia son en total 9 las cuales nos permite encontrar la conclusin de las premisas dadas en los ejercicios. Tambin tenemos el mtodo por reduccin y absurdo donde dice que las premisas son verdaderas y la conclusin es falsa. Mediante el lenguaje simblico podemos plantear las tablas de verdad, para poder evaluar el grado de verdad de las premisas y la conclusin. Podemos utilizar un simulador de verdad el cual nos puede corregir o dar una solucin inmediata. Para poder utilizar el simulador debemos mirar el material de apoyo de la unidad 2. Aplicamos los conceptos de razonamientos lgicos, bsicos sobre las leyes de inferencia; ya que estos se encuentran presentes no solo en los espacios acadmicos, sino por el contrario, hacemos uso de stos en nuestra vida diaria, en el debate cotidiano de ideas. Encontramos muchas veces situaciones complejas gobernadas por estas leyes. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Entonces la inferencia, es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
Por ello, realizaremos ejercicios donde aplicaremos los conceptos aprendidos sobre las leyes de inferencia, demostraremos la validez de una conclusin y por ltimo, haciendo uso de las tablas de la verdad determinaremos la validez de un razonamiento.
2/13
Problema de aplicacin Los razonamientos lgicos que hemos estudiado, no son exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el debate cotidiano de ideas. A continuacin se propone un dilogo entre varios estudiantes de la UNAD, debes analizar este dialogo para dar respuesta a las fases 1 y 2: Dilogo:
Juan: Patricia: Ana:
algunas personas pueden hacer algo por la paz. No Juan. Todos podemos hacer algo por la paz. O hacemos algo por la paz o no queremos vivir en comunidad. Si nos gusta que existan personas que hagan ropa, entonces nos gusta vivir en comunidad. Si nos gusta que existan mdicos, entonces queremos vivir en comunidad. A quin no le gusta vivir en comunidad? Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la comunidad. podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz
Diego:
Freddy:
Mara: Jorge:
Tania:
3/13
Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes analizar el valor de verdad de cada proposicin y registrar su valor. Tambin debes registrar la justificacin de por qu se asign dicho valor. La proposici n es
No.
Proposicin
Justificacin
Ya que juan est generando una hiptesis donde se est desarrollando un razonamiento inductivo. El enunciado est generando una prediccin del enunciado anterior. No es una proposicin lgica ya que no se puede decir si es verdadero o falso. El enunciado de diego expresa una proposicin condicional. Es una condicional. Ya que el predicado de la conclusin es: paz la cual est en la premisa mayor, el sujeto de la conclusin es comunidad, por lo tanto la conclusin es vlida. En la premisa mayor esta vivir en comunidad, premisa menor esta: respetamos las leyes de la comunidad por lo tanto la conclusin seria: si no nos gusta vivir en comunidad, no respetamos las leyes. La premisa mayor va de acuerdo es existan mdico, la premisa menor es: vivir en comunidad. Por lo tanto es una conclusin valida. Va de acuerdo a sus premisas. No est de acuerdo a sus premisas.
VoF
El enunciado de Juan es un 1 enunciado cientfico 2 3 4 El enunciado de Patricia es un enunciado cientfico El enunciado de Mara es una proposicin lgica El enunciado de Diego expresa una conjuncin
V V F F V V
De acuerdo con Freddy, si no nos gusta vivir en comunidad, 5 entonces no nos gusta que existan mdicos. De acuerdo con Ana, si no queremos vivir en comunidad, 6 entonces no hacemos algo por la paz De acuerdo con Jorge, Si respetemos las leyes de la 7 comunidad, entonces nos gusta vivir en comunidad. De acuerdo con Freddy, Si nos 8 gusta vivir en comunidad, nos gusta que existan mdicos. De acuerdo con Jorge, Si no nos 9 gusta vivir en comunidad, entonces no respetamos la ley. De acuerdo con Ana, si hacemos 10 algo por la paz, queremos vivir en comunidad
V V V
4/13
Act. 10 TRABAJO COLABORATIVO No. 2 Fase 2) A continuacin, usando como referencia el dilogo propuesto, analiza la validez de la conclusin planteada por Tania: Declaracin de proposiciones simples: Premisas: si respetamos las leyes de la comunidad, entonces hacemos algo por la paz
Conclusin: respetamos las leyes por la paz Demostraciones: Fase 2.1: Demostracin a partir de las tablas de verdad forma 1: (Evaluando la existe del caso en que las premisas sean verdaderas y la conclusin sea falsa) Si respetamos las leyes de la comunidad entonces hacemos algo por la paz P: Si respetamos las leyes de la comunidad q: hacemos algo por la paz
q Pq V F F V
P V V F F
q V F V F
Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la conjuncin de las premisas implican la conclusin.)
(p^q)r V F V V V V V V
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
p^q V V F F F F F F
5/13
Proposi ciones simples p q s t V V VV F V V VF F VVFV V VVFF V V F VV F V F VF F VF FV V VF FF V F V VV F F V VF F F VFV V F VFF V F F VV F F F VF F F F FV V F F FF V
Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin
~p F F F F F F F F V V V V V V V V
p v ~q F F F F F F F F F F F F V V V V
s-->q V V F F V F V V V V V F V V V V
q --> t V F V F V V V V V F V F V V V V
p V V V V F F F F V V V V F F F F
2.2.2. Verificacin con simulador p T T T T F F F F q T T F F T T F F r T F T F T F T F (p q) r T F T T T T T T
6/13
Fase 2.3: Demostracin a partir de las leyes de inferencia: Debemos tener en cuenta las premisas que estn en el dialogo:
P: hacer algo por la paz q: vivir en comunidad r : personas que hagan ropa s : nos gustan que existan mdicos t : respetamos las leyes de la comunidad
1. P 2. P 3. p v 4. r q 5. s q 6. q t 7. t p 8. 9. 10. 11. 12.
.
. . p es la premisa que se quiere demostrar. de las premisas 1.2 se concluye por (MTT) de la premisa 3 se concluye por (S.D) de las premisas 4,5 se concluye por (MPP) de las premisas 6 ,7 se concluye por (MPP) de las premisas 7 se concluye por (S:H)
P pv q sq
q t
p
Fase 2.4: Por reduccin al absurdo:
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa: Si es posible entonces el razonamiento no valido es vlido. premisa 1: premisa 2: premisa 3: ~p =V p v ~q = V s-->q = V
7/13
Act. 10 TRABAJO COLABORATIVO No. 2 premisa 4: q --> t = V Como podemos observar probablemente las premisas son verdaderas por lo tanto la conclusin es falsa.
8/13
Ejemplo para la fase 2:

Dilogo: El benefactor hubo de ser: o Pedro, o Andrs - Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. En conclusin: tuvo que ser Andrs.
Declaracin de proposiciones simples: p = El benefactor fue Pedro q = El benefactor fue Andrs s = Pedro estaba presente t = Pedro estaba de viaje
Premisas: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s
Conclusin: q
9/13
Act. 10 TRABAJO COLABORATIVO No. 2 Demostracin a partir de las tablas de verdad: Primera forma: Proposi ciones simples p q s t ~s V V VV F V V VF F VVFV V VVFF V V F VV F V F VF F VF FV V VF FF V F V VV F F V VF F F VFV V F VFF V F F VV F F F VF F F F FV V F F FF V V V V V V V V V V V V V F F F F V V F F V V F F V V V V V V V V V F V F V F V F V F V F V F V F F V V V F V V V F V V V F V V V V V V V F F F F V V V V F F F F Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin
pvq
p --> s
t --> ~s
No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.
10/13
Act. 10 TRABAJO COLABORATIVO No. 2 Segunda forma: Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al construir la tabla de verdad del ejemplo propuesto: [(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido. Simulador: Haciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de verdad: http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablas vdad/generadorfrset.html Recuerda que en el material de apoyo para la segunda unidad est el enlace a un video con la explicacin de cmo usar el simulador. Si pudimos comprobar que el ejemplo anterior es una tautologa. Demostracin a partir de las leyes de inferencia: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s ____________________ 5. ~s 3, 4 MPP 6. ~p 5, 2 MTT 7. q 6, 1 S.D En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido.
Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de invalidez): Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa: Si es posible entonces el razonamiento NO es vlido. premisa 1: premisa 2: premisa 3: premisa 4: pvq p --> s t t --> =V =V = V ~s= V
11/13
Act. 10 TRABAJO COLABORATIVO No. 2 ____________________ Conclusin q =F De acuerdo con la conclusin q es Falsa, y de acuerdo con la premisa 3 t es verdadera. Esto obliga a que de acuerdo con la premisa 4, s sea Falsa. Si s es Falsa, de acuerdo con la premisa 2, p tiene que ser falsa. Pero con p Falsa y con q Falsa no se cumple que la premisa 1 sea verdadera, luego, llegamos a una contradiccin. En conclusin, del anlisis por reduccin al absurdo se concluye que no es posible que cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el razonamiento es vlido.
Ms material de apoyo: Para dar solucin a esta actividad debes apoyarte en el mdulo, en la lectura a que viene la lgica y en el material de apoyo para la unidad 2:
12/13
CONCLUSIONES.
Podemos concluir que gracias al contenido de apoyo de la unidad 2 se pudo realizar el trabajo, el cual fue de gran ayuda para reforzar conocimientos. Gracias al simulador de tablas de verdad, podemos corregir y resolver alguna duda que se pueda tener respecto a la elaboracin de las tablas de verdad. Con respecto a las leyes de inferencia se debe estudiar un poco ms para poder adquirir un buen manejo y as podamos desarrollar correctamente las premisas y la conclusin. La participacin del grupo colaborativo es esencial para poder corregir errores que se puedan tener en la solucin de algunos problemas, por tal motivo me parece muy interesante que se aplique este mtodo, pero tambin la prctica que cada estudiante debe tener constantemente.
13/13
REFERENCIAS BIBLIOGRFICAS
o John Keats, (1819). Truth Table Generator. Recuperado el 19 de abril del 2012 de: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/. o Gonzalez Acevedo Georffrey (2011). Logica matemtica. Universidad Nacional Abierta y Adistancia Escuela de ciencias bsicas, tecnologa e ingeneria ciencias bsicas. Colombia. o Simulador de tablas de verdad disponible en: http://www.isftic.mepsyd.es/w3/eos/MaterialesEducativos/mem2003/logica/lo gica/03tablasvdad/generadorfrset.html
14/14

1190 Act 10

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

1190 Act 10

Загружено:

Авторское право:

Доступные форматы

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Act. 10 TRABAJO COLABORATIVO No. 2

Director de curso Georffrey Acevedo Gonzlez

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Juan: Patricia: Ana:

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Proposi ciones simples p q s t V V VV F V V VF F VVFV V VVFF V V F VV F V F VF F VF FV V VF FF V F V VV F F V VF F F VFV V F VFF V F F VV F F F VF F F F FV V F F FF V

Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

2.2.2. Verificacin con simulador p T T T T F F F F q T T F F T T F F r T F T F T F T F (p q) r T F T T T T T T

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

1. P 2. P 3. p v 4. r q 5. s q 6. q t 7. t p 8. 9. 10. 11. 12.

Fase 2.4: Por reduccin al absurdo:

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Ejemplo para la fase 2:

Premisas: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 10 TRABAJO COLABORATIVO No. 2

Вам также может понравиться