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

Estefanny Bolaños Galindo

Escuela de ciencias jurídicas y políticas, Universidad Nacional Abierta y a Distancia

(200611A_954): Pensamiento lógico y matemático

Carolina Castaño Gutiérrez

26 de septiembre de 2021

1
 INTRODUCCIÓN

El pensamiento lógico y matemático es importante para comprender conceptos abstractos, a

través de la compresión, además permite hallar relaciones entre distintos conceptos para llegar a

un entendimiento más profundo. Mi principal propósito en esta actividad es que haya quedado

clara y concisa, donde pueda representar el desarrollo de las tablas de verdad, la aplicación de las

leyes de inferencia mediante el uso de mi pensamiento reflexivo y lógico, para así probar la

validez de argumentos, sin más preámbulos es hora de comenzar.

 OBJETIVOS

 Realizar un video donde explique la forma como fue desarrollado el ejercicio 1

 Aprender a utilizar el recurso digital de simulador de tablas de verdad que ofrece la

Universidad Nacional Abierta y a Distancia

 Generar tablas de verdad

 Identificar el tipo de tabla de verdad que es; contingencia, contradicción o tautología

 Diferenciar las leyes de inferencia

 Definir las proposiciones simples

 Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

E. p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

(𝒑 ∨ 𝒒) → (𝒒 𝖠 𝒓)

Lenguaje natural: Hay protestas en contra de la reforma tributaria en Colombia o bien desde el

inicio de las manifestaciones el dólar subió si entonces desde el inicio de las manifestaciones el

dólar subió así como la reforma tributaria desata la violencia

Tabla de verdad:

Es contingencia
Tabla de verdad simulador lógica UNAD

Link del video explicando el desarrollo del ejercicio anterior: https://youtu.be/w_JgWiygCLo

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.

E. Expresión simbólica

∼p→∼q � 𝑝∨r

�
∼p 𝑝→s

�
𝑟→s
�
∼q p𝖠q _

𝑠
Premisas

 p: Lizbeth estudia la carrera de gastronomía

 q: ella ve el curso de humanidades

 r: también ve pensamiento lógico y matemático

Adjunción (A) y simplificación (S)

 Lenguaje natural: Lizbeth estudia gastronomía. Ella ve el curso de humanidades. Por

lo tanto Lizbeth estudia la carrera de gastronomía y ve el curso de humanidades.

∼p→∼

∼p
∼q

Ley modus ponen (PP)

Para este ejercicio se remplaza premisa r por q y la premisa s por r

 Lenguaje natural: Si Lizbeth no estudia la carrera de gastronomía entonces ella no ve

el curso de humanidades. Lizbeth no estudia la carrera de gastronomía. Por lo tanto,

ella no ve el curso de humanidades.

�
p𝖠q
Simplificación disyuntiva (SD)

 Lenguaje natural: Lizbeth estudia la carrera de administración de empresas o bien

ella ve el curso de humanidades. Lizbeth estudia la carrera de gastronomía entonces

también ve el curso de pensamiento lógico y matemático. Ella ve el curso de

humanidades entonces también ve pensamiento lógico y matemático. Por lo tanto, ella

ve el curso de pensamiento lógico y matemático.

𝑝∨r

𝑝→s

𝑟→s
_

𝑠
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

E. Si Estados Unidos de América goza de una gran extensión

geográfica entonces Estados unidos presenta las 4 estaciones del

año. Estados unidos No presenta las 4 estaciones del año.

a. Conclusión: Estados unidos de américa no goza de una gran extensión

geográfica

b. Ley de inferencia aplicada: Modus tollendo tollens (TT)

c. Lenguaje simbólico:

p: Estados unidos de américa goza de una gran extensión

q: = Estados unidos presenta las 4 estaciones del año

Premisa 1: p→q

Premisa 2:     ~q  

Conclusión: ~p
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:

E. Expresión simbólica

[(p v q) 𝖠 (p → r) 𝖠 (q→ r) 𝖠 ∼q] → (r 𝖠 p)

Premisas:
P1: p v q P2: p → r P3: q→ r P4: ∼q
Conclusión: r 𝖠 p

[(p v q) ^ (p →r) ^ (q→ r) ^~q]→(r ^ p)

p: Lorena tiene clase de filosofía

q: ve clases de música

r. solo tiene clases de martes a jueves

Lorena tiene clase de filosofía o ve clases de música. Lorena tiene clase de filosofía entonces

solo tiene clases de martes a jueves, ella ve clases de música entonces solo tiene clases de martes

a jueves y ella no ve clases de música entonces solo tiene clases de martes a jueves además

Lorena tiene clase de filosofía

Premisa 1: p v q

Premisa 2: p → r

Premisa 3: q→ r

Premisa 4: ∼q

Conclusión: r A p

Premisa 5: r disyuntiva (SD) en p1, p2 y p3

Premisa 6: p tollendo ponens (TP) en p1 y p4

Premisa 7: r A p adjunción (A) en p5 y p6

 Tabla de verdad:

p q r ~q (p v q) (p →r) (q →r) (r ∧ p) (p V q ) ∧ (p (p V q ) ∧ (p [(p V q) ∧ (p

→ r) → r) ∧ (q → →r) ∧ (q →r) ∧

r) ~q]→ (r ∧ p)
V V V F V V V V V V V
V V F F V F F F F F V
V F V V V V V V V V V
V F F V V F V F F V
F V V F V V V F V V V
F V F F V V F F V F V
F F V V F V V F F F V
F F F V F V V F F F V

Tabla de verdad simulador lógica UNAD:

 CONCLUSIONES

 La lógica matemática nos ofrece métodos para la enseñanza de la elaboración de

proposiciones, evaluar su verdad a través de tablas de verdad y determinar si las conclusiones se

han deducido de manera correcta a partir de las proposiciones compuestas

 La proposición es el principal elemento de la lógica para la matemática

 Para concluir puedo afirmar que la lógica matemática nos ayuda a desarrollar los

procesos de pensamiento encontrando sentido a lo que normalmente realizamos en nuestra vida

cotidiana
 REFERENCIAS BIBLIOGRÁFICAS

 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 

 Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad

Peruana de Ciencias Aplicadas (UPC). Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

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

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

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