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

Presentado por:
Andrea Yuldana Vanegas Céspedes
38.289.627

200611- pensamiento lógico y matemático

Grupo – 200611a - 1145

Presentado a
Edith Johana Morales Liberato

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

22 de noviembre de 2022
Honda
 Introducción

Mediante la resolución de las actividades propuestas en este trabajo, se observará y demostrara

la validez de argumentos, como el desarrollo de las mismas mediante las leyes de inferencia

seleccionadas para mostrar la legitimidad de cada uno.

Llevado a cabo mediante la resolución de preguntas puntuales que hará que el estudiante realice

una revisión meticulosa de los distintos modos de presentar la respuesta a los interrogantes

propuestos.

Justificación
 El propósito de ésta actividad es aprender mediante la demostración los métodos de validación

de argumentos, éste conocimiento se verá identificado mediante el desarrollo de cuatro actividades

propuestas por el docente, quien las solicita con especificaciones exactas para su desarrollo.

Así mismo por medio del uso de las tablas de verificación, apoyo de la misma plataforma virtual

de la UNAD, se podrá dar veracidad a la respuesta a las preguntas antes mencionadas; dando así

confirmación de las mismas.

Todo este trabajo se lleva a cabo con el fin de dar cumplimiento a la tarea 1 _ unidad 1_ Métodos

para probar la validez de argumentos, señalada en el entorno de ambiente de aprendizaje del curso

Pensamiento Lógico y Matemático.

OBJETIVO GENERAL

Determinar la validez de argumentos mediante la resolución de ejercicios enunciados.

Objetivo específico
 Resolver diversos ejercicios de manera que se demuestre con claridad la resolución de los

mismos y los motivos por los cuales se seleccionó las teorías, para conllevar a los resultados

entregados.

Tarea 1: métodos para probar la validez de argumentos

(A)

Ejercicios letra a

Ejercicio 1_unidad 1_ Andrea Vanegas

A.

p: El futuro de la educación aún es incierto

q: Para el futuro de la educación es importante que las instituciones busque nuevos planes

r: Para el futuro de la educación es importante que las instituciones busque nuevos modelos

educativos para recuperar el tiempo perdido durante la pandemia

p→(q^r)

- Escribir la proposición compuesta en un leguaje natural.

Si el futuro de la educación aún es incierto entonces para el futuro de la educación es importante

que las instituciones busquen nuevos planes y nuevos modelos educativos para recuperar el tiempo

perdido durante la pandemia.

Ejercicios letra a

Ejercicio 2_unidad 1_ Andrea Vanegas

A.

Identificación de las reglas de la inferencia lógica

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de

inferencia.

A. Expresión simbólica
~p→q ~p→q q→s
~q ~p p→q
________ ________ _______
P q p→s

- Nombrar la ley de inferencia que representa cada expresión.

~p→q
~q
________ Modus Tollendo Tollens
p

~p→q
~p
_______ Modus Ponendo Ponens
q

q→s
p→q
______ Silogismo Hipotético
p→s

p: Raúl no asiste a clases

q: pierde el curso

s: pierde la explicación de la tarea

.~p→q
~q
_______
p

Si Raúl no asiste a clases entonces pierde el curso, por lo cual asiste a clases.

~p→q
~p
______
q
Si Raúl no asiste a clases entonces pierde el curso, Raúl no asiste a clases por lo cual pierde el

curso.

q→s
p→q
______
p→s

Si pierde el curso es porque pierde la explicación de la tarea; no asiste a clase por tanto pierde el

curso.

Por lo cual se puede concluir que perdió el curso por no asistir a clase, o por haber perdido la

explicación de la tarea.

Ejercicio 3_unidad 1_ Andrea Vanegas

A.

Si un administrador de empresas liderara organizaciones que contribuyen a la construcción

del progreso económico, entonces un administrador de empresas ayuda la economía de un país. Un

administrador de empresas no ayuda a la economía de un país.

a. Lenguaje simbólico:
p: un administrador de empresas liderara organizaciones que contribuyen a la construcción

del progreso económico.

q: un administrador de empresas ayuda la economía de un país.

~ q: Un administrador de empresas no ayuda a la economía de un país.

 p→q
~q
_______
~p

b. Ley de inferencia aplicada: Modus Tollendo Tollens

c. Conclusión: por lo tanto un administrador de empresas que liderara organizaciones no

contribuyen a la construcción del progreso económico.

Ejercicios letra a

Ejercicio 4_unidad 1_ Andrea Vanegas

Ejercicio 4. Problemas de aplicación

A. Expresión simbólica: [ (p → q) ^(p v r ) ^ ( ~ r ) ] → q

Premisas:

P1: ( p → q)

P2: ( p v r )

P3: ~ r

Conclusión: q

- Definir las proposiciones simples

P: Andrea estudia contaduría pública.

q: Andrea será contadora pública.

r: Andrea pierde la carrera de contaduría pública.

~r: Andrea no pierde la carrera de contaduría pública.

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

Si Andrea estudia contaduría pública entonces será contadora pública pero estudia contaduría

pública solo que pierde la carrera salvo que no pierde la carrera por lo tanto será contadora

pública.

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

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

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

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

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

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

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

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

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

Concluyo que esta tabla es una Tautología.

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

P1: p → q
P2: p v r
P3: ~ r
P4: p : MTP 2Y3 → p v r
~r
_____
P

P5: q Conclusión MPP 1 Y 4 ₌ p → q

P
 ______
q

Conclusión

Al llevar a cabo el proceso de solución de las actividades seleccionadas, podemos concluir los

métodos para la validez de argumentos. Y como estos métodos aunque son un poco complicados de

comprender no solo se ven reflejados como simples fórmulas matemáticas de un libro, sino que los

usamos diariamente en cada momento de nuestra cotidianidad.

 Referencias bibliográficas.

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

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

UNAD. https://repository.unad.edu.co/handle/10596/31590
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

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

Ciencias Aplicadas (UPC) 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. (pp. 40-49).  El

Cid Editor  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). Editorial Tébar

Flores  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).  Larousse -

Grupo Editorial Patria  https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?

page=30