Automatización Eléctronica Pensamiento Logico Matematico
Enviado por yesidaguirre • 15 de Octubre de 2020 • Biografías • 1.204 Palabras (5 Páginas) • 148 Visitas
[pic 1]
Metodos para la validación de argumentos
Tutor:
Jose Yesid Aguirre
Estudiante:
Silvia Fernanda Dimas Aldana
Código:
1193051094
Grupo:
200611_13
Universidad Nacional Abierta y a Distancia UNAD
Escuela Ciencias Basicas, Tecnologia e Ingenieria
Automatización Eléctronica
Pensamiento Logico Matematico
01 de Octubre del 2020
Introducción
En este trabajo se desarrollarán las temáticas de tablas de verdad con el apoyo de la herramienta del simulador de Lógica UNAD que es una herramienta de apoyo al desarrollo de las tablas de verdad y también se desarrollará las leyes de inferencia.
Objetivo General:
Conocer el manejo de tablas de verdad y metodos utlizados de la leyes de inferencia.
Objetivos Especificos:
- Analizar cada uno de los temas a identificar.
- Desarrollar las tablas de verdad con su respetiva comprobacion con el apoyo del simulador logico UNAD.
- Interpretar cada ejercio sobre la leyes de inferencias para el desarrollo de cada ejercicio.
1E. Proposiciones y tablas de verdad
- p: Rafael Pombo es un escritor colombiano.
- q: Gabriel García Márquez escribió Mirringa Mirronga como Simón el bobito.
- r: Rafael Pombo nació en Bogotá en el año 1833.
[(𝑝∨𝑞) ↔𝑟]∧𝑟
➢Escriba la proposición compuesta propuesta en lenguaje natural.
Lenguaje natural:
Rafael Pombo es un escritor colombiano o Gabriel García Márquez escribió Mirronga como Simón el bobito sí y solo si Rafael Pombo nació en Bogotá en el año 1833 sin embargo Rafael Pombo nació en Bogotá en el año 1833.
➢Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.
Tabla manual:
P | q | r | pVq | pVq↔r | pVq↔r∧r |
V | V | V | V | V | V |
V | V | F | V | F | F |
V | F | V | V | V | V |
V | F | F | V | F | F |
F | V | V | V | V | V |
F | V | F | V | F | F |
F | F | V | F | F | F |
F | F | F | F | v | F |
- Se clasifica como: Indeterminada o contingencia
➢Generar la tabla de verdad a través del simulador Lógica UNAD.
argumentos.
[pic 2]
Link del video: https://www.loom.com/share/b5b4fb3faf3d44f69e4d8399f83dcb02
2E. Expresión simbólica
1: 2: 3:
r ∧ s p → q p → q
s q → r ¬q
p → r ¬ p
➢Nombrar la ley de inferencia que representa cada expresión simbólica.
1: Regla de simplificación.
2: Ley del Silogismo Hipotético.
3: Modus Tollens.
➢Definir las proposiciones simples
➢Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.
1:
- r: Silvia olvido estudiar para su examen de pensamiento lógico matemático.
- s: Mauricio estudio para su examen de pensamiento lógico matemático.
- r ∧ s: Silvia olvido estudiar para su examen de pensamiento lógico matemático y Mauricio estudio para su examen de pensamiento lógico matemático. Mauricio estudio para su examen de pensamiento lógico matemático.
2:
- p: Camilo obtuvo buenas calificaciones en la materia de cálculo diferencial.
- q: Camilo entrego todos los trabajos de la materia de cálculo diferencial.
- r: Camilo aprobó la materia de cálculo diferencial.
- p → q q→r p→r: Si Camilo obtuvo buenas calificaciones en la materia de cálculo diferencial entonces Camilo entrego todos los trabajos de la materia de cálculo diferencial. Si Camilo entrego todos los trabajos de la materia de cálculo diferencial entonces Camilo aprobó la materia de cálculo diferencial. Si Camilo obtuvo buenas calificaciones en la materia de cálculo diferencial entonces Camilo aprobó la materia de cálculo diferencial.
3:
- p: Paula es estudiante de la UNAD.
- q: Paula puede ingresar al “Campus0”.
- ¬q: Paula no puede ingresar al “Campus0”.
- p → q: Si Paula es una estudiante de la UNAD entonces Paula puede ingresar al “Campus0”.
- ¬ p: Paula no es una estudiante de la UNAD.
- Conclusión: Si Paula es una estudiante de la UNAD entonces Paula puede ingresar al “Campus0”. Paula no puede ingresar al “Campus0”, por lo tanto, Paula no es una estudiante de la UNAD
3E. Aplicación de las reglas de la inferencia lógica
Se puede evitar el contagio del COVID19 o utilizas las medidas de bioseguridad. Si se puede evitar el contagio del COVID19 entonces debes lavar constantemente tus manos. Si utilizas las medidas de bioseguridad entonces debes aplicar el distanciamiento social.
...