LOGICA MATEMATICA

Act 6 Trabajo Colaborativo 1

Eulises Martnez Torres Cod 74861541

Silvia Milena Sequeda Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA LOGICA MATEMATICA 1 DE OCTUBRE 2013

ETAPA 2: 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.

Paso 1: En la reflexin anterior, el estudiante debe identificar todas las expresiones que considera son proposiciones lgicas simples y tambin las expresiones que no son proposiciones Proposiciones lgicas simples : Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor. Solucionar problemas para mejorar la calidad de vida de los seres humanos. Con Este fin estamos estudiando en la Universidad. Expresiones que no son proposiciones Estudiamos Para servir? Solemos creer que estamos estudiando en la universidad para tener un empleo. Con este fin estamos estudiando en la universidad

Paso 2: El siguiente paso es identificar proposiciones compuestas. Para lograr esta identificacin, conviene reescribir el texto resaltando los conectivos lgicos que no estn explcitos en la expresin. Por ejemplo, la expresin: cuando practico todos los das, aprendo ms rpido y soy feliz la reescribimos as: Si practico todos los das, entonces aprendo ms rpido y soy feliz. Las palabras destacadas en color rojo

corresponden al conectivo lgico condicional, y a la conjuncin; estos conectivos estaban ocultos. Este proceso de encontrar y destacar los conectivos lgicos ocultos es lo que el estudiante debe hacer en el paso 2. Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos -mejor. Si compramos mejores equipos electrnicos entonces lo que deseamos es comunicarnos mejor, escuchar y ver mejor a otros seres humanos. Porque lo que ms deseamos es el cario sincero y la compaa inteligente. Si deseamos es el cario sincero y la compaa inteligente.

Paso 3: Declaracin de proposiciones simples, asignando una de las ltimas letras del alfabeto para identificarlas: Para el ejemplo propuesto sera: p = practico todos los das q = aprendo ms rpido r = soy feliz P = Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor. Q = lo que deseamos es comunicarnos mejor. R= Solucionar problemas para mejorar la calidad de vida de los seres humanos. S= Con este fin estamos estudiando en la universidad

Paso 4: Finalmente, tambin en el aporte individual, expresa en lenguaje simblico las proposiciones simples compuestas identificadas, y construye sus tablas de verdad. Para el ejemplo propuesto esta sera el lenguaje simblico: p (q r) Desarrolla este proceso con todas las proposiciones compuestas identificadas en la reflexin propuesta y construye sus tablas de verdad.

P = Deseamos es el cario sincero. Q = La compaa inteligente PQ

P V V V F

Q V F V F

PQ V F F F

P = compramos mejores equipos electrnicos. Q = lo que deseamos es comunicarnos mejor. R = ver mejor a otros seres humanos. (PQ)r PQ V V F F V V V V (PQ)r V F F F V F V F

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 = Tenemos dinero Q= Podemos adquirir vienes PQ V F V V

P V V F F

Q V F V F

CONCLUSIONES

Este trabajo nos sirve para que aprendamos a entender y buscar una solucin a un problema con la simple lgica inicialmente y aprender cuales son proposiciones simple y tambin las expresiones que no son proposiciones adicionalmente a realizar tablas de la verdad.

BIBLIOGRAFIAS

Modulo del curso, de programacin lineal LUIS GERMANA HUERFANO Acreditador SOGAMOSO Junio de 2010.