ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Automatización Eléctronica Pensamiento Logico Matematico


Enviado por   •  15 de Octubre de 2020  •  Biografía  •  1.204 Palabras (5 Páginas)  •  188 Visitas

Página 1 de 5

[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 qr pr:  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.

...

Descargar como (para miembros actualizados) txt (8 Kb) pdf (275 Kb) docx (659 Kb)
Leer 4 páginas más »
Disponible sólo en Clubensayos.com