You are on page 1of 10

Unidad 2: Tarea 2 – Métodos para probar la validez de argumentos

Rafael Cruspeire Costa.


Abril 2019.

Universidad Nacional Abierta y a Distancia.


Escuela de Ciencias Agrícolas, Pecuarias y del Medio Ambiente.
Lógica Matemática.
Introducción

En este trabajo se desarrollará cuatro ejercicios donde se identificará las reglas de inferencia y

razonamiento deductivo e inductivo, para probar la validez de argumentos en soluciones

problémicas, vistos durante la Unidad 2 donde se abordan preposiciones simples y compuestas,

tablas de verdad, métodos de demostración razonamientos lógicos, inferencia lógica y

argumentos lógicos.

Objetivos

 Definir preposiciones simples.

 Remplazar variables expresadas simbólicamente y llevarlas al lenguaje natural.

 Generar tablas de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

 Generar una tablas de verdad manualmente a partir del lenguaje simbólico

 Demostrar la validez de un argumento mediante las leyes de la inferencia lógica


Ejercicio 1: Conceptualización de las reglas de inferencia – Mapa conceptual de los

conceptos básicos de la Unidad 2.

Lógica Matemática:
disciplina que por medio de
técnicas, reglas y leyes busca
determinar la validez de un
argumento.

Razonamiento Lógico: la habilidad de inferir


procesos de abstracción a números o cantidades
y poder realizar operaciones.

Leyes de la inferencia lógica: partimos de que


hacer inferencia es evaluar mentalmente
distintas expresiones que, al relacionarse, se
puede trazar un implicación lógica.
En las leyes de inferencia se forman como
implicaciones, que tiene como antecendente
está compuesto de una conjunción de
preposiciones ¨premisas¨ y una conclusión

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

A partir del argumento, responda:

b. Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º. Un triángulo

tiene tres lados.

Conclusión: La suma de los ángulos internos es 180º


Ley de inferencia aplicada: Modus Ponendo Ponens (PP)

Lenguaje simbólico: �→�

_______

Ejercicio 3: Razonamiento Deductivo e Inductivo

A partir de rozamiento:

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con palabras propias.

b. El 31 de octubre es el día de los niños, éste día se acostumbra que los niños pidan dulces por

lugares cercanos a su hogar en compañía de un adulto. El índice de robos de niños el día de

Halloween ha aumentado por lo tanto la costumbre de sacar a los niños a pedir dulces se ha

perdido.

Argumentación: El razonamiento utilizado es el deductivo, ya que, a partir de hechos conocidos

como el índice de robos de niños el día de Halloween ha aumentado, se deduce que la costumbre

de sacar a los niños a pedir dulces se ha perdido.

Ejercicio 4: Problemas de aplicación

b. Expresión simbólica.

[(�∨�)∧(�⟶∼�)∧(∼�⟶�)∧ (∼�)∧ (�⟶�)]⟶(�)

Premisas:
P1: �∨�

P2: �⟶∼�

P3: ¬�→�

P4: ∼�

P5: �⟶�

Conclusión: �

A partir de la expresión simbólica, las premisas y la conclusión del argumento dadas, resolver:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico.

p: sale de clase a las 10 pm

q: sale de clase a las 11 pm

r: tomar Transmilenio

s: piensa en otras opciones

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de

encontrar proposiciones iguales entre estudiantes se considerara como copia y se

tomaran las medidas correctivas estipuladas por la UNAD.

Maria sale de clase a las 10 pm o sale de clase a las 11 pm. Si Maria sale de clase a las 11 pm,

entonces no toma Transmilenio. Si Maria no toma Transmilenio entonces piensa en otras


opciones. Luego, Maria no sale de clase a las 10 pm. Maria piensa en otras opciones entonces

toma transmilenio. Por lo tanto, Maria toma transmilenio.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico

Durante el desarrollo de la construcción de la tabla de verdad manual, se me hizo imposible

llegar a una Tautología, ya que el lenguaje simbólico sin su resolución me resulta como una

contradicción, como se puede observar en el simulador abajo. Partiendo de este principio, saqué

el pantallazo como demostración y también para demostrar que se hizo imposible llegar a una

Tautología, ya que [(�∨�)∧(�⟶∼�)∧(∼�⟶�)∧ (∼�)∧ (�⟶�)] con ⟶(�) bajo ninguna

circunstancia darían como resultado una Tautología, pero si una contradicción.


Igualmente, conforme lo solicitado en la Guía, adjunto la tabla de verdad de la expresión

simbólica completa, con su respectiva resolución, lo cual resulta ser una Tautología.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

P Q R S �∨ ∼ ¬ �⟶∼ ¬�→ �⟶ (�∨�) (�∨�) (�∨�) [(�∨�) [(�∨�)


� � � � � � ∧ ∧ ∧ ∧ ∧
(�⟶∼ (�⟶∼ (�⟶∼ (�⟶∼ (�⟶∼
�) �) �) �) �)
∧ ∧ ∧ ∧
(∼�⟶ (∼�⟶ (∼�⟶ (∼�⟶
�) �) �) �)
∧ ∧ ∧
(∼�) (∼�) (∼�)
∧ ∧
(�⟶�) (�⟶�)
] ]

(�)
V V V V v F F F V V F F F F F
V V V F V F F F V V f F F F F
V V F V V F V V V F V V F F F
V V F F V F V V F V V F F F F
V F V V V F F V V V V V F F F
V F V F V F F V V V V V F F F
V F F V V F V V V F V V F F F
V F F F V F V V F V V F F F F
F V V V V V F F V V F F F F F
F V V F V V F F V V F F F F F
F V F V V V V V V F V V V F F
F V F F V V V V F V V F F F F
F F V V F V F V V V F F F F F
F F V F F V F V V V F F F F F
F F F V F V V V V F F F F F F
F f F f F V V V F V F F F F F

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

En este caso no es posible hacer la validez del argumento mediante las leyes de inferencia lógica,

ya que para que se puedan usar las leyes el resultado tiene que haber sido una Tautología.

Conclusión

Por medio de este trabajo aprendí sobre las diferentes reglas de inferencia y razonamiento

deductivo e inductivo para probar la validez de argumentos en soluciones problémicas. A grandes

rasgos, pude concluir que aparte de utilizar la Lógica matemática para verificar la validez de un

argumento, también puedo utilizar el razonamiento deductivo e inductivo para tomar decisiones

acertadas en la vida cotidiana.

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) Consultado el 9 de abril de 2019.


 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo

Editorial Patria. (pp. 29-38) Consultado el 10 de abril de 2019.

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

Grupo Editorial Patria. (pp. 80-84). Consultado el 10 de abril de 2019.