Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 1/13 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LGICA MATEMTICA
Trabajo grupal de calificacin individual No.1
Presenta Paula Ximena Roa 1020726234 Luz Andrea Espinel Figueredo - 1.020.718.274 Diana marcela Duarte lvarez 1020717283 Luis Humberto Sicach Rozo 1020448737
Tutor
Denisse Andrea Velandia
Director de curso Georffrey Acevedo Gonzlez
Colombia Abril 29 2012
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 2/13 Introduccin
El curso de lgica matemtica es aplicable a todos los programas ofrecidos en la UNAD, el primer paso para garantizar la calidad del auto aprendizaje de los contenidos de este curso es el reconocimiento del aula, protocolo, y del mdulo para tener claro los temas a estudiar, y la metodologa del curso. El siguiente trabajo tiene como objetivo comprender los diferentes conjuntos y preposiciones existentes en la lgica matemtica utilizando las tablas de verdad que nos conducan a verificar su veracidad y tener argumentos para dicho resultado, las dificultades encontradas fueron en encontrar las preposiciones no lgicas ya que se confunden en varias partes con las lgicas por su estructura. Posteriormente, analizaremos las tablas de verdad y veremos como una funcin con varias premisas puede llegar a una sola conclusin mostrando algunos elementos que permitan al lector entender correctamente los temas. Ms all de ser un tema complejo es un rea que requiere de plena concentracin pues el ms mnimo descuido acaba con una tarde de trabajo, adems de tener en cuenta que se debe contar con bastante paciencia para revisar los temas una y otra vez y asegurarse de que todo est comprendido. Dentro del trabajo se encontrara una aplicacin bastante til (http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/) pues permite verificar las tablas de verdad. No ha sido un trabajo fcil pero ha sido realmente satisfactorio pues se empieza a entender la utilidad dentro de la vida profesional y cotidiana de la lgica matemtica.
Las dificultades que se nos presentaron vemos que fueron el lenguaje simblico ya que notamos diferencias entre los posibles resultados, con lo que no podemos distinguir bien las preposiciones.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 3/13 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.
1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para representar el rea sombreada en el diagrama del numeral anterior
(A- (BuC)) u (B- (AuC))
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 4/13 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:
Nombre del estudiante Son proposiciones lgicas: No son proposiciones lgicas Paula Ximena Roa El JUST a time es un sistema de control de inventarios Formula punto de equilibrio Andrea Espinel La administracin nos ayuda a la creacin de empresa. El QUIZ de matemticas puede que sea ms difcil que el de costos aunque no he presentado ninguno. Diana Duarte El psicoanlisis es una corriente de la psicologa La psicologa jurdica es mejor que la psicologa organizacional Luis Humberto Sicach Si apruebo lgica matemtica entonces ser un gran matemtico Todos deben estudiar Ing. de alimentos
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 5/13 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 Lenguaje simblico Si hay tolerancia, entonces hay paz p = hay tolerancia q = hay paz p q Para aprender matemticas es necesario ser ordenado y constante. p = aprender matemticas q = ser ordenado r = ser constante p (q ^ r) Dos condiciones son necesarias y suficientes para que tus hijos tengan buena vida sobre la tierra: ensales a controlar sus impulsos y a desarmar su corazn. p = para que tus hijos tengan buena vida sobre la tierra q = ensales a controlar sus impulsos r = desarmar su corazn p (q ^ r) Ana tiene perseverancia, orden y amor por la tarea. p = Ana tiene perseverancia q = orden r = amor por la tarea p ^ q ^ r
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 6/13 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: ( ) | | ( ) ( ) s q r p q q p v . . . v
p q r s q (pq) [(pq)q] (pr) (qs) (pr) (qs) [(p q) q] (p r) (q s) V V V V F V V V V V V V V V F F V F V V V V V V F V F V F F V F V V V F F F V F F V F V V F V V V V F V V V V V F V F V V F V F V F V F F V V V F F V F V V F F F V V F F F V V F V V V F V F F V F V F V V F F V F F V F V F V F V F V F F V F V F V F F F V F F V F V
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 7/13 F F V V V F F F V F V F F V F V F F F F V V F F F V V F F F V F V F F F F V F F F F V V
LA EXPRESION ES CONTINGENTE
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 8/13
( ) p q p q v . (
p q q p (p q) [(p q) p] [(p q) p] q V V F F V F V V F V F V F V F V F V F F V F F V V V V V
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.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 9/13 2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos proposiciones: Son equivalentes? Primera proposicin: ( ) p q . segunda proposicin: q p .
( ) p q .
p q q (p q) (p q) V V F F V V F V V F F V F F V F F V F V
q p .
p q p p q V V F F V F F F F V V V F F V F
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 10/13 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 Si el ganado es Jersey entonces no tendr buena carne Contraria Si el ganado no es Jersey entonces tendr buena carne Recproca No tendr buena carne si el ganado es Jersey Contra recproca Tendr buena carne si el ganado no es Jersey
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 11/13 Fase 3. Reflexin grupal
En el desarrollo de la fase individual de este trabajo se notaron algunas diferencias entre los participantes en algunos puntos. Sin embargo es claro que eran mnimas y que para ningn miembro del equipo fue fcil dar respuesta a cada uno de los puntos pero encontramos que el esfuerzo fue grande y llegamos a consolidar la informacin revisando cada uno los trabajos de los otros en la bsqueda de un objetivo comn: aprender e introducir en nuestro actuar la lgica matemtica.
Podemos aadir con respecto a los temas del trabajo que se pueden tener varias posibles soluciones pero que solo una es la correcta y para llegar a esta debemos considerar las diferentes opciones que se nos presentan y hacer un anlisis minucioso con el cual llegamos a una sola conclusin.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 12/13
Conclusiones
- Con la lgica matemtica podemos darnos cuenta que para dar respuesta a diferentes situaciones no solo en matemticas si no tambin en nuestra vida diaria pueden existir diferentes formas de llegar a la mejor y mas exacta solucin para ese interrogante.
- La lgica es aplicable en la vida cotidiana, hacemos uso de ella todo el tiempo, sacamos deducciones, proponemos hiptesis, razonamos; lo importante es aprender a identificar esas situaciones en las que nos sirve para solucionar problemas prcticos.
- Es importante empezar a implementar la lgica matemtica en cada proceso de nuestras vidas, a medida que vamos teniendo un buen conocimiento de esta ciencia la aplicacin debera ser inmediata, de esta forma mantenemos el ejercicio de la materia que es de gran utilidad.
- Al realizar el trabajo es donde nos damos cuenta de la importancia de la lgica que sin saberlo la utilizamos da a da aplicndolas de una u otra forma y es all en donde radica la importancia ya que con los conocimientos adquiridos se puede llegar a conclusiones fcilmente o simplemente saber cules son las posibilidades que se manejaran si se nos presentara por ejemplo una proposicin en la vida cotidiana y como se ha dicho podramos tomar una respuesta fcilmente ya que pensaramos efectivamente y por tal razn no seriamos incultos o incoherentes y por tal razn es la diferencia poseemos de los animales ya que somos seres pensantes razonables
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co 13/13
Referencias
- Acevedo, Gonzlez, G 2011. Modulo curso Lgica matemtica. Universidad Nacional Abierta y a Distancia. Colombia.
- Colaboradores de wikipedia. Pontencial elctrico.[en lnea]. Wikipedia la Enciclopedia libre [citado el 10 de abril de 2012]. Disponible en : http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos
- Colaboradores truth table generator. Potencial elctrico. [en lnea]. Tablas de verdad. [Citado el 23 de abril de 2012]. Disponible en: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
- Colaboradores luventus. Potencial elctrico. [ en lnea].Luventus [citado el 24 de abril de 2012]. Disponible en : http://www.luventicus.org/articulos/03U015/index.html