Unidad 2 Hio Yenny

1
Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos
Yenny Tatiana Hio Guerrero – Código 1123202720
Pensamiento Lógico y Matemático 200611
Grupo:2378
Director-Tutor
Yanir Daniela Córdoba Chávez
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2023
2
Introducción
A continuación, se pone en practica el contenido de los métodos para probar la validez de
los argumentos, donde a dicho contenido lo vamos a abordar a lo largo de cuatro ejercicios
prácticos, en donde resolveremos proposiciones simples y compuestas, crearemos tablas de verdad
y aplicaremos las reglas de inferencias para determinar la validez de los argumentos plateados,
sean una tautología, una contradicción o una contingencia

3
Objetivos
General
se busca en este contenido que el estudiante comprenda las terminologías de la lógica
proposicional para que de esta manera obtenga las herramientas necesarias para probar la
validez de los argumentos.
Específicos
Instruir a que el estudiante comprenda la terminología de la lógica para
desarrollar un pensamiento lógica y argumentativo.
Identificar y desarrollar las tablas de verdad, resuelva inferencias lógicas para
que de esta manera pueda determinar la validez de los argumentos.

4
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: El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para formar
profesionales humanistas
q : La UNAD está comprometida con los problemas sociales.
r : La UNAD es la primera megauniversidad del país.
( p ∧q)↔ r
 Escriba la proposición compuesta propuesta en lenguaje natural.
Respuesta:
El Sistema del Servicio Social Unadista (SISSU) es una mirada de la UNAD para formar
profesionales humanistas y la UNAD está comprometida con los problemas sociales, si y
solo si, la UNAD es la primera mega universidad del país.
 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.
Respuesta:
Tenemos que la tabla de verdad del ejercicio es

5
Tenemos de resultado una contingencia.
 Generar la tabla de verdad a través del simulador Lógica UNAD.
Respuesta:
Escribiendo la proposición compuesta en el simulador tenemos que
Link vídeo explicativo ejercicio 1:
https://www.loom.com/share/df2095dbed974f2fb3b556b00deec5b3
6
Ejercicio 2: Aplicación de las reglas de inferencia lógica
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
C. Patricia estudia Psicología o Patricia estudia Música. Si Patricia estudia Psicología entonces
Patricia matricula epistemología de la Psicología. Si Patricia estudia música entonces Patricia
matricula fundamentos de la escritura musical.
 Lenguaje simbólico: se tiene que
pv q
p →r
q→s
rV s
 b. Ley de inferencia aplicada: se aplico
Silogismo Disyuntivo
 c. Conclusión:
la conclusión es: Patricia matricula epistemología de la Psicología o matricula fundamentos de la
escritura musical
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá
identificar e indicar las leyes de inferencia y las premisas utilizadas en cada uno de los pasos para
la demostración del argumento.

7
C. Expresión simbólica
[ ( p v q ) ᴧ p ᴧ ( q →r ) ᴧ s]→(r ᴧ s)
P1: ( p v q) Conclusión: (r ᴧ s)
P2: ( p)
P3: (q → r )
P4: s
Demostración
Premisa Ley de inferencia aplicada Premisas usadas
P5: q Ley del Modus Tollendo ponens P1 y P2
P6:r Ley del Modus ponendo ponens P3 y P5
P7: r ᴧ s Ley de la Adjunción P4 y P6
 Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 - (Simulador
Lógica UNAD)
Respuesta:
8
Ejercicio 4: Problemas de aplicación.
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: [ p ∧( p →∼ r) ∧(q v r )]→(q ᴧ p)
P1: p
P2: ( p →∼r )
P3: (q v r)
Conclusión:(q ᴧ p)
9
 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno.
Las proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3.
Complemento predicado. Mínimo 7 palabras.
Respuesta:
p : La tierra tarda 365 días para girar alrededor del sol
q : la tierra tarda 24 horas en girar sobre su propio eje
r : cada 4 años el mes de febrero tiene 29 días.
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
Respuesta:
La tierra tarda 365 días para girar alrededor del sol, si la tierra tarda 365 días para
girar alrededor del sol entonces cada 4 años el mes de febrero no tiene 29 días, la tierra
tarda 24 horas en girar sobre su propio eje o cada 4 años el mes de febrero tiene 29 días,
por lo tanto, la tierra tarda 24 horas en girar sobre su propio eje y La tierra tarda 365 días
para girar alrededor del sol.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).
Respuesta:
10
 Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 6 (Simulador Lógica UNAD)
Respuesta:
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica
Demostración
P4: r (modus ponendo ponens entre P1 y P2)
P5: q (modus tollendo ponens P3 y P4)
Conclusión: (q ᴧ p) (adjunción entre P5 y P1)

11
Conclusiones
el estudio de la lógica proposicional nos ayuda a desarrollar la capacidad de pensamiento lógico,
dado que nos brinda las herramientas para formular argumentos con base lógica los cuales sean
verdaderos, y de igual manera nos ayuda a determinar que argumentos no son verdaderos.
12
Referencias Bibliográficas
Castaño, C. (2022). Tablas de verdad. [Objeto_virtual_de_aprendizaje_OVA]. Repositorio
institucional UNAD. https://repository.unad.edu.co/handle/10596/52744
Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto Virtual de Aprendizaje
OVA]. Lógica Proposicional. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/37836
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El Cid Editor.
(pp. 40-49).
Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de conjuntos. Universidad
Abierta para Adultos (UAPA). (pp. 19- 36).

Unidad 2 Hio Yenny

Cargado por

Copyright:

Formatos disponibles

Unidad 2 Hio Yenny

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 2 Hio Yenny

Cargado por

Copyright:

Formatos disponibles

1

Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos

Yenny Tatiana Hio Guerrero – Código 1123202720

Pensamiento Lógico y Matemático 200611

Yanir Daniela Córdoba Chávez

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

A continuación, se pone en practica el contenido de los métodos para probar la validez de

prácticos, en donde resolveremos proposiciones simples y compuestas, crearemos tablas de verdad

sean una tautología, una contradicción o una contingencia

se busca en este contenido que el estudiante comprenda las terminologías de la lógica

validez de los argumentos.

Instruir a que el estudiante comprenda la terminología de la lógica para

desarrollar un pensamiento lógica y argumentativo.

Identificar y desarrollar las tablas de verdad, resuelva inferencias lógicas para

que de esta manera pueda determinar la validez de los argumentos.

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

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

q : La UNAD está comprometida con los problemas sociales.

r : La UNAD es la primera megauniversidad del país.

 Escriba la proposición compuesta propuesta en lenguaje natural.

profesionales humanistas y la UNAD está comprometida con los problemas sociales, si y

solo si, la UNAD es la primera mega universidad del país.

resultado es una tautología, contingencia o contradicción.

Tenemos que la tabla de verdad del ejercicio es

Tenemos de resultado una contingencia.

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

Escribiendo la proposición compuesta en el simulador tenemos que

Link vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de las reglas de inferencia lógica

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

Patricia matricula epistemología de la Psicología. Si Patricia estudia música entonces Patricia

matricula fundamentos de la escritura musical.

 Lenguaje simbólico: se tiene que

la conclusión es: Patricia matricula epistemología de la Psicología o matricula fundamentos de la

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del ejercicio 3, usted deberá

la demostración del argumento.

Premisa Ley de inferencia aplicada Premisas usadas

P5: q Ley del Modus Tollendo ponens P1 y P2

P6:r Ley del Modus ponendo ponens P3 y P5

P7: r ᴧ s Ley de la Adjunción P4 y P6

 Realizar la tabla de la verdad mediante el simulador de lógica Unad Anexo 6 - (Simulador

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: [ p ∧( p →∼ r) ∧(q v r )]→(q ᴧ p)

en un contexto, el que se solicita es un contexto académico y/o de problemas de su entorno.

Las proposiciones simples deben contener 1. Sujeto, 2. Cópula, acción o verbo y 3.

Complemento predicado. Mínimo 7 palabras.

p : La tierra tarda 365 días para girar alrededor del sol

q : la tierra tarda 24 horas en girar sobre su propio eje

r : cada 4 años el mes de febrero tiene 29 días.

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