TRABAJO INDIVIDUAL TAREA 1

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

CURSO:
PENSAMIENTO LÓGICO Y MATEMÁTICO

CÓDIGO: 200611_224

ESTUDIANTE: Margaret Corazón Silvestre Barón Goyeneche.

TUTOR: Juan Camilo Mendoza.

ESCUELA DE CIENCIAS DE LA EDUCACIÓN

PROGRAMA DE LICENCIATURA EN PEDAGOGÍA INFANTIL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Boavita junio 30 de 2020

 INTRODUCCIÓN.
En el siguiente trabajo titulado “métodos para probar la validez de argumentos” se
encuentra los objetivos que se pretenden alcanzar con el desarrollo de esta guía los cuales
son conocer y aplicar las tablas de la verdad y las reglas de la inferencia para probar la
validez de argumentos.
Lo anterior se realizó teniendo en cuenta algunas rúblicas de aprendizaje y el estudio de
toda la temática relacionada con lo que es la Lógica matemática para ingeniería de
sistemas y computación, una introducción a las matemáticas discretas y teoría de grafos,
Matemáticas discretas: aplicaciones y ejercicios, Proposiciones y tablas de verdad y leyes
de la inferencia.
 OBJETIVOS

GENERAL:

1. Comprender y aplicar las tablas de la verdad y reglas de la inferencia para probar la

validez de argumentos.

ESPECÍFICOS:

1. Analizar cada tema a desarrollar.

2. Identificar cada una de las leyes de inferencia.

3. Desarrollar el ejercicio seleccionado, siguiendo los enlaces propuestos en el entorno

de conocimiento

Desarrollo de la tarea 1.
En el siguiente trabajo se muestra el desarrollo de la tarea de la guía de actividades y
rúbrica de evaluación – Tarea 1 Métodos para probar la validez de argumentos, los
ejercicios a desarrollar que escogí corresponder a la letra B.
Ejercicio Nº 1: proposiciones y tablas de la verdad.
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:
B. p: El tiburón blanco también es llamado el gran depredador de los mares.
q: El tiburón blanco se encuentra en aguas templadas de casi todos los
océanos.
r: El tiburón blanco son un grupo de peces herbívoros marinos.
Lenguaje simbólico.
[(𝑝∨𝑟)→(𝑞∧𝑟)]
Lenguaje natural
El tiburón blanco es llamado el gran depredador de los mares o el tiburón blanco es un pez
herbívoro marino, entonces se encuentra en aguas templadas de casi todos los océanos y
son un grupo de peces herbívoros marinos.

 Tabla manual.

➢ Se clasifica Como: Contingencia.

➢ Tabla de verdad Simulador UNAD

Link del video: https://youtu.be/1DdCvL5Buyg

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.
B. expresión simbólica.
➢ Expresión simbólica

➢ Ley de inferencia de la expresión: Modus Tollendo Ponens (TP)

➢ Proposiciones simples:
p: Javier estudia administración de empresas.
q: Paula organiza conferencias estudiantiles.
➢ Lenguaje Natural:
Javier estudia ingeniería de sistemas o Paula organiza conferencias estudiantiles, Javier
estudia ingeniería de sistemas.

➢ Ley de inferencia de la expresión: simplificación disyuntiva (SD)

➢ Proposiciones simples:
p: Javier estudia algebra.
q: Javier estudia cálculo.
r: Javier aprende matemáticas.
➢ Lenguaje Natural:
Si Javier estudia algebra o Javier estudia calculo entonces Javier aprende matemáticas.
➢ Ley de inferencia de la expresión: simplificación (S)
➢ Proposiciones simples:
p: Javier estudia licenciatura en matemáticas.
q: Paula estudia Medicina.
➢ Lenguaje Natural:
Si Javier estudia licenciatura en matemáticas y Paula estudia medicina entonces Paula está
estudiando para ser doctora.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
Argumentos para el desarrollo del ejercicio 3:
B. c: Los pintores dibujan bien o realizan exposición de las obras de arte.
b: Los pintores dibujan bien entonces obtienes reconocimientos.
e: Realizan exposición de las obras de arte, entonces son reconocidos en las principales
ciudades.
a. Conclusión: los pintores son reconocidos
b. Ley de inferencia aplicada: simplificación disyuntiva.
c. Lenguaje simbólico: c v b
c e
b e
____________
e
Ejercicio 4: Problemas de aplicación
Expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo
del ejercicio 4:
B. Expresión simbólica: {𝑝∧ (𝑝→𝑞) ∧ [𝑝→ (𝑞→𝑟)] ∧ (𝑞→𝑟)} →𝑟
P1:𝑝
P2: (𝑝→𝑞)
P3: 𝑝→ (𝑞→𝑟)
 P4: (𝑞→𝑟)
Conclusión: 𝒓
➢ Proposiciones simples:
p: Margaret estudia pedagogía infantil en la UNAD.
q: Margaret aprobó el curso de pensamiento lógico y matemática.
r: Margaret esta matriculada en el periodo 16-02.

➢ Lenguaje Natural:
Margaret estudia pedagogía infantil en la UNAD. Si Margaret estudia pedagogía infantil en
la UNAD, entonces Margaret aprobó el curso de pensamiento lógico y matemática. Si
Margaret estudia pedagogía infantil en la UNAD, entonces si Margaret aprobó el curso de
pensamiento lógico y matemática, entonces Margaret esta matriculada en el periodo 16-02.
Si Margaret aprobó el curso de pensamiento lógico y matemática entonces Margaret esta
matriculada en el periodo 26-02 por lo tanto, Margaret esta matriculada en el periodo 16-
02.

➢ Tabla de verdad manual

p^(p→ {𝑝∧ (𝑝→𝑞) ∧ {𝑝∧ (𝑝→𝑞) ∧

p q r (𝑝→𝑞) 𝑞→𝑟 𝑝→ (𝑞→𝑟) 𝑝^(p→q) q)^[𝑝→ [𝑝→ (𝑞→𝑟)] [𝑝→ (𝑞→𝑟)] ∧
(𝑞→𝑟)] ∧ (𝑞→𝑟) (𝑞→𝑟)} →𝑟

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

➢ Tabla de verdad Simulador UNAD

➢ Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1:𝑝
P2: (𝑝→𝑞)
P3: 𝑝→(𝑞→𝑟)
P4: (𝑞→𝑟)

P5: ………… Modus ponendo Ponens entre P2 y P1

P6: r ……… Modus ponendo ponens entre P4 y P5

CONCLUSIONES
1. En este trabajo adquirí conocimientos sobre tablas de la verdad y reglas de la inferencia
para probar la validez de argumentos, llegando al desarrollo de los objetivos propuestos
en éste trabajo.

BIBLIOGRAFIA.
Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871
Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=81

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). Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3213116&ppg=59

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 34-37). 

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3227628&ppg=45