Está en la página 1de 11

PENSAMIENTO LÓGICO Y MATEMÁTICO

TAREA 1. MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

DANIELA PALACIOS
1.038.361.277

TUTOR:
JHORMAN ANDRES VILLANUEVA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD


ADMINISTRACION DE EMPRESAS
2020
INTRODUCCIÓN
En el trabajo que se desarrolla a continuación se tratan las leyes de inferencia,
razonamiento deductivo e inductivo, los ejercicios que se escogieron corresponden a los del
índice C, haciendo uso de las herramientas bibliográficas dadas y también haciendo uso del
simulador de Lógica de la UNAD, para corroborar los resultados obtenidos teóricamente.
OBJETIVOS
General:
 Desarrollar los conocimientos adquiridos en el curso y los libros de referencia
acerca de las leyes de inferencia y razonamientos deductivos e inductivos.
Específicos:
 Explicar cada uno de los ítems solicitados en la guía

 Realizar una síntesis de los conocimientos adquiridos para la resolución de los


problemas dados.
DESARROLLO DE PROBLEMAS:
EJERCICIO 1: PROPOSICIONES Y TABLAS DE VERDAD
Descripción del ejercicio:
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:
C.
p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma
q: Algunos estudiantes de la UNAD estudian Administración Financiera
r: Los estudiantes hacen uso del correo personal para entregar las actividades

( p ↔q ) ∧ ( q ∨r )

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Escriba la proposición compuesta propuesta en lenguaje natural.

 p= Los estudiantes de la UNAD no entregan sus actividades a través de la


plataforma.
 q = Algunos estudiantes de la UNAD no estudian Administración Financiera
 ( q ∨ r )= Los estudiantes de la UNAD no entregan sus actividades a través de la
plataforma ó los estudiantes hacen uso del correo personal para entregar las
actividades
 ( p ↔q )=¿ Los estudiantes de la UNAD no entregan sus actividades a través de la
plataforma sí y sólo si algunos estudiantes de la UNAD estudian Administración
Financiera
 ( p ↔q ) ∧ ( q ∨r ) =¿ Los estudiantes de la UNAD no entregan sus actividades a
través de la plataforma sí y sólo si algunos estudiantes de la UNAD estudian
Administración Financiera y Los estudiantes de la UNAD no entregan sus
actividades a través de la plataforma ó los estudiantes hacen uso del correo personal
para entregar las actividades

➢ 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.
( p ↔q ) ∧ ( q ∨r )

p q r p q ( p ↔q ) ( q∨ r) ( p ↔q ) ∧ ( q ∨r )

V V V F F F V F
V V F F F F F F
V F V F V V V V
V F F F V V V V
F V V V F V V V
F V F V F V F F
F F V V V F V F
F F F V V F V F

El resultado de la tabla es una contingencia.


➢ Generar la tabla de verdad a través del simulador Lógica UNAD,el paso a paso para uso
del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
1- Tarea 1 - Métodos para probar la validez de argumentos.

Ejercicio 2: Identificación de las reglas de la inferencia lógica


Descripción del ejercicio:
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas
leyes de inferencia.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

MODUS PONENDO PONENS (MPP)


MODUS TOLLENDO TOLLENS (MTT)

SIMPLIFICACIÓN (S)

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las mismas
proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas).

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.


a=María está viendo clases virtuales
b=María está matriculada en la UNAD.

MODUS PONENDO PONENS (MPP)


 a → b= si maría está viendo clases virtuales, entonces maría está matriculada en la
UNAD.
 a=María está viendo clases virtuales
 b=Por lo tanto, María está matriculada en la UNAD.
r=Me conecto a clases.
s=Mantengo mis deberes al día

MODUS TOLLENDO TOLLENS (MTT)


 r → s= Si me conecto a clases, entonces mantengo mis deberes al día.
 s=¿No mantengo mis deberes al día
 r=¿ Por lo tanto, No me conecto a clases.

p=María estudia Derecho en la UNAD
q=Juan estudia Derecho en la UNAD.
SIMPLIFICACIÓN (S)
 p ∧q = María estudia Derecho en la UNAD y Juan estudia Derecho en la UNAD.
 p=¿ María estudia Derecho en la UNAD.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica.
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
C. Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para
realizar los circuitos. Camilo no utiliza simuladores para realizar los circuitos.
a. Conclusión: ____________________________________
b. Ley de inferencia aplicada: ________________________
c. Lenguaje simbólico: ______________________________

a. Conclusión:

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢ Identificar la conclusión del argumento


Camilo no estudia Ingeniería electrónica.

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.


Modus Tollens (MT):

➢ Definir la expresión del argumento en lenguaje simbólico o formal.


p=¿ Camilo estudia Ingeniería electrónica
q=¿ Camilo utiliza simuladores para realizar los circuitos
p →q=¿ Si Camilo estudia Ingeniería electrónica entonces Camilo utiliza simuladores para
realizar los circuitos
q=¿Camilo no utiliza simuladores para realizar los circuitos.
p=¿ Por lo tanto, Camilo no estudia Ingeniería electrónica

Ejercicio 4: Problemas de aplicación


A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:
C.
Expresión simbólica: { ( p ∧¬ q ) ∧ ( r →q ) ∧ ( r ∨¬q ) } → ( p ∧¬r )
Premisas:
P1: p ∧¬ q
P2: r → q
P3:r ∨¬ q
Conclusión: p ∧¬r

A partir de la expresión simbólica seleccionada, el estudiante deberá:


➢ Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico

p=un sólo profesor puede dictar varios cursos.


q=hay varios cursos libres.
r=hay un gran número de profesores.
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante.

( p ∧¬q )=¿ Un sólo profesor puede dictar varios cursos y no hay varios cursos libres.

( r → q )=¿ Si hay un gran número de profesores, entonces hay varios cursos libres.

( r ∨¬ q )=¿ Hay un gran número de profesores o no hay varios cursos libres.

( p ∧¬q ) ∧ ( r →q ) ∧ ( r ∨ ¬q )=¿ Un sólo profesor puede dictar varios cursos y no hay varios
cursos libres y Si hay un gran número de profesores, entonces hay varios cursos libres y
hay un gran número de profesores o no hay varios cursos libres.
( p ∧¬r )=¿ Un sólo profesor puede dictar varios cursos y no hay un gran número de
profesores.

{ ( p ∧¬ q ) ∧ ( r →q ) ∧ ( r ∨¬q ) } → ( p ∧¬r )= sí un sólo profesor puede dictar varios cursos y


no hay varios cursos libres y Si hay un gran número de profesores, entonces hay varios
cursos libres y hay un gran número de profesores o no hay varios cursos libres, entonces Uu
sólo profesor puede dictar varios cursos y no hay un gran número de profesores.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

{ ( p ∧¬ q ) ∧ ( r →q ) ∧ ( r ∨¬q ) } → ( p ∧¬r )
p q r p ∧¬ q r → q r ∨¬ q ( p ∧¬q ) ∧ ( r →q ) ∧ ( r ∨ ¬q
( p ∧¬r
) ) { ( p ∧¬ q ) ∧ ( r →q ) ∧ ( r ∨¬q ) } → ( p ∧¬r
V V V F V V F F V
V V F F V F F V V
V F V V F V F F V
V F F V V V V V V
F V V F V V F F V
F V F F V F F F V
F F V F F V F F V
F F F F V V F F V

El resultado de la tabla es una tautología

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
1- Tarea 1 - Métodos para probar la validez de argumentos

➢ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P1: p ∧¬ q
P2: r → q
P3:r ∨¬ q
P4: p ∧¬r
P5: ¬ r Modus tollens P2
P6: p Simplificación P1
P5: : p ∧¬r Conjunción P6 y P5
CONCLUSIONES

Gracias al desarrollo de esta actividad, se fortalecen las capacidades y habilidades en el


manejo de las leyes de inferencia y razonamiento deductivo e inductivo, para esto hicimos
uso de las referencias bibliográficas dadas y los simuladores de tablas de verdad de la
UNAD.
Referencias:
• Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49).
• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra
lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial
Tébar Flores
• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México,
D.F, Larousse - Grupo Editorial Patria.

También podría gustarte