LOGICA MATEMTICA

ACTIVIDAD 6

ALEXANDER ORTIZ JIMENEZ Grupo:736

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS BASICAS , TECNOLOGIAS E INGENIERIAS. INGENIERIA ELECTRONICA TUNJA-BOYACA 2013

INTRODUCCION El presente trabajo hace referencia a la identificacin y construccin de

proposiciones atmicas, por consiguiente las proposiciones moleculares y asimismo sus conectivos lgicos explcitos e implcitos en un texto, en consecuencia pasar las proposiciones del lenguaje natural al leguaje simblico, simplificando argumentos complicados y con base a esto, crear las tablas de la verdad que validan o no los razonamientos como parte fundamental del estudio de la lgica. Finalmente se har una reflexin de la importancia que tiene la lgica en la evolucin del pensamiento humano a lo largo de la historia. Y adems las necesidades que han contribuido a este importante desarrollo.

CONTENIDO PASO 1 EXPRESIONES PROPOSICIONES NO PROPOSICIONES Solemos creer que estamos estudiando Por qu estamos estudiando en la en la universidad para tener empleo universidad? Tenemos dinero Qu es lo que ha llevado al ser humano a la construccin de nuevo conocimiento? Podemos adquirir bienes Son los bienes materiales lo que ms deseamos Compramos mejores equipos electrnicos Deseamos es comunicarnos mejor Deseamos escuchar Deseamos ver mejor a otros seres humanos Deseamos es el cario sincero Deseamos compaa inteligente La respuesta es solucionar problemas para mejorar la calidad de vida de los seres humanos Estudiamos para servir PASO 2, 3 Y 4 Reflexin: Por qu estamos estudiando en la universidad? Solemos creer que estamos estudiando en la universidad para tener un empleo. Si tenemos dinero, entonces podemos adquirir bienes. Son los bienes materiales lo que ms deseamos? Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es as, porque lo que ms deseamos es el cario sincero y la compaa inteligente. Qu es lo que ha llevado al ser humano a la construccin de nuevo conocimiento? La respuesta es: solucionar problemas para mejorar la calidad de vida de los seres humanos. Con este fin estamos estudiando en la universidad. Estudiamos para servir.

pq condicional Si tenemos dinero, entonces adquirimos bienes.

Proposiciones simples p: Tenemos dinero q: Adquirimos bienes pq CASO 1: Tenemos dinero y adquirimos bienes. p: Verdadera q: Verdadera Tanto la hiptesis como la conclusin se cumplen, es as que la proposicin compuesta es: pq: Verdadera. CASO 2: Tenemos dinero y no adquirimos bienes. p: Verdadera q: Falsa. La hiptesis se cumplen, pero la conclusin no, por consiguiente la proposicin compuesta es: pq: Falsa. CASO 3: No tenemos dinero y adquirimos bienes. p: Falsa q: Verdadera La hiptesis no se cumplen, pero la conclusin si, por consiguiente la proposicin compuesta es: pq: Verdadera. CASO 4: No tenemos dinero y no adquirimos bienes. p: Falsa

q: Falsa Tanto la hiptesis como la conclusin no se cumplen, es as que la proposicin compuesta es: pq: Verdadera. Porque no se contradice con la expresin: Si tenemos dinero entonces adquirimos bienes. TABLA DE VERDAD p V V F F PASO 2 Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es as, porque lo que ms deseamos es el cario sincero y la compaa inteligente. Si compramos mejores equipos electrnicos entonces deseamos comunicarnos mejor y si deseamos comunicarnos mejor entonces deseamos escuchar y ver mejor a otros seres humanos si y solo si ms deseamos cario sincero y compaa inteligente. Las palabras resaltadas con amarillo corresponden al conectivo lgico condicional, conjuncin y bicondicional, los otros conectivos ya estaban explcitos en el texto PASO 3 Proposiciones atmicas p: Compramos mejores equipos electrnicos q: Deseamos comunicarnos mejor r: Deseamos escuchar s: Deseamos ver mejor a otros seres humanos x: Deseamos cario sincero y: Deseamos compaa inteligente q p q V V F F V V F V

PASO 4 Lenguaje simblico (pq) q(rs) (xy) Numero de combinaciones de acuerdo a las 6 variables lgicas. Formula 2n 26=64

TABLA DE VERDAD p q r s x y pq rs q(rs) (pq) q(rs) V V V V F F F F F F F F F F F F F F F F F F F F F F F F F F F xy (pq) q(rs)(xy) V F F F F V V V F V V V F V V V F V V V F V V V F V V V F V V

V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V V

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reflexin en el portafolio de grupo (Wiki)

http://66.165.175.232/campus02_20132/mod/wiki/view.php?id=47599

CONCLUSIONES La simplificacin de argumentos complicados se hace pasando del lenguaje natural al lenguaje simblico de este modo se aumenta la certeza de nuestros razonamientos lgicos. La lgica matemtica nos permite validar razonamientos correctos de los incorrectos. El valor de verdad de una proposicin compuesta depende del valor de las proposiciones simples que la conforman

REFERENCIAS
Acevedo, Gonzlez, G. (2012).Modulo de lgica matemtica. Medelln, Colombia: UNAD.