Trabajo de Logica Colaborativo1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Curso de Lgica Matemtica
Trabajo colaborativo -1 Lgica Matemtica
Tutor: MANUEL ANTONIO RAMOS
Participantes MARCELA PAOLA GUZMAN Cdigo: 1068812444 YEIMY YIENETH TURRIAGO Cdigo: 1068927363 ROCIO RODRIGUEZ MORA Cdigo: 1068973493
Bogot, Colombia 29/04/2012
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
1/15
INTRODUCCIN En la cotidianidad se pueden presentar situaciones donde la lgica se aplica sin saberlo , por ejemplo cuando se le dice a un estudiante que maana entra a clase si trae el lapicero rojo uno azul , as que el estudiante bien comprende que no puede entrar si no lleva ninguno pero si lleva alguno si entra , pero como cambian las cosas si, en vez de decir el se le dice y , de tal manera que se enuncia as, maana entra a clase si trae un lapicero azul y uno rojo el muchacho bien entiende que la nica manera de entrar es que traiga los dos lapiceros. Entonces slo falta describir los principios bsicos de la lgica, como los son la proposicin la cual es una frase con sentido universal cuya veracidad se da por el concepto que tengamos de ella, pero para una proposicin compuesta su valor lgico podra crear un conflicto por la comprensin que cada quien le pueda dar, por tanto se necesitan definir ciertas reglas llamadas conectores lgicos, por tanto para una proposicin compuesta se puede establecer su valor de verdad a travs de tablas de verdad. La lgica proposicional establece como se relacionan las proposiciones sencillas entre s, con lo cual se forman grandes proposiciones, aunque hay algunas que al calcularlas se encontrar que todas las posibilidades son falsas y otras que son slo verdad, stas ltimas son las estudiadas ( las tautologas ). Las tablas de verdad se establecen manualmente a travs de un proceso lgico de adentro hacia afuera, elaborando la columna de las proposiciones negadas no , luego la columna de los parntesis y le sigue la negacin del mismo , luego otro paso que une a los parntesis , es decir los corchetes , as entonces se resuelve la negacin de los corchetes y finalmente el paso de la unin de corchetes y la negacin de llaves , cerrndose el proceso con el conector lgico que une a las llaves. De igual manera se establecern las proposiciones lgicamente equivalentes y sus reciprocas contra reciprocas y contraria. Se establecer un pantallazo de la pagina donde se puede establecer la tabla lgica , claro se debe tener en cuenta que la proposicin es tomada como una expresin booleana ( algebra de Boole) de tal manera que el smbolo : por de igual forma otros smbolos como el true ( verdad ) y false por falso tambin si se desea : 1 y 0 por v y f respectivamente. Fase 1.Saberes previos para la unidad: Teora de conjuntos 1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar el rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no Competencias Comunicativas. Solucin: Sean
2/15
1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para representar el rea sombreada en el diagrama del numeral anterior Solucin:
3/15
Fase 2. Principios de lgica 2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las propuestas por cada participante: Solucin:
Nombre del estudiante Marcela
Son proposiciones lgicas El psicoanlisis es la disciplina fundada por el mdico neurlogo Sigmund Freud. La ingeniera industrial maneja varias reas de una empresa. La psicologa del desarrollo explica los cambios que tienen lugar en las personas con el paso del tiempo La piscologa se encarga de estudiar el comportamiento de los locos La psicologa es un apoyo al proceso de aprendizaje en la educacin de los nios Algunas veces los
No son proposiciones lgicas Me gusta la psicologa infantil Que es la ingeniera? Usted es psicloga? Comprndame! Usted esta estudiando ingeniera industrial? Carlos es hiperactivo soy estudiante de la Unad Se puede cambiar de actitud? Se debe de estudiar ms.
4/15
ingenieros industriales trabajan para eliminar desperdicios de todos los recursos Ser psiclogo es lo mismo que ser psiquiatra. La etapa paralingstica del nio se presenta entre los primeros 10 a 12 meses de edad La psicologa slo se encarga del estudio de los problemas en los nios. El psicoanlisis es la disciplina fundada por el mdico neurlogo Sigmund Freud. La psicologa del desarrollo explica los cambios que tienen lugar en las personas con el paso del tiempo La psicologa es un apoyo al proceso de aprendizaje en la educacin de los nios
Seleccin
Por qu eres as? Esos nios no respetan Preste atencin! Carlos es hiperactivo Se puede cambiar de actitud?
5/15
2.2. A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico:
Expresin premisas Si hay tolerancia, entonces p = hay tolerancia hay paz q = hay paz p = Para aprender matemticas es necesario ser Para aprender ordenado matemticas es necesario q = Para aprender ser ordenado y constante. matemticas es necesario ser constante p = Dos condiciones son Dos condiciones son necesarias y suficientes para necesarias y suficientes que tus hijos tengan buena para que tus hijos tengan vida sobre la tierra buena vida sobre la tierra: q = ensales a tus hijos a ensales a controlar sus controlar sus impulsos. impulsos y a desarmar su r = ensales a tus hijos a corazn. desarmar su corazn. p = Ana tiene perseverancia por la tarea Ana tiene perseverancia, q = Ana tiene orden en la orden y amor por la tarea. tarea r =Ana tiene amor por la tarea
Lenguaje simblico pq
6/15
2.3. Las tablas de verdad nos permiten conocer el valor de verdad de una proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:
[ ( p q ) q] ( p r ) ( q s )
Solucin: Como la proposicin compuesta dada , le falta un signo de agrupacin se puede formar una opcin as:
Y su tabla de verdad ser:
V V V V V V V V F F F F F F F F
V V V V F F F F V V V V F F F F
V V F F V V F F V V F F V V F F
V F V F V F V F V F V F V F V F
F F F F V V V V F F F F V V V V
V V V V V V V V V V V V F F F F
F F F F V V V V F F F F F F F F
V V F F V V F F F F F F F F F F
V V V V V F V F V V V V V F V F
V V V V V F V V V V V V V V V V
F F F F V F V V F F F F F F F F
( p q ) p q
7/15
Solucin: La tabla de sta proposicin se construye as:
V V V F F V F F
F F V V
F V F V
V V F V
F F F V
V V V V
La proposicin compuesta posibles resultados en Verdad.
es una tautologa por que result al final todos los
A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este espacio el pantallazo obtenido al usar el siguiente simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Visita el material de apoyo para la primera unidad, en l encontrars un video para aprender a usarlo. Solucin: Para [ ( p q ) q ] ( p r ) ( q s ) Truth Table a b c d [(aVb)b][(ac)(bVd)]
8/15
T T T T T T T T F F F F F F F F
T T T T F F F F T T T T F F F F
T T F F T T F F T T F F T T F F
T F T F T F T F T F T F T F T F
F F F F T F T T F F F F F F F F
Para la otra proposicin compuesta:
( p q ) p q
Truth Table
a T T F F
b T F T F
[(aV b)( a)]( b) T T T T
Expression is a tautology
9/15
10/15
2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos proposiciones: Son equivalentes? Primera proposicin: Solucin: Para evaluar la equivalencia entre las dos proposiciones se propone establecer primero que entre ellas halla un bicondicional , as: y mediante la siguiente tabla se verificar si es una tautologa.
( p q ) segunda proposicin: p q
V V V F F V F F
F F V V
F V F V
F F F F
V V V V
F F F F
F F F F
Como todos los posibles valores de la proposicin compuesta que se form son todos falsos, entonces es una contradiccin, por tanto es falso que: y sean proposiciones equivalentes.
11/15
2.5. Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo debe plantear las proposiciones contraria, recproca y contrarrecproca de la expresin: Si el ganado es Jersey no tendr buena carne:
Directa Contraria Recproca Contrarrecproca
Si el ganado es Jersey no tendr buena carne Si el ganado no es Jersey tendr buena carne No tendr buena carne si el ganado es Jersey Tendr buena carne si el ganado no es Jersey
Fase 3. Reflexin grupal Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento, descubriendo qu necesidades humanas han conducido al desarrollo de la lgica. Es difcil saber cundo y dnde se inici el estudio de la lgica. Al tratar de ubicar un origen de la lgica, se llega a la conclusin de que (como en el caso de todas las ciencias), ste ocurre durante la aparicin del hombre primitivo. En efecto, siendo la Lgica una ciencia del razonamiento y de la inferencia es sensato pensar que con el surgimiento del primer hombre con capacidad de razonar y obtener deducciones o inferencias, erradas o no, en ese mismo momento apareci la semilla de la lgica. La lgica muestra un devenir histrico muy interesante, naciendo de la fuerte formalizacin de las matemticas de los griegos, estableciendo que estas sean un proceso deductivo de razonamiento lgico, Aristteles fue quien propuso: si todos los humanos son mortales and todos los griegos son humanos entonces todos los griegos son mortales. Luego el pensamiento lgico fue impactado, como
12/15
muchas ciencias, por el pensamiento de la Edad Media, donde la religin se antepona a todo; pero el mpetu de la mente de los filsofos renacentistas ayud a retomar su desarrollo junto con las matemticas mismas, dando origen a una ciencia Geometra analtica y el Calculo diferenciable integral entonces, no cabe duda que la lgica tiene impacto fundamental, como ciencia de las ciencias, en el pensamiento contemporneo. Guiseppe Peano establece la formulacin axiomtica de la aritmtica a travs de sus famosos Axiomas de Peano, los cuales definen los nmeros naturales en trminos de la teora de conjuntos, surgiendo as, la Lgica Matemtica. Peano tambin crea el lenguaje internacional denominado interlinga tomando vocabulario del Ingles, Francs, alemn y latn. Como consecuencia de esta matemtica George Boole crea la Lgica Booleana, en la que slo se trabaja con dos valores: Falso y Verdadero (1 y 0). l introduce el lgebra de la lgica y formula las leyes del Clculo Proposicional., se establece una conexin entre conjunto, lgica y fsica de los circuitos elctricos y se crea el algebra de Boole. El desarrollo de esto lleva a la invencin de la computadora digital, lo que conlleva al acceso universal o redes, conectadas a procesadores digitales poderosos y sistemas multimedia, entre otros. La informacin transforma la economa y la sociedad en general. La revolucin digital proporciona los fundamentos econmicos y tecnolgicos para la transformacin de redes globales de computadoras en sistemas inteligentes, los cuales usan la lgica y los mtodos formales para soportar nuestro trabajo, educacin y entretenimiento
13/15
CONCLUSIONES Con este trabajo percibimos sin exagerar , como la gramtica es influenciada por la lgica a lo inverso por que en cada enunciado prrafo que se puede enunciar se le puede establecer un juicio de valoracin de su estructura lgica y se decide si es consistente en con la conclusin no , tal como ocurre con el estudio que hacen los jueces sobre las leyes que pasan a ser estudiadas por ellos y que le debe n dar el visto bueno de ser consistentes no; as tambin en nuestra cotidianidad nos damos cuenta que este estudio de la lgica ya est dado innato en el lenguaje que se impone a los nios en su proceso de interaccin con las cosas que lo rodean, porque se nota como al cambiar del uso de la y por la , el significado de la frase cambia y se aplica en el entorno.
Nos ser entonces de mucho uso en nuestro entorno a fin, de tal manera que, los procesos mentales asociados a los procesos psicolgicos en un acercamiento cientfico nos brinden las herramientas adecuadas para emitir juicios, valoraciones y seguir procesos.
14/15
REFERENCIAS Geoffrey Acevedo Gonzlez. (2011). Lgica Matemtica. Universidad Nacional Abierta y a Distancia. Colombia. Texto Virtual. Recuperado el 26 de febrero de 2009: www.unad.edu.co/.../Modulo_de_Logica_febrero_26_de_2009.pdf
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
15/15

Trabajo de Logica Colaborativo1

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Trabajo de Logica Colaborativo1

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Curso de Lgica Matemtica

Trabajo colaborativo -1 Lgica Matemtica

Tutor: MANUEL ANTONIO RAMOS

Bogot, Colombia 29/04/2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Nombre del estudiante Marcela

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Y su tabla de verdad ser:

Solucin: La tabla de sta proposicin se construye as:

La proposicin compuesta posibles resultados en Verdad.

es una tautologa por que result al final todos los

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Para la otra proposicin compuesta:

[(aV b)( a)]( b) T T T T

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Directa Contraria Recproca Contrarrecproca

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Você também pode gostar