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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo grupal de calificacin individual No.1

Presenta

Tutor ANA MILENA CORREGIDOR

Director de curso Georffrey Acevedo Gonzlez

CALI

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

Octubre de 2011

INTRODUCCION

Los conceptos que se estudiaran, son en base al modulo de estudio, presentan las bases de la lgica matemtica y sus aplicaciones en el lenguaje que utilizamos a diario, tambin en las diferentes disciplinas de la ciencia que utilizan la lgica matemtica como principio de todas sus actividades, entre ellas la ingeniera de sistemas, que ha manejado y evolucionado de forma alarmante el uso por medio de la creacin de programas y hardware que se basan en los principios lgicos. Con el presente trabajo mostramos cada uno de los aportes de los participantes del grupo interactuando en los principales temas como son: teora de conjuntos conectivos lgicos, tablas de verdad, proposiciones, razonamiento deductivo razonamiento inductivo, estos aportes se han expuesto mediante el foro de trabajo colaborativo, donde analizamos y aplicamos de manera eficiente lo aprendido en el transcurso del curso la cual nos permite relacionar ejemplos generando un aprendizaje autnomo, participativo y continuo al mecanizar las principales teoras.

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

CUESTIONARIO EN GRUPO

Fase 1: Saberes previos para la unidad: Teora de conjuntos

Expresin 1: U= (A-B) U (C-A) U (C-B) Expresin 2: ( B A) (C B)

2.1 Principios de lgica Nombre del estudiante William Delgado Son proposiciones lgicas: El auto aprendizaje es uno de los temas con mayor importancia en psicologa El cielo es azul solo si no llueve Si estudio entonces aprendo. Me gusta la agronoma entonces ser agrnomo. Haciendo ejercicio estoy en forma No son proposiciones lgicas Si el trabajo colaborativo es en grupo entonces lo puedo hacer yo sola Hola Como estas Dos por dos igual a 4 Los alzados en armas, enriquecen la educacin Debo dinero me gustas mucho.

Luis Alfredo Valencia Villada Juan David Cardona Prez Roberto Zapata M Ricardo Garrido

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

2.2 Expresin premisas La tolerancia es necesaria para la paz p = La tolerancia es necesaria q = Para la paz Ser tolerante es el camino hacia la paz. Para aprender matemticas es necesario ser ordenado y constante. p = Ser tolerante q = Es el camino hacia la paz p = Para aprender matemticas q = Ser ordenado r = Ser constante p=ensea a tus hijos q=controlar los impulsos r=desarmar el corazn s=buena vida p = Perseverancia q = Orden r = Amor s = Cualidades de Ana Lenguaje simblico Pq Pq P (q r)

Ensea a tus hijos a controlar sus impulsos y a desarmar su corazn y tendrn buena vida en la tierra.

[(pq)r]s

Perseverancia, orden y amor por la tarea son cualidades de Ana.

(p q r ) s

2.3 {[(p q) V (r s)] V (p V r)} (q V s) V V V V

p V V V V

q V V V V

r V V F F

s V F V F

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

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

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 F V F V F V F V F V F

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

Califica como una tautologa.

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 (q r)] (p r) V F F F F F F F

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

2.4

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

p V V F F 2.5

q V F V F

(p V q) F F F V

Primera proposicin:

Segunda proposicin:

p V V

q V F

p V q F V

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

F F

V F

V V

2.6 (Si el ganado es Jersey tendr buena leche)

Directa Contraria Recproca

(pq) Si el ganado es Jersey tendre buena leche ~p(~q) Si el ganado no es Jersey entonces no tendre buena leche (qp) Si obtengo buena leche entonces tengo ganado Jersey

Contrarrecproca ~q(~p) Si no obtenga buena leche entonces no tengo ganado Jersey

2.7 Usando el siguiente diagrama de Venn como fuente de inspiracin, el equipo debe plantear expresiones contrarias, contradictorias y subcontrarias:

Expresin 1

Expresin 2

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

Contrarias Subcontrarias

Carlos es ms alto que Pedro Toda lluvia humedece

Victoria corre ms que Juan Los lapiceros son pisapapeles Un vehculo transporta ciertas distancias

Contradictorias Todos los nios son adultos

EVOLUCIN HISTRICA DE LA LGICA

Desde el comienzo de la lgica y todos sus escritos representativos que se pueden observar en las diferentes culturas, por ejemplo Tales de Mileto (639 a.c), comenz el inters y la curiosidad del ser humano por tratar de interpretar lo que el hombre en ocasiones nombra el sentido comn de las cosas.
Todos los filsofos antes de Scrates manejaron una poca de la historia muy interesante que le permiti al ser humano profundizar en la lgica, dando nuevas ideas nuevos rumbos que en ocasiones podran ser errados. En el periodo socrtico (470 399 a.c), la naturaleza ocupa el primer lugar de la pirmide de pensamientos fundamentales que siempre presentan sofismos como muchos de los argumentos de la poca, lo que si se llega a concretar que el objetivo de la lgica de la manera o forma de los pensamientos no su contenido. Luego se presentan los modelos sistemticos de anlisis de los argumentos, de quien fue considerado el padre de la lgica por los griegos, Aristteles (384 322 a.c ), quien plantea que se debe buscar a verdad o falsedad de los argumentos que se proponen.

Donde se genera la primera rivalidad entre dos grandes de lgica en sus tiempos el aprendiz que supera al maestro, sometiendo a crtica la teora de las ideas de su maestro Platn (428 347) , que amaba el empirismo y su modelo explorador, que idealiza en sus estudiantes la parte de la investigacin desde cero y el amor por las cosas que se estudian para transformar el conocimiento en ideas nuevas. Tras las ideas de los protagonistas de la lgica en el tiempo, nace en 1646 la lgica

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

simblica que es planteada como un resumen o un formato simplista de la lgica clsica, y que lleva a la exploracin ms rpida y practica de los conceptos, este argumento tan significativo que se expresa como sistema y como frmula de aprendizaje universal fue planteada por el matemtico Gottfried Leibniz. Luego vendra el matemtico orientado por los sistemas electrnicos de su poca y la bsqueda de la perfeccin de los conceptos lgicos mesclados con los problemas electrnicos de la tecnologa de su entorno, el concepto de tablas de verdad era 1847 el matemtico ingles George Boole en compaa de Augustus de Morgan, la unin, interseccin y negacin nos llevan a la veracidad de proposiciones compuestas.
La evolucin de el inters de todos los conocedores de la lgica hasta este momento, presencia la aparicin de la lgica como Ciencia de todas las operaciones conceptuales posibles, trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910, en su obra Principio Matemtico, por esta razn la fundacin de la lgica formal moderna se le atribuye a ellos.

CONCLUSIONES

La lgica es la herramienta que le permite al hombre moderno interpretar no solo conceptos informticos, tambin esta presente en todos los aspectos de la vida, la naturaleza y su entorno convirtindose en parte fundamental del razonamiento humano, llevando a reconocer la verdad y falsedad de lo que se presenta en estos ambientes. Reconocemos que no solo se trata de falsedad o verdad, tambin reconocemos sus variaciones de verdad sus reglas y condiciones, que le permiten ser integral y objetivo, ya que la lgica se presenta en todo lo que percibimos y hasta en lo que no. Este cuestionamiento fue uno de los iniciadores de la lgica cuando en una de sus evoluciones buscaba el sentido espiritual de todo lo que tiene vida, entrelazando conceptos de moral, espiritualidad, religin y anatoma, que buscaban la verdad y respuestas a interrogantes que hacen del hombre un constante descubridor, ya que es muy cierta la frase popular nunca terminaremos de conocernos a nosotros mismos y as a las variaciones de la lgica, que pueden estar expuestas al cambio y evolucin junto con el hombre.

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

REFERENCIAS

Acevedo Gonzlez G, Medelln, 2011, UNAD, Modulo De Lgica Matemtica, Escuela De Ciencias Bsicas, Tecnologa E Ingeniera.

Bibliografa:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica

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