Logica Matematica - Colaborativo 1
JOHAO ALEXANDER SÁNCHEZ MANOSALVA CODIGO 7177430
APORTE INDIVIDUAL
GRUPO 2
PRESENTADO A
CARLOS EMEL RUIZ
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
PROGRAMA DE INGENIERIA INDUSTRIAL – CURSO: LOGICA MATEMATICA 90004
2011
INTRODUCCIÓN
Este trabajo lo hacemos con el fin de poner enpráctica lo aprendido hasta este momento respecto al temas como teorías de conjuntos, conectivos lógicos, proposiciones, deducción e inducción y tratar de apropiar algunas palabras y símbolos que son nuevos; también es bastante importante tener en cuenta que la lógica nos lleva a reflexionar mas sobre nuestra actividades diarias y poner en práctica este tema que es realmente interesante.
Fase 1.Proposiciones Lógicas
|Expresiones consideradas proposiciones lógicas |
|Quiero ser Ingeniero Industrial. |
|Estudio ingeniería industrial en la Universidad Nacional abierta y a Distancia UNAD.|
|El lunes tengo una reunión con el director del área de producción. |
|Quiero obtener el título de ingeniero industrial y trabajar en una empresa multinacional. |
| Realice visitas a diferentes empresas el semestre anterior.|
|Expresiones No consideradas proposiciones lógicas |
|Que es ingeniería? |
|Quien es el gerente de la empresa?|
|“Las ventas están bajas” |
|“Feliz día del ingeniero industrial” |
|“Estudiar Ingeniería Industrial a distancia es mejor que presencial”|
Fase 2. Teoría de conjuntos
|PREGUNTA |RESPUESTA |
|2.2 |B |
|2.3 |E5 |
|2.4 |E4 |
|2.5 |C |
|2.6 |B |
|2.7 |C|
|2.8 |B |
|2.9 |C |
|2.10 |E21 |
|2.11 |E15 |
|2.12 | E0 |
Fase 3. Conectivos lógicos, tablas de verdad, proposiciones, razonamiento deductivo.
3.1 Discusión sobre el razonamiento propuesto:Encontramos dos premisas
Premisas identificadas son: P, Q
Ley de inferencia presente en el razonamiento: Ley de simplificación
Representación simbólica del razonamiento: si P^Q→p
Tabla de verdad del razonamiento lógico: determine el número de filas, columnas y campos de la tabla: La función lógica debe cumplir con la forma: (premisa 1 ^ premisa 2) --> Conclusión:
|P|Q |P^Q | |
| | | |P^Q -->P |
|V |V |V |V |
|V |F |F |V |
|F |V |F |V |
|F |F |F...
Regístrate para leer el documento completo.