PENSAMIENTO LÓGICO Y MATEMÁTICO - (200611D_1141)

TAREA 1 METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Jhon Mario González Ariza

200611_2146

Ing. José Manuel Cruz

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería ECBTI
Ingeniería Industrial
CEAD José Acevedo y Gómez
2022
 INTRODUCCION

En el presente informe se consolidan los conceptos para demostrar la validez de

argumentos mediante la aplicación correcta de las leyes de inferencia donde de
forma práctica se desarrollan los ejercicios proporcionados por el tutor y
escogidos por cada uno de nosotros. Los temas abordados son: las
preposiciones, tablas de verdad, validez de argumentos e inferencia lógica, en
donde se dará aplicabilidad con relación con la temática vista.
El video donde se explica cómo se realizó el ejercicio No. 1 también es algo que
dentro de este trabajo se podrá encontrar mediante un enlace para acceder al
drive donde este alojado.
 OBJETIVOS

 Aplicar las tablas de verdad y reglas de inferencia para probar la validez

de argumentos.
 Identificar los diferentes conectores lógicos en lenguaje natural y lenguaje
formal
 Comprender las diferentes reglas de Inferencia, identificarlas y aplicarlas
en el desarrollo de ejercicios en expresiones simbólicas o de lenguaje
natural.
 Realizar tablas de verdad y determinar el resultado que corresponde.
 Realizar un video explicando la realización del ejercicio No. 1 de acuerdo
con las especificaciones dadas por el tutor.
 Ejercicio 1. Proposiciones y tablas de verdad.
Letra 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

(p  q)  (q  r)

Solución: Escribir la proposición en lenguaje natural.

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

Solución: Tabla de verdad

p q r  q (p  q) (q  r) (p  q)  (q  r)
1 V V V F V F F
2 V V F F V F F
3 V F V V V V V
4 V F F V V F F
5 F V V F V F F
6 F V F F V F F
7 F F V V F V V
8 F F F V F F V
RESULTADO CONTINGENCIA
El resultado es una contingencia. Porque en los resultados al final hay falso y
verdadero

Enlace para ver el video explicando la realización del ejercicio No. 1

https://drive.google.com/file/d/1gslB5ecgByDfBrJgt0RtyGApxD1IDcGp/view?us

p=drivesdk
 Solución. Pantallazo del simulador lógica UNAD.
Ejercicio 2. Encontrar el lenguaje simbólico de las expresiones que
representan algunas leyes de inferencia.
Letra B
p  q st
_________ t
p s
Simplificación (S) Modus Tollendo Tollens (TT)
p: Jhon Realizara el s: Ernesto se inscribe en el
trabajo universitario programa de diseño industrial
q: Jhon tomara clases t: El programa presencial de
extra de excel robótica está disponible
Jhon realizara el trabajo Si Ernesto se inscribe en el
universitario y Jhon no programa de diseño
tomara clases extra de industrial, entonces el
Excel. Por lo tanto, Jhon programa presencial de
realizara el trabajo robótica esta disponible. El
universitario. programa presencial de
robótica No esta disponible.
Por lo tanto, Ernesto no se
inscribe en el programa de
diseño industrial.
r  s
r
s
Modus Ponendo Ponens (PP)
r: Marta está a punto de
finalizar las materias en la
universidad
s: para graduarse debe
completar los niveles de ingles
Si Marta no esta a punto de
finalizar las materias en la
universidad, entonces para
graduarse debe completar los
niveles de inglés. Marta no
esta a punto de finalizar las
materias en la universidad. Por
lo tanto para graduarse debe
completar los niveles de
inglés.
Ejercicio 3. Letra 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.
Desarrollo 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 a la economía de un país
Desarrollo Ley de inferencia aplicada

pq

q

 p

Modus Tollendo Tollens (TT)

Desarrollo conclusión.
Un administrador de empresas no liderara organizaciones que contribuyen a la

construcción del progreso económico.

Ejercicio 4. Letra B
A continuación, encontrara la expresión simbólica, las premisas y la conclusión
de un argumento para el desarrollo del ejercicio 4

{(p  r)  (q  p)  (p  q)}  (q  r)

Premisas:

P1: (p  r)

P2: (q  p)

P3: (p  q)

Conclusión: (q  r)

p: Francisco estudia ingeniería mecánica.

q: Participa activamente en los laboratorios.
r: Entrega trabajos de forma puntual
Si francisco estudia ingeniería mecánica, entonces entrega trabajos de forma
puntual y si participa activamente en los laboratorios, entonces Francisco
estudia ingeniería mecánica y participa activamente en los laboratorios. Por lo
tanto, participa activamente en los laboratorios y entrega trabajos de forma
puntual.

Proposiciones simples:
p
q
r
Premisas:

(p  r)

(q  p)

(p  q)

(q  r)
Relación entre premisas:

(p  r)  (q  p)

{(p  r)  (q  p)  (p  q)}

{(p  r)  (q  p)  (p  q)}  (q  r)

Tabla de verdad

{(p  r)  (q  p)  (p  q)}  (q  r)
{(p  r)  (q  p)  (p  q)}
(p  r)  (q  p)
(p  r)

(q  p)

(p  q)

(q  r)
p
q

1 V V V V V V V V V V
2 V V F F V V F F F V
3 V F V V V F F V F V
4 V F F F V F F F F V
5 F V V V F F V F F V
6 F V F V F F F F F V
7 F F V V V F F V F V
8 F F F V V F F V F V

Resultado: TAUTOLOGIA: porque en la salida final todas son verdaderas

Solución. Pantallazo del simulador lógica UNAD.
Demostración de la validez del argumento mediante leyes de inferencia
lógica.
Premisas

P1: (p  r)

P2: (q  p)

P3: (p  q)

Conclusión: (q  r)

P4: p por Simplificación (S) en P3

P5: q por Simplificación (S) en P3
P6: r por Modus Ponendo Ponens (MPP) en P1 y P4

P7: (q  r) por Adjunción (A) en P5 y P6

 CONCLUSIONES

 El apoyo de la bibliografía referenciada por el tutor del curso, videos

explicativos y demás fuentes de información suministradas son de vital
importancia para el desarrollo exitoso de los ejercicios y el buen
entendimiento de cada uno de los temas.

 Es necesario realizar las participaciones y aportes en el foro

correspondiente pues gracias a las retroalimentaciones dadas por el tutor
se evidencian errores o fallas que por mínimas que sean. No permiten que
el desarrollo del ejercicio sea exitoso.

 No es necesario aprenderse las leyes de inferencia de memoria, sin

embargo, con la práctica se identifican las estructuras en las
preposiciones simples o compuestas, los argumentos y conectores
lógicos que permiten realizar una búsqueda acertada y practica de la
inferencia que aplica.
 BIBLIOGRAFIA

 ECBTI, Anexo 1 ejemplo para el desarrollo de la tarea. UNAD (archivo PDF)

 Canal Mario Guitierrez Toledo. (19 de diciembre de 2013) Como hacer un video con
Screencast-O-Matic (archivo de video)
https://www.youtube.com/watch?v=tHBAYinkoPA&t=23s&ab_channel=MarioGuti%C
3%A9rrezToledo
 Castaño, C. (2017). OVI. Leyes de inferencia. Repositorio Institucional
UNAD. http://hdl.handle.net/10596/13869
 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
 Canal Luz Adriana Ramírez Rincón. (5 de septiembre de 2021) PROPOSICIONES Y
TABLAS DE VERDAD (Archivo de video).
https://www.youtube.com/watch?v=XjDd2b5xwkM&t=1003s
 Canal Angelica Cabra Delgado. (3 de septiembre de 2021) PLM. Tarea 1. Ejercicio 2
(archivo de video)
https://www.youtube.com/watch?v=E6ZgmE4BJvI&ab_channel=AngelicaCabraDelga
do
 Canal Fabian Adames. (4 de septiembre de 2021) OVI aplicación de las reglas de
inferencia lógica (archivo de video) https://www.youtube.com/watch?v=GcdfRFhcR-
U&ab_channel=FabianAdames
 Canal Carolina Castaño Gutiérrez. (6 de septiembre de 2021) Ejemplo 4 métodos para
demostrar validez de argumentos (archivo de video)
https://www.youtube.com/watch?v=kimMFG-
2oYY&ab_channel=CarolinaCastanoGutierrez