Tarea 1 Métodos para probar la validez de argumentos

Laura Marcela Villalba Cadavid

50931009

3103634788

200611_130

José Gregorio Solórzano

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades

Programa de Psicología

Montería, marzo 12 de 2022

1
 Introducción

La validez de argumentos es algo fundamental en la vida diaria ya que justamente algo que

califica un argumento como verdadero o falso es su validez. La ciencia de las matemáticas en el área

de su lógica no está exenta de ello, por eso a través de este trabajo el estudiante unadista comprenderá

conceptos como proposiciones, premisas, tablas de verdad y leyes de inferencia las cuales llegaran a

una conclusión por medio de axiomas, y al entenderlos procederá a realizar correctamente los

ejercicios propuestos que se mostraran a continuación.

Además, por medio de estas metodologías el estudiante unadista adquiere estrategias de

organización y disciplina ya que, aunque la actividad se fue realizando de manera asincrónica, tuvo

mucho acompañamiento por parte de los tutores lo que permitió la posibilidad de que no solo se

cumpliera con la rúbrica de evaluación de la temática propuesta sino también con la apropiación de

su conocimiento, practicando así su aprendizaje autónomo.

2
 Objetivos

Identificar conceptos como proposiciones, premisas, tablas de verdad y leyes de

inferencia donde el estudiante se apropiará de este conocimiento para realizar correctamente los

ejercicios propuestos.

Comprender la importancia de demostrar la validez de argumentos no solo en la vida

diaria sino en la lógica matemática

Realizar a nivel de practica ejercicios de validez de argumentos que desarrollen la

capacidad analítica y lógica del estudiante unadista.

3
 Desarrollo de la actividad

Ejercicio 1

Proposiciones y Tablas de verdad

A. p: La UNAD es una universidad pública

q: La UNAD cuenta con 73 programas de educación superior con registro calificado

r: La UNAD es la institución pública de educación superior más grande del país

(p^q) → r
Lenguaje natural:

Si La UNAD es una Universidad pública y la UNAD cuenta con 73 programas

de educación superior con registro calificado entonces la UNAD es la institución

pública de educación superior más grande del país.

Tabla de verdad:

Fórmula para establecer número de filas 23 : 2x2x2 = 8

Dónde n = es el número de proposiciones

p q r (p^q) (p^q) →r
V V V V V
V V F v F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

Esta tabla de verdad se clasifica como Contingencia

Enlace del video – Explicación del ejercicio

https://www.youtube.com/watch?v=8HrR9ce9_eo

4
 Tabla de verdad en el Simulador de tabla de verdad

Ejercicio 2

Lenguaje Simbólico

⌐p→⌐q

⌐q → r
______________ Silogismo Hipotético (SH)

⌐p→r

P
q
________________ Adjunción (A)

p^q

p→q

⌐q
________________ Modus Tollendo Tollens (MTT)

⌐p

5
 a. Proposiciones simples:

p: Hoy tengo que presentar un informe de un curso de la UNAD

q: Tengo una reunión con mi grupo colaborativo a las 3:00 pm

r: Salgo del trabajo más temprano

1. Expresión simbólica:

⌐p→⌐q

⌐q → r
______________ Ley de inferencia Silogismo Hipotético (SH)

⌐p→r

Lenguaje natural:

Si hoy no tengo que presentar un informe de un curso de la UNAD entonces no tengo una

reunión con el grupo colaborativo a las 3:00 pm como no tengo una reunión con el grupo

colaborativo a las 3: 00 pm entonces salgo del trabajo más temprano por lo tanto como hoy no

tengo que presentar un informe de un curso de la UNAD entonces salgo del trabajo más

temprano.

b. Proposiciones simples

p: Hoy tengo que presentar un informe de un curso de la UNAD

q: Tengo una reunión con mi grupo colaborativo a las 3:00 pm

2. Expresión simbólica

q
________________ Ley de inferencia Adjunción (A)

p^q

6
 Lenguaje natural:

Hoy tengo que presentar un informe de un curso de la UNAD y tengo una reunión con mi grupo

colaborativo a las 3:00 pm

c. Proposiciones simples

p: Hoy tengo que presentar un informe de un curso de la UNAD

q: Tengo una reunión con mi grupo colaborativo a las 3:00 pm

p→q

⌐q
________________ Modus Tollendo Tollens (MTT)

⌐p

Hoy tengo que presentar un informe de un curso de la Unad entonces hoy no tengo

una reunión con mi grupo colaborativo a las 3:00 pm por lo tanto hoy no tengo que presentar un

informe de un curso de la UNAD

Ejercicio 3

A. Si al dividir 12 entre 6 obtenemos 2, entonces la división no tiene residuo. Si la

división no tiene residuo, entonces 12 es divisible por 6.

Lenguaje simbólico

p: al dividir 12 entre 6 obtenemos como resultado 2

q: La división tiene residuo

r: 12 es divisible por 6

p→⌐ q

⌐q → r

___________________

p→ r

7
 B. Ley de Inferencia aplicada

Silogismo Hipotético (SH)

C. Conclusión

12 es divisible por 6

Ejercicio 4: Problemas de aplicación

A. Expresión simbólica: [ (𝑞 ⟶∼ 𝑟) ∧ (𝑝 → 𝑞)] → (𝑝 ⟶ ∼ 𝑟)

Premisas:

P1: (𝑞 ⟶∼ 𝑟)

P2: (𝑝 → 𝑞)

Conclusión: (𝑝 ⟶ ∼ 𝑟)

p: La Unad tiene el programa de derecho

q: Ignacio estudia derecho en la Unad

r: El programa de derecho tiene 164 créditos

Lenguaje natural:

Si Ignacio estudia derecho en la Unad entonces el programa de derecho no tiene 164 créditos y

si la Unad tiene el programa de derecho entonces Ignacio estudia derecho en la Unad, por lo
tanto

si la Unad tiene el programa de derecho entonces el programa de derecho no tiene 164 créditos.

8
 Tabla de verdad manual

p q r ⌐r q→ ⌐ r p→ q p→ ⌐ r [(q→ ⌐ r) ^ (p→ q)] [(q→⌐ r) ^ (p→ q)] →(p→ ⌐r)

V V V F f V f f v
V V F V v v v v v
V F V F v f f f v
V F F V v f f f v
F V V F f v v v v
F V F V v v v v v
F F V F v v v v v
F F F V v v v v v

Tabla de verdad con simulador

Tautología

Demostración de validez del argumento mediante las leyes de inferencia:

[ (𝑞 ⟶∼ 𝑟) ∧ (𝑝 → 𝑞)] → (𝑝 ⟶ ∼ 𝑟)

P1: (q → ⌐ r)

P2: (p →q)

Conclusión (p→ ⌐ r)

9
P3: la p por Silogismo Hipotético (SH) p2

P4: la q por Silogismo Hipotético (SH) P2

P5: la ⌐ r por Silogismo Hipotético (SH) P1

q→⌐r

p→q

_____________

P→⌐r

10
 Conclusiones

Al terminar este trabajo podemos decir que la lógica no solo es un curso más en los

programas que tiene la Universidad Nacional abierta y a distancia “es una ciencia formal que

estudia la estructura o formas del pensamiento humano” por eso como estudiantes debemos

tomarla con conciencia y compromiso convirtiéndose en aprendizaje significativo en nuestro

proceso formativo en la institución.

También podemos decir que la validez de los argumentos es una forma de poner a prueba

nuestra capacidad de análisis como estudiantes, donde analizaremos premisas para determinar si

un argumento es falso o verdadero, esto nos ayudará a deducir una justificación para dar como

resultado final una conclusión.

Para terminar el papel del estudiante unadista de cualquier programa está relacionado

también con el desarrollo de actividades como las realizadas en este trabajo, en esta clase de

ciencias como lo son las matemáticas en su área de la lógica, aumentando no solo su capacidad

analítica sino critica las cuales son necesaria para enfrentar diversas situaciones a las que puede

enfrentarse en su diario vivir.

11
 Referencias Bibliográficas

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

Larousse - Grupo Editorial

Patria  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad.  Repositorio Institucional

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

Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio Institucional UNAD.

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

OVA – Unidad

Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/31590

OVA - Unidad 1

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). OVA. Lógica Proposicional.

Repositorio Institucional UNAD. https://repository.unad.edu.co/handle/10596/37836

Importancia de la lógica matemática https://sites.google.com/site/sitesagradopythia/impportancia-

de-la-logica-matematica

Anexo 2. Simulador Lógica UNAD

https://www.flipsnack.com/EC6FED77C6F/anexo-2-simulador-l-gica-unad-tarea-1.html

12
13