Logica

LÓGICA MATEMÁTICA
Trabajo grupal unidad 2













Presentado por:
Ángela vergara

Natalia fonseca












Tutor del curso
Ferney Jiménez Neira












UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
YOPAL
2012
INTRODUCCIÓN


El presente trabajo tiene como objetivo la solución delos ejercicios propuestos correspondientes a la guía del trabajo grupal 2, en este trabajo se aplicaran las leyes de inferencia y los diferentes tipos para demostrarlas, utilizando las herramientas necesarias y fundamentales para el desarrollo de la actividad. También encontraremos los razonamientos lógicos y conoceremos como demostrar la validez de un razonamiento lógico. Según Galindo Patiño N.J. (1999) dice que la lógica es la ciencia que estudia la estructura o forma del pensamiento, por lo cual no es difícil comprender que hay varias formas de pensamientos, más aún, existen varias formas de razonar.







• Problema de Aplicación

Los razonamientos lógicos que hemos estudiado se encuentran presentes no son exclusivos de los espacios académicos. Por el contrario, hacemosuso de estos en el debate cotidiano de ideas. A continuación se propone un diálogo entre varios estudiantes de la UNAD:

Juan: algunas personas pueden hacer algo por la paz
Patricia: No Juan. Todos podemos hacer algo por la paz
Ana: O hacemos algo por la paz o no queremos vivir en comunidad.
Diego: Si nos gusta que existan personas que hagan ropa, entonces nosgusta vivir en comunidad.
María: ¿A quién no le gusta vivir en comunidad?
Jorge: Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la comunidad.
Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz


A continuación se presentan 10 proposiciones lógicas, se debe registrar el valor de verdad de cadaproposición y su correspondiente justificación:


|No |Proposición |La proposición es V o F |Justificación |
|1 |El enunciado de Juan es un enunciado científico |F |enunciado lógico |
|2 |El enunciado de Patricia es un enunciadocientífico |F | |
|3 |El enunciado de María es una proposición lógica |F |No es una proposición |
|4 |El enunciado de Diego expresa una conjunción |F |Es una proposición condicional |
|5 |Deacuerdo con Freddy, si no nos gusta vivir en comunidad, entonces no |V |Negación de la proposición |
| |nos gusta que existan médicos | | |
|6 |De acuerdo con Ana, si no queremos vivir en comunidad, entonces no |V |Porque no secumple la primera |
| |hacemos algo por la paz | |proposición |
|7 |De acuerdo con Jorge, si respetamos las leyes de la comunidad, entonces|V |Porque tiene una de las dos |
| |nos gusta vivir en comunidad ||implicaciones |
|8 |De acuerdo con Freddy, si nos gusta vivir en comunidad, nos gusta que |V |Es la misma implicación de la |
| |existan médicos | |proposición |
|9 |De acuerdo con Jorge, si no nos...