Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tutor
Presentado Por
Grupo
1653
CEAD Florencia
Septiembre
2021
1
Introducción
En este trabajo encontramos los métodos para validar los argumentos y proposiciones que son
puestas para el desarrollo del trabajo, así mismo, involucramos y creamos nuevos conocimientos
2
Objetivos
Aprender a manejar y crear la tabla de verdad y utilizar los métodos educativos que nos
brinda la UNAD.
3
Ejercicio 1: proposiciones y tablas de verdad
A.
p: El virus del COVID 19 se dispersa en las aglomeraciones.
q: Los contagios aumentan en las reuniones de personas.
r: Una persona se puede contagiar al entrar en contacto con un sólo
contagiado.
[(¬𝒑 ∧ 𝒓) ∧ (𝒑 → 𝒒)]
4
Generar la tabla de verdad a través del simulador Lógica UNAD
https://www.youtube.com/watch?v=GtW0eqLewFY&ab_channel=Nataliasalinas
5
Ejercicio 2: identificación de las reglas de la inferencia lógica.
Nombrar la ley de
inferencia que representa cada expresión simbólica.
Adjunción
Simplificación disyuntiva
Silogismo hipotético
6
Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.
7
Conclusión: Si Danna pasa el examen en 100 entonces logrará pasar los cursos
perfectamente
𝑝→𝑞
𝑞→𝑟
𝑝→𝑟
Si Alejandro realiza periódicamente ejercicio entonces Alejandro elimina la carga
estática acumulada.
8
Nombrar la ley de inferencia que se aplica para probar el argumento.
Silogismo Hipotético (SH)
A. Expresión simbólica:
[ (p →r) ∧ (∼r ∧ q) ]→ ∼p
Premisas:
P1: p →r
P2: ∼r ∧ q
Conclusión: ∼p
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.
p: Danna estudia para un examen
q: Presenta el examen sin estudiar
r: Puede pasar el semestre
9
Generar una tabla de verdad manualmente a partir del lenguaje simbólico
10
Demostración de la validez del argumento mediante las leyes de la inferencia lógica
P4: ¬𝑟 simplificación en P3
P5: ¬𝑞 simplificación en P3
P6: p MTP en P1 y P5
P7: r MTP en P2 y P6
Conclusión: 𝑝 ∧ r Adjunción en P6 y P7
11
Conclusión
Se adquieren conocimientos previos e indudables en el desarrollo de este trabajo, haciéndonos
ver la perspectiva de diferentes cosas y proposiciones, las cuales nos permiten dar conclusiones
acertadas y argumentadas.
12
Referencias Bibliográficas
http://hdl.handle.net/10596/13871
http://hdl.handle.net/10596/13869
13