1475 - Tarea - 1 - Maira Ceron

Tarea 1- Métodos para probar la validez de argumentos
Presentado por: Maira Alejandra Ceron Coral
No de grupo: 200611_1475
Presentado a tutor: Mario Ramírez Barragán
Universidad Nacional Abierta y A Distancia UNAD
Escuela de ciencias de la salud ECISA
Tecnología en Radiología e Imágenes Diagnosticas
CEAD Pasto febrero 2022
1
Introducción
En el presente trabajo se encuentra el desarrollo de cuatro ejercicios los cuales se explica
los pasos las proposiciones con su lenguaje natural, las tablas de verdad, las expresiones
simbólicas y como aplicar adecuadamente las leyes de inferencia, estos pasos nos ayudan a
probar la validez de diferentes argumentos con la realización de estos ejercicios podemos
podemos analizar y entender de una manera practica cualquier tipo de situación que pueda
llegar a presentar.
 A continuación
encontraremos cuatro
actividades que explican
una a una las etapas de
 validación de
proposiciones y la
elaboración de una tabla
de valor. Nuestra clase
de
 pensamiento lógico, nos
permite analizar y entender
manera práctica cualquier tipo
de situación
 que se presente.
Objetivos
 analizar cada uno de los ejercicios propuestos
 identificar cada una de las leyes de inferencia con el fin de asignarlas al ejercicio al
cual pertenezca
 desarrollar los ejercicios de la manera correspondiente.
Ejercicio 1:
B.
p: La casa de papel es la mejor serie de Netflix

q: Stranger Things es una serie de Netflix
r: La casa de papel es una de las series más vistas del mundo
(𝑝∨𝑞) → (∼𝑞∧𝑟)
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
⮚ Escribir la proposición compuesta propuesta en un lenguaje natural.
(𝑝∨𝑞) → (∼𝑞∧𝑟)
La casa de papel es la mejor serie de Netflix o Stranger Things es una serie de Netflix
entonces Stranger Things no es una serie de Netflix y La casa de papel es una de las series
más vistas del mundo.
⮚ 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.
⮚ Generar la tabla de verdad a través del simulador Lógica UNAD

⮚ Realizar un vídeo de 3 minutos:
A continuación, está el enlace del video sobre la explicación del ejercicio No 1:
https://youtu.be/qFpx1LpIbnE
Ejercicio 2:
B. Expresión simbólica
p ∧ ¬q s →t ¬ r →s
p ¬t ¬r
¬s s
 Expresión simbólica
P˄ ¬q
P
 Ley de inferencia de la expresión: simplificación (S)
 Proposiciones simples:
p: Nicolás aprobó el trabajo de la primera unidad de catedra unadista

q: Nicolás aprobó catedra unadista
 Lenguaje natural:
Nicolás aprobó el trabajo de la primera unidad de catedra unadista y Nicolás aprobó
catedra unadista, por lo tanto, Nicolás aprobó el trabajo de la primera unidad de catedra
unadista.
 Expresión simbólica:
s→t
¬t
¬s
 Ley de inferencia de la expresión: modus tollendo tollens (MTT)
s: Camila aprobó biología celular y molecular
t: Camila participara de sus practicas
Si Camila aprobó biología celular y molecular entonces Camila participara de sus
prácticas. Camila no participo de sus prácticas, por lo tanto, Camila no aprobó
biología celular y molecular.
 Expresión simbólica:
¬r → s
¬r
s
 Ley de inferencia de la expresión: Modus ponendo pones (MPP)
r: Julián aprobó el semestre
s: Julián aprobó pensamiento lógico y matemático
Si Julián no aprobó el semestre entonces Julián aprobó pensamiento lógico y
matemático, Julián no aprobó el semestre, por lo tanto, Julián aprobó pensamiento
lógico y matemático
Ejercicio 3:
B. Si un administrador de empresas liderara organizaciones que contribuyen a la
construcción del progreso económico, entonces un administrador de empresas ayuda a la
economía de un país. Un administrador de empresas no ayuda en la economía de un país. a.
Lenguaje simbólico:
p→ q
~q
~q
b. Ley de inferencia aplicada: Modus tollendo tollens (MTT)
c. Conclusión: Un administrador de empresas no ayuda en la economía de un país
Ejercicio 4:
B. Expresión simbólica: {(𝑝⟶𝑟)∧(𝑞⟶𝑝)∧(𝑝∧𝑞)}⟶(𝑞∧𝑟)

Premisas:
P1: (𝑝⟶𝑟)
P2: (𝑞⟶𝑝)
P3: (𝑝∧𝑞)
Conclusión: (𝑞∧𝑟)
⮚ Definir las proposiciones simples:
P: diana aprueba biología celular y molecular
r: estudia la creación de las primeras biomoléculas
q: participa en las actividades asignadas
⮚ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural:
sí diana aprueba biología celular y molecular, entonces estudia la creación de las primeras
biomoléculas y participa en las actividades asignadas, entonces aprueba biología celular y
molecular y aprueba biología celular y molecular, y participa en las actividades asignadas.
por lo tanto, participa en las actividades asignadas y estudia la creación de las primeras
biomoléculas.
8
⮚ Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
⮚ Generar la tabla de verdad a través del simulador Lógica UNAD
⮚ Demostración de la validez del argumento mediante las leyes de la inferencia lógica
{(𝑝⟶𝑟)∧(𝑞⟶𝑝)∧(𝑝∧𝑞)}⟶(𝑞∧𝑟)
P1: 𝑝⟶𝑟
P2: 𝑞⟶𝑝
P3: 𝑝∧𝑞
CONCLUSION: 𝑞∧𝑟
P4: p Simplificación (S) en P3
P5: q Simplificación (S) en P3
P6: r Modus ponendo ponens (MPP) en P1 y P4
P7: 𝑞∧𝑟 Adjunción (A) en P5 y P6

10
Conclusiones
Para este trabajo se puede concluir que para aprendí el desarrollo de una proposición simple
llevándola a un lenguaje natural y la cual podía ser comprobada por medio de una tabla de
verdad, resolviendo así todos los ejercicios planteados.

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
12

1475 - Tarea - 1 - Maira Ceron

Cargado por

Copyright:

Formatos disponibles

1475 - Tarea - 1 - Maira Ceron

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

1475 - Tarea - 1 - Maira Ceron

Cargado por

Copyright:

Formatos disponibles

Tarea 1- Métodos para probar la validez de argumentos

Presentado por: Maira Alejandra Ceron Coral

Presentado a tutor: Mario Ramírez Barragán

Universidad Nacional Abierta y A Distancia UNAD

Escuela de ciencias de la salud ECISA

Tecnología en Radiología e Imágenes Diagnosticas

CEAD Pasto febrero 2022

En el presente trabajo se encuentra el desarrollo de cuatro ejercicios los cuales se explica

probar la validez de diferentes argumentos con la realización de estos ejercicios podemos

 desarrollar los ejercicios de la manera correspondiente.

p: La casa de papel es la mejor serie de Netflix

r: La casa de papel es una de las series más vistas del mundo

⮚ Escribir la proposición compuesta propuesta en un lenguaje natural.

más vistas del mundo.

⮚ 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.

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

A continuación, está el enlace del video sobre la explicación del ejercicio No 1:

p: Nicolás aprobó el trabajo de la primera unidad de catedra unadista

Nicolás aprobó el trabajo de la primera unidad de catedra unadista y Nicolás aprobó

 Ley de inferencia de la expresión: modus tollendo tollens (MTT)

s: Camila aprobó biología celular y molecular

t: Camila participara de sus practicas

Si Camila aprobó biología celular y molecular entonces Camila participara de sus

prácticas. Camila no participo de sus prácticas, por lo tanto, Camila no aprobó

biología celular y molecular.

r: Julián aprobó el semestre

s: Julián aprobó pensamiento lógico y matemático

Si Julián no aprobó el semestre entonces Julián aprobó pensamiento lógico y

matemático, Julián no aprobó el semestre, por lo tanto, Julián aprobó pensamiento

B. Si un administrador de empresas liderara organizaciones que contribuyen a la

construcción del progreso económico, entonces un administrador de empresas ayuda a la

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

b. Ley de inferencia aplicada: Modus tollendo tollens (MTT)

c. Conclusión: Un administrador de empresas no ayuda en la economía de un país

B. Expresión simbólica: {(𝑝⟶𝑟)∧(𝑞⟶𝑝)∧(𝑝∧𝑞)}⟶(𝑞∧𝑟)

⮚ Definir las proposiciones simples:

P: diana aprueba biología celular y molecular

r: estudia la creación de las primeras biomoléculas

q: participa en las actividades asignadas

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

biomoléculas y participa en las actividades asignadas, entonces aprueba biología celular y

molecular y aprueba biología celular y molecular, y participa en las actividades asignadas.

⮚ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

P4: p Simplificación (S) en P3

P5: q Simplificación (S) en P3

P6: r Modus ponendo ponens (MPP) en P1 y P4

P7: 𝑞∧𝑟 Adjunción (A) en P5 y P6

verdad, resolviendo así todos los ejercicios planteados.

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

Larousse - Grupo Editorial Patria

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

También podría gustarte