Tarea 1-Métodos para probar la validez de argumentos

Tutor/a: Yersson David Mosquera

Estudiante: Sandri Roció Tarazona Ropero

Código: 1092354589

Grupo: 200611-493

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación

Licenciatura en Pedagogía Infantil

Pensamiento Lógico y Matemático 200611A_764

Abrego, N. de S. 04 de octubre del 2020

1
 INTRODUCCIÓN

En el siguiente trabajo se desarrollará la Guía de actividades y rubrica de evaluación – Tarea 1

métodos para probar la validez de los argumentos, en donde se identificará la forma correcta de

demostrar la validez de los argumentos, a través de las reglas de inferencia lógica.

Teniendo en cuenta la inferencia lógica, podremos hallar conclusiones, las cuales se realizan por

el proceso de demostración lógica utilizando las reglas de inferencia, además de tener un

razonamiento y premisas para así poder hallar la conclusión.

Las proposiciones tienen 3 elementos, los cuales nos ayudan a la realización de los ejercicios:

premisas, conclusión y reglas de inferencia.

Además, encontraran el link de la explicación del ejercicio 1, por último, la realización de los

ejercicios de la letra C, seleccionada.

2
 OBJETIVO GENERAL

 Desarrollar las proposiciones y tablas de verdad.

OBJETIVOS ESPECÍFICOS

1. Realizar los ejercicios propuestos con la letra C, seleccionada de la guía de actividades y

rúbrica de evaluación – Tarea 1 métodos para probar la validez de los argumentos.

2. Realización del video de explicación del ejercicio 1, de la letra seleccionada C.

3. Crear proposiciones compuestas teniendo en cuenta las expresiones simbólicas y después

organizarlas de manera correcta, para así obtener el lenguaje natural de las mismas.

4. Identificar las diferentes reglas de inferencia lógica, nombrar la ley de inferencia

identificada en cada expresión simbólica de los ejercicios.

3
 Actividades a desarrollar

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

(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

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

➢ Escriba la proposición compuesta propuesta en lenguaje natural

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

(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

Lenguaje natural:

Los estudiantes de la UNAD no entregan sus actividades a través de la plataforma, si y solo si,
algunos estudiantes de la UNAD estudian administración financiera, entonces, no estudian
administración financiera o Los estudiantes hacen uso del correo personal para entregar las
actividades.

4
➢ 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.

(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

Pasos para construir una tabla de verdad se realiza a través de tres pasos:

1. Identificar las proposiciones simples del argumento.

En este caso hay 3 proposiciones simples

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

2. Obtener la traducción simbólica del argumento.

(~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

3. Obtener la combinación de todos los valores de verdad posible de las proposiciones

involucradas.

Para esto se determina 𝟐𝒏 donde 𝒏 es la cantidad de proposiciones.

𝑛=3

Reemplazamos 23 = 8

5
 Tabla de verdad

p q r ~p ~q (~𝑝 ↔ 𝑞) (~𝑞 ∨ 𝑟) (~𝑝 ↔ 𝑞) → (~𝑞 ∨ 𝑟)

V V V F F F V V
V V F F F F F V
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 V
F F V V V F V V

Respuesta: El resultado es una Contingencia porque no es totalmente verdadero ni totalmente

Falso.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD

6
➢ Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1
seleccionado.

Link del video

https://youtu.be/TvuecmKxcMk

7
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.

C) Expresión simbólica
𝒂→ 𝒃 𝒓 →𝒔
𝒑⋀ 𝒒
1) 𝒂 2) ~𝒔 3)
𝒃 ~𝒓 𝒑

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.

𝒂→ 𝒃
𝟏) 𝒂 La ley que representa ∶ 𝑷𝒐𝒏𝒆𝒏𝒅𝒐 𝑷𝒐𝒏𝒆𝒏𝒔 (𝑷𝑷)
𝒃
𝒓 →𝒔
𝟐) ~𝒔 La ley que representa ∶ 𝑻𝒐𝒍𝒍𝒆𝒏𝒅𝒐 𝑻𝒐𝒍𝒍𝒆𝒏𝒔 (𝑻𝑻)
~𝒓

𝒑⋀ 𝒒
3) La ley que representa ∶ 𝑺𝒊𝒎𝒑𝒍𝒊𝒇𝒊𝒄𝒂𝒄𝒊𝒐𝒏 (𝑺)
𝒑

8
➢ Definir las proposiciones simples

1) a: Sandra tiene 125 puntos para el curso de Infancias en la carrera de licenciatura

𝒂→ 𝒃 en pedagogía infantil en la UNAD.
𝟏) 𝒂 b: Sandra pasa el taller del curso de Infancias.
𝒃

2) r: Juan obtuvo en el curso de catedra 200 puntos.

𝒓 →𝒔
s: Juan pasa el curso de catedra.
𝟐) ~𝒔
~𝒓 .

𝒑⋀ 𝒒 3) p: Luis estudia psicología.

3)
𝒑 q: Luis ve el curso de pensamiento lógico.

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

Lenguaje
Proposiciones Simples lenguaje natural
simbólico

9

a: Sandra tiene 125 puntos
para el curso de Infancias en
𝒂→ 𝒃 la carrera de licenciatura en
𝟏) 𝒂 pedagogía infantil en la
𝒃
UNAD.
b: Sandra pasa el taller del
curso de Infancias.
r: Juan obtuvo en el curso de
𝒓 →𝒔
𝟐) ~𝒔 catedra 200 puntos.
~𝒓
s: Juan pasa el curso de
catedra.
p: Luis estudia psicología.
𝒑⋀ 𝒒
3) q: Luis ve el curso de
𝒑 curso de pensamiento lógico.
pensamiento lógico.
Si Sandra tiene 125 puntos para el curso
de Infancias en la carrera de licenciatura
en pedagogía infantil en la UNAD
entonces Sandra pasa el taller del curso
de Infancias.
Sandra tiene 125 puntos para el curso de
Infancias en la carrera de licenciatura en
pedagogía infantil en la UNAD.
Por lo tanto, Sandra pasa el taller del
curso de Infancias.
Si Juan obtuvo en el curso de catedra 200
puntos entonces Juan pasa el curso de
catedra.
Juan no pasa el curso de catedra.
Por lo tanto, Juan no obtuvo en el curso
de catedra 200 puntos.
Si Luis estudia psicología y Luis ve el
Por lo tanto, Luis estudia psicología.
10
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: Camilo no estudia ingeniería electrónica.

b. Ley de inferencia aplicada: Tollendo tollens (MT)

𝒑→𝒒
~𝒒
c. Lenguaje simbólico: ~𝒑

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

➢Identificar la conclusión del argumento.

Expresión simbólica
Proposiciones simples
𝒑→𝒒
p: Camilo estudia Ingeniería ~𝒒
electrónica. ~𝒑
q: Camilo utiliza simuladores para
Respuesta: ~p
realizar los circuitos.

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

La ley de inferencia aplicada es TOLLENDO TOLLENS (MT)

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

Lenguaje
Proposiciones Simples lenguaje simbólico
Natural

Si Camilo estudia Ingeniería p: Camilo estudia Ingeniería

electrónica entonces Camilo utiliza electrónica.
𝒑→ 𝒒
simuladores para realizar los q: Camilo utiliza simuladores
~𝒒
circuitos. para realizar los circuitos. ~𝒑
Camilo no utiliza simuladores para
realizar los circuitos.
Por lo tanto, Camilo no estudia .
Ingeniería electrónica.

12
Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: 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: {(𝒑 ∧ ¬𝑞) ∧ (𝒓 → 𝑞) ∧ (𝒓 ∨ ¬𝑞)} → (𝒑 ∧ ¬𝒓)

Premisas

P1: 𝒑 ∧ ¬ q

dcP2: 𝒓 → q

P3: 𝒓 ∨ ¬ q

Conclusión: 𝒑 ∧ ¬ r

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

➢ Definir las proposiciones simples

Proposiciones simples
p: Dereck estudia en la carrera profesional de Licenciatura en Pedagogía Infantil en la UNAD.
q: Dereck está matriculado en el curso de teorías de aprendizaje.
r: Dereck pertenece a la Escuela de Ciencias de la educación ECEDU.

13
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Lenguaje
Proposiciones Simples lenguaje natural
simbólico

Si Dereck estudia en la carrera

profesional de Licenciatura en Pedagogía
Infantil en la UNAD y Dereck no está
matriculado en el curso de teorías de
p: Dereck estudia en la carrera
aprendizaje.
profesional de Licenciatura en
Dereck pertenece a la Escuela de Ciencias
Pedagogía Infantil en la UNAD.
de la educación ECEDU entonces Dereck
Premisas: q: Dereck está matriculado en el
está matriculado en el curso de teorías de
P1: (𝒑 ∧ ¬ q) curso de teorías de aprendizaje.
aprendizaje.
P2: (𝒓 → q) r: Dereck pertenece a la Escuela
Dereck pertenece a la Escuela de Ciencias
P3: (𝒓 ∨ ¬ q) de Ciencias de la educación
de la educación ECEDU o Dereck está
Conclusión: ECEDU.
matriculado en el curso de teorías de
(𝒑 ∧ ¬ r)
aprendizaje.
Por lo tanto, Dereck estudia en la carrera
profesional de Licenciatura en Pedagogía
Infantil en la UNAD y Dereck no
pertenece a la Escuela de Ciencias de la
educación ECEDU.

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

Para esto se determina 𝟐𝒏 donde 𝒏 es la cantidad de proposiciones.

𝑛=3 Las preposiciones

simples son p, q, r.

Reemplazamos 23 = 8

Tabla de verdad

{(𝒑 ∧ ¬𝑞) ∧ (𝒓 →
(r→q (p∧~ q) ∧(r→q) ∧(rV¬q
p q r ¬q ¬r (p∧~ q) (rV¬q ) (p∧¬r) 𝑞) ∧ (𝒓 ∨ ¬𝑞)} →
) )
(𝒑 ∧ ¬𝒓)
V V V F F F V V F F V
V V F F V F V F F V V
V F V V F V F V F F V
V F F V V V V V V V V
F V V F F F F V F F V
F V F F V F V F F F V
F F V V F F F V F F V
F F F V V F V V F F V

Respuesta: El resultado es una Tautología porque es totalmente verdadero.

15
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

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

Premisas: P4: P6:

𝐩 ∧ ¬𝐪
𝐏𝟏 = 𝑷𝟏 = 𝐩 ∧ ¬𝐪
P1: (𝒑 ∧ ¬ q) ∴ 𝐩
𝑷𝟐 = (r → q)
P2: (𝒓 → q) ∴𝒑
Ley de Simplificación
Ley Silogismo Hipotético
P3: (𝒓 ∨ ¬ q)

Conclusión: P5:

(𝒑 ∧ ¬ r) 𝑷𝟏 = 𝐩 ∧ ¬𝐪
𝑷𝟒 = 𝒑
∴ ~𝒑
Ley Simplificación

16
 CONCLUSIÓN

- Realizamos un trabajo creativo, de mucha lógica y didáctico el cual nos ayudó mucho en
nuestro aprendizaje y conocimientos, en donde se identificó que una proposición no
puede ser una pregunta, exclamación o una orden, además que, las tablas de verdad son
utilizadas para demostrar los valores de verdad teniendo en cuenta las proposiciones
simples o compuestas.
El uso adecuado de los métodos utilizados en este trabajo nos permite, tener una verdad

clara en diferentes situaciones, con un razonamiento lógico y especifico, de las cosas o

decisiones acertadas.

De los ejercicios realizados, debemos tener una lógica y razonamiento claro, para poder

ser acertados en la hora de resolverlos o de hallar conclusiones, la tabla de la verdad

podemos evidenciar si los ejercicios están bien realizados y el simulador, nos permite

confirmar que nos quedaron bien.

17
 REFERENCIAS

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado de

http://hdl.handle.net/10596/13869

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

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://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

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

México, D.F, Larousse - Grupo Editorial Patria. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39

18