Unidad 1 – Método para probar la validez de argumentos

Presentado por:
Dana Gabriela Sánchez Álvarez

Tutor:
German Cristancho

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, tecnología e ingeniería (ECBTI)
Ingeniera Industrial
Pensamiento lógico matemático
Septiembre del 2020
 Introducción

En el presente trabajo se desarrollan las actividades de aprendizaje de la tarea 1 de

pensamiento lógico matemático en la cual se busca la solución de problemas mediante el
uso de la lógica proposicional y las tablas de verdad, tanto manualmente como en el
simulador de lógica de la UNAD
se muestra los ejercicios resueltos del Item A, los ejercicios a desarrollar son acerca de las
proposiciones y tablas de verdad, los cuales hacen énfasis a proposiciones compuestas
propuesta en lenguaje natural, identificación de las reglas de inferencia lógica, expresión
simbólica, ley de inferencia de la expresión, proposiciones simples, aplicación de las reglas
de la inferencia lógica y demostración de la validez del argumento mediante las leyes de
inferencia lógica.
 Objetivos

 Identificar las reglas de inferencia lógica

 Aplicar las reglas de la inferencia lógica

 Identificar y realizar los problemas de aplicación, proposiciones simples,

proposiciones compuestas propuesta en lenguaje natural,

 Desarrollar las actividades de los ejercicios Propuestos en la guía de Aprendizaje

 Aprovechamiento y uso adecuado de herramientas informáticas

 Realizar una revisión bibliográfica a través del entorno de conocimiento, para

comprender y afianzar lo concerniente al curso Sistemas de Información.
 ACTIVIDADES A DESARROLLAR

Ejercicio 2: Identificación de las Reglas de Inferencia Lógica

Descripción del ejercicio: Expresión simbólica

 Expresión simbólica:

 Ley de interferencia de la expresión: Conjunción (Conj).

 Proposiciones simples:

P: Daniela estudia Contaduría en la UNAD

q: Daniela Aprobó el semestre
 Lenguaje Natural:
Daniela estudia Contaduría en la UNAD y Daniela Aprobó el semestre

 Expresión simbólica:

 Ley de interferencia de la expresión: Silogismo hipotético (SH)

 Proposiciones simples:

P: Daniela estudia Contaduría en la UNAD

q: Daniela Aprobó el semestre
R: Daniela quiere hacer la especialización en finanzas
S: Daniela quiere la especialización en auditoria tributaria

 Lenguaje Natural:
Daniela quiere hacer la especialización en finanzas o Daniela quiere la especialización en
auditoria tributaria.
 Expresión simbólica:

 Ley de interferencia de la expresión: modus ponens (mp)

 Proposiciones simples:

P: Daniela estudia Contaduría en la UNAD

q: Daniela Aprobó el semestre
R: Daniela quiere hacer la especialización en finanzas
S: Daniela quiere la especialización en auditoria tributaria
 Lenguaje Natural:
Daniela Aprobó el semestre