Paso 6 - Métodos para probar validez de argumentos

PENSAMIENTO LOGICO Y MATEMATICO

JHON FAVER ROJAS RAMÍREZ

Grupo No.
200611_1034

Tutor
JUAN PABLO YAGUARA

Universidad Nacional Abierta y a Distancia UNAD

INGENIERIA INDUSTRIAL
NEIVA
2018
 INTRODUCCIÓN

En esta unidad se desarrollarán las temáticas de leyes de inferencia y razonamientos

deductivos e inductivos como también se usara para apoyo de este trabajo el Uso del simulador
Truth Table y la tabla de verdad.
OBJETIVOS

General:

 Conocer los métodos utilizados de leyes de inferencia y razonamientos deductivos e

inductivos.

Específicos:

 Analizar cada uno de los temas a desarrollar

 Identificar cada una de las leyes de inferencia y razonamiento deductivos.
 Desarrollar los puntos p r o p u e s t os si gu i e n d o l o s e nl a c e s p r op u e s t o s e n e l
e n t o r n o d e l conocimiento.
ACTIVIDADES A DESARROLLAR

TAREA 1: CONCEPTUALIZACIÓN DE LAS REGLAS DE INFERENCIA.

Realizar una pequeña presentación en PREZI, de la conceptualización y dos ejemplos específicos

de un grupo de las Reglas de Inferencia Lógica.

Nota: En caso de ser extraído de alguna fuente bibliográfica, se debe citar empleando normas
APA.

A. Silogismo Disyuntivo, Modus Tollendo Tollens y Adición.

Ley del silogismo disyuntivo

Esta regla parte de al menos tres premisas: una disyuntiva y dos condicionales. La disyuntiva
encierra dos opciones, las cuales serán los antecedentes de ambas condicionales, de tal modo que
sus consecuentes podrán conformar una disyunción. En otras palabras esto significa que si dos
posibilidades conllevan dos condiciones a cumplir, los efectos serán en última instancia las
posibilidades que se estarán escogiendo en última instancia. Ejemplo:

O está durmiendo o se está bañando.

Si está durmiendo no vendrá a la fiesta.

Si se está bañando, llegará tarde.

No vendrá a la fiesta o llegará tarde

Igualmente se pudo concluir:

Llegará tarde o no vendrá a la fiesta.

Lo anterior se simboliza:
 "DS" simboliza a la ley del Silogismo Disyuntivo y los números a su lado derecho
muestran de qué premisas se valió la regla.

Modus Tollendo Tollens: El modus Tollendo Tollens (en latín, modo que negando niega),
también llamado modus Tollens y generalmente abreviado MTT o MT, es una regla de
inferencia que tiene la siguiente forma:

Si A entonces B

No B

Por lo tanto, no A

EJEMPLO:

Si son las 6 AM, entonces amaneció.

No son las 6 AM.

Por lo tanto, no amaneció.

Ley de la adición (LA): luego de dar un enunciado es probable que se exprese como una
disyunción acompañado por otro enunciado.

A: he ido a RCN radio

A V b: he ido a RCN radio ò he ido al periódico El Universal

TAREA 2: PROBLEMAS DE APLICACIÓN I

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
Aplicación de las reglas de inferencia.

A- Luna se encuentra estudiando el material del curso de física general, especialmente el

tema movimiento en una dimensión, entonces se reflexiona un poco para entender el
concepto de desplazamiento, por lo que Luna hace el siguiente razonamiento: “Si camino
7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros
hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo). No
camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.

Sea:
p = 7 metros hacia adelante.
q = 7 metros en sentido contrario.
r = Desplazamiento.

Si camino 7 metros hacia adelante, entonces me desplazo: p → r

No es cierto que (si camino 7 metros hacia adelante y camino 7 metros en sentido contrario,
entonces me desplazo: ¬ (p ∧ q) → r
No camino 7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario” (¬p →
q)
{(p → r) ∧ [¬ (p ∧ q) → r] ∧ (¬p → q)}

TABLA DE VERDAD

p r q (p → r) ¬(p∧ q) → r (¬p → q) {(p → r)∧[¬(p∧q) → r]∧(¬p → q)}

V V V V V F V
V V F V V F V
V F V F V F F
V F F F F F F
F V V V V V V
F V F V F F F
F F V V V V F
F F F V F F F

SIMULADOR TRUTH TABLE

TAREA 3: RAZONAMIENTO DEDUCTIVO E INDUCTIVO

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo, argumentado la

respuesta con sus propias palabras

A-Después de mucho analizar el caso, La investigadora Gabriela hace de la siguiente

argumentación: “Si Martha estaba en la tienda a la hora de la novela y Joaquín salió a buscar a
Martha justo cuando se termina la novela, pero Javier afirma que vio a Joaquín salir de su casa
un minuto después de Martha y la tendera Carla afirma que Martha nunca fue esa noche a la
tienda, entonces es probable que los sospechosos estén mintiendo.

Premisa 1: Si Martha estaba en la tienda a la hora de la novela

Premisa 2: Joaquín salió a buscar a Martha justo cuando se termina la novela
Premisa 3: Javier afirma que vio a Joaquín salir de su casa un minuto después de Martha
Premisa 4: Carla afirma que Martha nunca fue esa noche a la tienda.
Intervienen

Marta
Javier
Joaquín
Carla

“Las novelas duran por lo general una hora”

“Marta ve la novela”
“Marta dedica una hora a ver la novela”
Por tal motivo se deduce que Javier es el que miente porque la novela no pude durar un minuto.
 CONCUSIONES

En este trabajo adquirimos algunos conocimientos de leyes de inferencia y razonamientos

deductivos e inductivos, llegando al desarrollo de cada uno de los objetivos propuestos en este
trabajo.
Podemos concluir que para resolver las temáticas correspondiente sobre los topis de
razonamiento las podemos demostrar con tablas de verdad y reglas de inferencia.
REFERENCIAS BIBLIOGRAFICAS

González, H. (S.F.) Ejercicios Lógica 4. Scribd. Recuperado de:

https://es.scribd.com/doc/3203753/EJERCICIOS-LOGICA-4

López, N. C., Moreno, S., Gutiérrez, F., & Madruga, J. A. G. (1998). Modelos mentales en
conjunciones, disyunciones y condicionales: Replicación de un estudio de Rips. In I Jornadas de
Psicología del Pensamiento:(actas): Santiago de Compostela, 22-23 de junio, 1998 (pp. 39-56).
Servicio de Publicaciones.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. Madrid,

ES: Ediciones Elizcom.
http://www.ebrary.com.Recuperado:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?docID=10565960&ppg=76

http://docencia.udea.edu.co/cen/logica/
http://www.zweigmedia.com/MundoReal/logic/logic6.html