Tarea 1 Metodos para Probar La Validaz de Argumentos

MOMENTO INTERMEDIO
TAREA 1 METODO PARA PROBAR LA VALIDEZ DE ARGUMENTOS

GRUPO 200611_197
ELABORADO POR
ERMIS VIVAS MALDONADO
CODIGO 5032887
PRESENTADO A TUTOR
GLORIA ALEJANDRA RUBIO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
PROGRAMA INGENIERIA DE SISTEMAS
PENSAMIENTO LOGICO MATEMATICO
CEAD VALLEDUPAR
JUNIO 2021
INTRODUCCION
Con el desarrollo de este trabajo me permite tener conocimiento, sobre las proposiciones, como
elaborar una tabla de verdad y las reglas de inferencia, las cuales me permiten como probar la
validez de un argumento, Ya que de un Razonamiento identificamos un conjunto de
proposiciones que nos establece las premisas, para llegar a una conclusión.
OBJETIVOS
*Aprender a resolver tablas de verdad
*Conocer las reglas de inferencia
*Identificar a través de un Razonamiento, las premisas y conclusiones
*Representar simbólicamente las leyes de inferencia
DESARROLLO DE LA TAREA No 1
Para el desarrollo de los cuatro ejercicios he elegido la letra “C”
Ejercicio 1: Proposiciones y tablas de verdad
Descripción del ejercicio “C”
Proposiciones simples
C. p: Estudio licenciatura en matemáticas
q: Estudio derecho
r: Mi sueño es trabajar en la rama judicial
Lenguaje simbólico
(𝒑 ∧ ~𝒒) ⟷ ~r
Lenguaje natural
Estudio licenciatura en matemáticas y no Estudio derecho. Por lo tanto si y silo si Mi sueño no

es trabajar en la rama judicial.
Tabla Manual
Se clasifica como: Contingencia

Tabla de verdad simulador UNAD
Se realiza video explicando el ejercicio No 1
Link del video: https://youtu.be/AHAX6dW0VNg
Ejercicio No 2
Descripción del ejercicio: Identificación de las reglas de inferencia lógicas
C. Expresión simbólica
A partir del argumento en lenguaje simbólico dar respuesta a los Siguientes ítems:
➢ Nombrar la ley de inferencia que representa cada expresión Simbólica.
➢ 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 (puede usar las mismas
proposiciones Simples en cada una de las 3 expresiones simbólicas seleccionada
➢ Proposiciones simples para desarrollar los ejercicios
r : Alejandro estudia Ingeniería de Sistemas en la UNAD
s : Alejandro subió su participación al foro
t : Alejandro aprobó el examen final

➢ Ley de la inferencia de la expresión: Silogismo hipotético SH
Proposiciones simples:
t : Alejandro aprobó el examen final
Lenguaje natural
Si Alejandro estudia Ingeniería de Sistemas en la UNAD entonces Alejandro subió su

participación al foro. Si Alejandro subió su participación al foro entonces Alejandro
aprobó el examen final. Por lo tanto Alejandro estudia Ingeniería de Sistemas en la
UNAD entonces Alejandro aprobó el examen final.
➢ Ley de la inferencia de la expresión: Adjunción A
Proposiciones simples
p : Alejandro estudia Ingeniería de Sistemas en la UNAD
q : Alejandro subió su participación al foro
Lenguaje Natural
Si Alejandro estudia Ingeniería de Sistemas en la UNAD, Alejandro no subió su participación al

foro. Por lo tanto Alejandro estudia Ingeniería de Sistemas en la UNAD y Alejandro no subió su
participación al foro.
➢ Ley de la inferencia de la expresión: Modus Tollendo Ponens (MTP)

Proposiciones simples:
Lenguaje natural
Alejandro no estudia Ingeniería de Sistemas en la UNAD o Alejandro no subió su

participación al foro. Alejandro subió su participación al foro, Por lo tanto Alejandro no
estudia Ingeniería de Sistemas en la UNAD.
Ejercicio No 3
Descripción del ejercicio: Aplicación de las reglas de inferencia lógicas
Desarrollo del ejercicio de la letra “C”
El día de hoy voy a ver la serie “El Internado: Las Cumbres” por la plataforma – Amazon o Voy a
ver “La casa de papel” por la plataforma Netflix. No voy a ver “La casa de papel” por la
plataforma Netflix
a. Conclusión: El día de hoy voy a ver la serie “El Internado: Las Cumbres” por la plataforma –
Amazon
b. Ley de inferencia aplicada: Modus Tollendo Ponens (MTP)
c. Lenguaje simbólico:
pvq
¬q___
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:
Desarrollo del ejercicio “C”
C. Expresión simbólica:{[(∼ 𝑝 ⟶ 𝑞) ∧ (∼ 𝑝 ∧∼ 𝑟)] ∧ (𝑟 ∧∼ 𝑞)} ⟶∼ r

➢ Proposiciones simples
P : Alejandro estudia Ingeniería de Sistemas en la UNAD
r : Alejandro subió su participación al foro
q : Alejandro aprobó el examen final
Lenguaje Natural
Si Alejandro no estudia Ingeniería de Sistemas en la UNAD entonces Alejandro aprobó

el examen final. Alejandro no estudia Ingeniería de Sistemas en la UNAD y Alejandro no
subió su participación al foro. Alejandro subió su participación al foro y Alejandro no
aprobó el examen final. Por lo tanto Alejandro no subió su participación al Foro.
Se clasifica como: Tautología
Tabla de verdad simulador UNAD

➢ Demostración de la validez del argumento mediante las Leyes de Inferencia:
P4: ∼ 𝑝………….. Simplificación S p2 y p3
P5: ∼ r ...….……..Modus Tollendo Ponens entre P2 y P4

CONCLUSION
Al concluir este trabajo me ha dejado como enseñanza, como la lógica matemática se aplica
en nuestra vida cotidiana, he aprendido como un razonamiento es un conjunto de premisas
que nos llevan a una conclusión, también aprendí como aplicar una regla de inferencia para
probar la valides de un argumento.
REFERENCIAS BIBLOGRAFICAS
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. Córdoba,
AR: El Cid Editor. (pp. 40-49). https://elibro-
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. https://elibro-
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39).

México, D.F, Larousse - Grupo Editorial Patria. https://elibro-
Castaño, C. (2017). Proposiciones y tablas de verdad,

[Vídeo]. http://hdl.handle.net/10596/13871
Castaño, C. (2017). Leyes de inferencia, [Video]. http://hdl.handle.net/10596/13869

Tarea 1 Metodos para Probar La Validaz de Argumentos

Cargado por

Copyright:

Formatos disponibles

Tarea 1 Metodos para Probar La Validaz de Argumentos

Cargado por

Información del documento

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

Tarea 1 Metodos para Probar La Validaz de Argumentos

Cargado por

Copyright:

Formatos disponibles

MOMENTO INTERMEDIO

TAREA 1 METODO PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Para el desarrollo de los cuatro ejercicios he elegido la letra “C”

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio “C”

C. p: Estudio licenciatura en matemáticas

r: Mi sueño es trabajar en la rama judicial

Estudio licenciatura en matemáticas y no Estudio derecho. Por lo tanto si y silo si Mi sueño no

Se clasifica como: Contingencia

Se realiza video explicando el ejercicio No 1

Link del video: https://youtu.be/AHAX6dW0VNg

Descripción del ejercicio: Identificación de las reglas de inferencia lógicas

➢ Nombrar la ley de inferencia que representa cada expresión Simbólica.

➢ Proposiciones simples para desarrollar los ejercicios

r : Alejandro estudia Ingeniería de Sistemas en la UNAD

s : Alejandro subió su participación al foro

t : Alejandro aprobó el examen final

r : Alejandro estudia Ingeniería de Sistemas en la UNAD

s : Alejandro subió su participación al foro

t : Alejandro aprobó el examen final

Si Alejandro estudia Ingeniería de Sistemas en la UNAD entonces Alejandro subió su

➢ Ley de la inferencia de la expresión: Adjunción A

p : Alejandro estudia Ingeniería de Sistemas en la UNAD

q : Alejandro subió su participación al foro

Si Alejandro estudia Ingeniería de Sistemas en la UNAD, Alejandro no subió su participación al

➢ Ley de la inferencia de la expresión: Modus Tollendo Ponens (MTP)

r : Alejandro estudia Ingeniería de Sistemas en la UNAD

s : Alejandro subió su participación al foro

Alejandro no estudia Ingeniería de Sistemas en la UNAD o Alejandro no subió su

Descripción del ejercicio: Aplicación de las reglas de inferencia lógicas

Desarrollo del ejercicio de la letra “C”

b. Ley de inferencia aplicada: Modus Tollendo Ponens (MTP)

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la

Desarrollo del ejercicio “C”

C. Expresión simbólica:{[(∼ 𝑝 ⟶ 𝑞) ∧ (∼ 𝑝 ∧∼ 𝑟)] ∧ (𝑟 ∧∼ 𝑞)} ⟶∼ r

P : Alejandro estudia Ingeniería de Sistemas en la UNAD

r : Alejandro subió su participación al foro

q : Alejandro aprobó el examen final

Si Alejandro no estudia Ingeniería de Sistemas en la UNAD entonces Alejandro aprobó

Se clasifica como: Tautología

Tabla de verdad simulador UNAD

P4: ∼ 𝑝………….. Simplificación S p2 y p3

P5: ∼ r ...….……..Modus Tollendo Ponens entre P2 y P4

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

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

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

Castaño, C. (2017). Leyes de inferencia, [Video]. http://hdl.handle.net/10596/13869

También podría gustarte