Métodos para probar la validez de argumentos

Julián Andrés Medina Gómez

200611_23
Popayán, Colombia.

Universidad Nacional Abierta y a Distancia

Catedra Unadista
200611A_765

Sandra Marleni Vallejo

1 de octubre de 2020
 1

CONTENIDO

Introducción ………………………………………………………………………………. 2
Ejercicio 1 ………………………………………………………………………………. 3
Ejercicio 2 ………………………………………………………………………………. 4
Ejercicio 3 ………………………………………………………………………………. 5
Ejercicio 4 ………………………………………………………………………………. 6
Conclusión ………………………………………………………………………………. 8

HELPERD
 2

INTRODUCCION

En las páginas de este documento se encontrará ejercicios resueltos acerca de métodos para
probar la validez de argumentos tales como métodos con metodología tabla de verdad y reglas de
inferencia.
Constará de cuatro ejercicios donde se ejecutara la solución del problema E de cada tema.
La metodología del trabajo de la lógica consiste en examinar la validez o la invalidez de una
afirmación mediante la aplicación de una sistematización en los argumentos y, por ende de un
análisis de su estructura lógica, sin tener en cuenta el contenido de lo que se ha argumentado ni
considerar siquiera el lenguaje utilizado, y sin contemplar el estado de realidad del contenido.
En ocasiones no basta para predecir determinados efectos y algunas veces incluso nos puede
engañar. Por eso la matemática es una ciencia deductiva, que utiliza los métodos de la lógica para
organizar y sistematizar los resultados obtenidos mediante la experiencia y la intuición.
 3

EJERCICIO 1
PROPOSICINES Y TRABJAS DE TRABAJO
SOLUCION.

E)
P: Rafael Pombo es un escritor colombiano.
q: Gabriel García Márquez escribió Mirringa Mirronga como simón el bobito.
r: Rafael Pombo nació en Bogotá en el año 1833.
Lenguaje simbólico:
Fig. 1
Lenguaje natural:
Rafael Pombo es un escritor colombiano ò Gabriel García Márquez escribió Mirringa
Mirronga como simón el bobito, si solo si Rafael Pombo nació en Bogotá en el año 1833
y Rafael Pombo nació en Bogotá en el año 1833.
Tabla manual

Tabla. 1a
Tabla de la verdad (Simulador)
 4

Tabla. 1b

EJERCICIO 2
IDENTIFICACION DE LAS REGLAS DE LA INFERENCIA LOGICA
SOLUCION.
E)

Fig. 2
 Ley de inferencia de la expresión: Simplificación (SIM)
 Proposiciones simples:
r: María es artista.
S: José Manuel es cantante.
 Lenguaje natural:
José Manuel es cantante.

Fig. 3
 Ley de inferencia de la expresión: Silogismo hipotético (SH)
 Proposiciones simples:
p: Voy a la universidad.
q: Asistió a clases.
r: Entiendo los temas
 Lenguaje natural:
Si voy a la universidad, entonces asisto a clases y si asisto a clases,
entonces entiendo los temas.

Fig. 4
 Ley de inferencia de la expresión: Modus Tollens (MTT)
 Proposiciones simples:
p: El día caluroso
q: iremos a nadar
 5

 Lenguaje natural:
Si el día caluroso, entonces iremos a nadar.
Hoy no es un día caluroso. Por lo tanto, hoy no iremos a nadar.
EJERCICO 3

APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

SOLUCION.

E)
Se puede evitar el contagio del COVID19 o utilizas las medidas de bioseguridad. Si se
puede evitar el contagio del COVID19 entonces debes lavar constantemente tus manos. Si
utilizas las medidas de bioseguridad entonces debes aplicar el distanciamiento social.

 Conclusión: Se debes lavar constantemente tus manos o aplicar el distanciamiento

social.

 Ley de inferencia aplicada: Silogismo Disyuntivo (DS)

 Lenguaje simbólico:

Proposición 1 pVq
Proposición 2 p→r
Proposición 3 q→S
Conclusión: rVs
 6

EJERCICIO 4

PROBLEMAS DE APLICACIÓN

SOLUCION.

E)
Fig. 5

Fig. 6

 Lenguaje natural:
Si cuatro es mayor que uno entonces tres es mayor que uno.
Si tres es mayor que uno entonces tres es mayor que dos.
cuatro es mayor que uno ò tres es mayor que dos. Por lo tanto, tres mayor que uno
ò tres es mayor que dos.

 Demostración de la validez del argumento mediante las leyes de inferencia

P4: p → r …… Silogismo hipotético entre P1 y P2

P5: P …… Simplificación P3
 7

 Tabla manual

Tabla. 2a Tautología.

 Tabla de la verdad (Simulador)

Tabla. 2b
 8

CONCLUSION

La lógica se aplica en muy diversas áreas. En la ingeniería es de gran utilidad en la

electrónica, para el diseño de circuitos mediante compuertas lógicas, y en
programación, para el diseño de programas que requieren la unión de operadores
lógicos. En administración, porque esta hace uso de los conocimientos
organizados para dar solución a problemas reales.

Al simbolizar un lenguaje lo que se persigue es básicamente, sencillez, claridad y

exactitud. Pues, en este caso, es más sencillo y resulta más claro y exacto
representar las cosas mediante símbolos. Por ese mismo motivo se me facilita las
formas del pensamiento y sus leyes.

También concluí que a partir del resultado de las tablas de verdad, es posible
clasificar los argumentos en tres tipos: tautología, contradicción y contingencia.

El simulador lógica UNAD es una gran herramienta para el desarrollo de las

tablas de verdad, en el cual fomenta la verificación y comprobación de
previamente ejercicio propuesta manualmente.