Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos.

Carlos Mario Mora Restrepo

Octubre de 2018.

Universidad Nacional Abierta y a Distancia (UNAD).

Escuela de Ciencias Básicas, Tecnología e Ingeniería.

Lógica Matemática .- 90004A_474-580

 2

Contenido de este documento

Introducción............................................................................................................4

Objetivos..................................................................................................................5

Objetivo general..................................................................................................5

Objetivos específicos...........................................................................................5

Desarrollo de los cuatro ejercicios seleccionados...................................................6

Ejercicio 1. Mapa conceptual..................................................................................6

Ejercicio 2. Aplicación de las reglas de la inferencia lógica...................................7

Ejercicio 3. Razonamiento deductivo e inductivo...................................................8

Ejercicio 4. Problemas de aplicación......................................................................9

Definir las proposiciones simples........................................................................9

Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural...............................................................................................................10

Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico............................................................................................................11

Generar una tabla de verdad manualmente a partir del lenguaje simbólico....11

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

lógica.................................................................................................................12

Conclusiones.........................................................................................................14
 3

Bibliografía............................................................................................................15
 4

Introducción

Los argumentos lógicos y la capacidad de análisis del ingeniero de

sistemas para evaluarlos y aplicarlos en sus procesos diarios, son la materia

prima de todos sus procesos.

Tanto en procesos de ingeniería como en cada momento del día a día, es

necesario tener una completa capacidad de análisis, poder llegar a conclusiones

(ya sea por deducción o por inducción) y hacer uso de la lógica para poder

verificar la validez de cada argumento al momento de estar tomando una

decisión, ya sea algo sencillo o trascendental.

Las herramientas y procedimientos aplicados en esta actividad nos

permitirán tener una mayor comprensión y claridad para alcanzar una gran

capacidad de análisis.
 5

Objetivos.

Objetivo general.

Identificar las reglas de inferencia y razonamientos deductivos e

inductivos, para probar la validez de los argumentos en situaciones

problemáticas.

Objetivos específicos.

• Comprender el concepto de proposiciones simples y complejas.

• Realizar métodos de demostración.

• Comprender y diferenciar el razonamiento deductivo e inductivo.

• Demostrar la validez de un argumento mediante el uso de las leyes de

inferencia lógica.
 6

Desarrollo de los cuatro ejercicios seleccionados.

Ejercicio 1. Mapa conceptual.

 7

Ejercicio 2. Aplicación de las reglas de la inferencia

lógica.

La situación seleccionada en contextos reales que va a ser analizada en

este ejercicio es la situación A.

Si usted esta en Madrid, entonces su reloj señala la misma hora que en

Barcelona. Usted Esta en Madrid.

Conclusión: “Su reloj señala la misma hora que en Barcelona”

Ley de inferencia aplicada: Modus Ponendo Ponens.

Lenguaje simbólico:

• p: Usted esta en Madrid

• q: Su reloj señala la misma hora que en Barcelona.

p→q

∴ q q
 8

Ejercicio 3. Razonamiento deductivo e inductivo.

La situación seleccionada en contextos reales que va a ser analizada en

este ejercicio es la situación A.

Según las instrucciones del recetario de cupcakes se deben hornear

durante una hora. El pastelero Juan introduce al horno los cupcakes a las diez

de la mañana, por lo tanto, los cupcakes estarán listos a las 11 de la mañana.

Indicar si el razonamiento es inductivo o deductivo.

El razonamiento del anterior ejercicio es deductivo.

Argumentar la respuesta:

El razonamiento del anterior ejercicio es deductivo porque parte

de una premisa general (las instrucciones del recetario de cupcakes

indican una hora de horneado). Al tener como segunda premisa la hora

en la que se comienza el horneado (10:00AM) se puede deducir la

conclusión indicada (los cupcakes están listos a las 11:00AM). Este

razonamiento va de lo general a lo particular, la cual es la característica

del razonamiento deductivo.

 9

Ejercicio 4. Problemas de aplicación.

A continuación, encontrara la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo de la situación A.

Expresión simbólica:

[( p∧q)∧( p →r )]→( p∧q)

Premisas:

P1: p∧q

P2: p → r

Conclusión:

r∧q

A partir de la expresión simbólica seleccionada, realice lo siguiente:

Definir las proposiciones simples.

p: Lógica es una asignatura de ingeniería de sistemas.

q: Carlos disfruta estudiar lógica.

r: Estudiar lógica brinda una gran capacidad de análisis.

 10

Reemplazar las variables expresadas simbólicamente y

llevarlas al lenguaje natural.

Lógica es una de las asignaturas de ingeniería de sistemas y Carlos

disfruta estudiarla. Lógica es una asignatura que brinda una gran capacidad de

análisis a quienes la estudian. Por lo tanto, estudiar lógica brinda una

capacidad de análisis, la cual disfruta Carlos.

Generar una tabla de verdad con el simulador Truth Table a

partir del lenguaje simbólico.

Illustration 1: Tabla de verdad generada desde

http://turner.faculty.swau.edu
 11

Generar una tabla de verdad manualmente a partir del

lenguaje simbólico.

p q r [ ( p∧q ) ∧ (p→r)] → (r ∧ q)

v v v v v v v v v v v v v v

v v f v v v f v f f v f f v

v f v v f f f v v v v v f f

v f f v f f f v f f v f f f

f v v f f v f f v v v v v v

f v f f f v f f v f v f f v

f f v f f f f f v v v v f f

f f f f f f f f v f v f f f

V
I III II IV
Resultado

El resultado es una Tautología.

 12

Demostración de la validez del argumento mediante las

leyes de la inferencia lógica.

Expresión simbólica:

[( p∧q)∧( p →r )]→( p∧q)

Premisas:

P1: p∧q

P2: p → r

Conclusión:

r∧q

P3: p SIMPLIFICO EN P2

P4: q SIMPLIFICO EN P2

P5: r MODUS PONENS EN P2 Y P3

P6: r∧q ADJUNCION EN P5 Y P4.

 13

Conclusiones

• Las reglas de inferencia permiten encontrar la solución a cualquier

planteamiento lógico, por medio de procedimientos comprobados

demostrables en tablas de verdad.

• El razonamiento deductivo permite lograr una visión desde lo general a lo

particular; por el contrario, el razonamiento inductivo va de lo particular a

lo general.

• Gracias a las reglas de inferencia y procesos de razonamiento, se pueden

validar la veracidad de los argumentos en cualquier situación del día a día.

 14

Bibliografía

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) Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=59&docID=10732485&tm=1492520387992

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial

Patria. (pp.163-166). Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=178&docID=11046000&tm=1492520104862

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video].

Recuperado de http://hdl.handle.net/10596/6559

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito

Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=91&docID=11230887&tm=1496180214861