Tarea 2 – Métodos para probar validez de argumentos

Anyer Camilo Muñoz

(1007284303)

Grupo:575

Tutor: Elkin Barreiro Rocha

Lógica Matemática

Universidad nacional abierta y a distancia(UNAD)

Escuela de ciencias agrícolas, pecuarias y de medio ambiente (ECAPMA)

Programa de Agronomía

Zona sur CCAV Pitalito

abril 2019
 Introducción

Se le llama razonamiento al resultado de la actividad mental de razonar, es decir, un conjunto de

proposiciones enlazadas entre sí que dan apoyo o justifican una idea. El razonamiento se

corresponde con la actividad verbal de argumentar. En otras palabras, un argumento es la

expresión verbal de un razonamiento. En el siguiente trabajo se va a ampliar conocimientos

sobre las leyes de inferencia y se van a aplicar a ejercicios. Es muy necesario tener en cuenta los

tipos de razonamientos ya que podemos tener un argumento que puede ser inductivo o deductivo

los argumentos que tienen una conclusión correcta son inductivas, y los argumentos incorrectos

son deductivos. En general se busca analizar métodos para probar la validez de un argumento,

que son utilizados en las matemáticas como en la vida cotidiana.

Objetivos

 Aplicar las leyes de inferencia correctamente.

 Asociar conceptos e interpretarlos de forma lógica, abordando la temática.

 Utilizar métodos para probar la validez de argumentos, analizar tipos de razonamientos

lógicos para llegar a una conclusión.

Ejercicio 1

Mapa Conceptual

Referencias Bibliográficas

Chávez, P. (2000). Compendio de logica. Patria. https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3228934&ppg=178

Villalpando, J. (2014). Matemáticas discretas: aplicaciones y ejercicios. Patria. https://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3227628
Ejercicio 2 reglas de inferencia:

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

tiene tres lados.

Conclusión: Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º

ley de inferencia aplicada: Modus ponens.

Lenguaje simbólico: p→ 𝑞

Ejercicio 3 reglas de inferencia:

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 tipo de razonamiento utilizado es inductivo ya que se parte de un número

finito de casos particulares (el índice de robos de niños el día de Halloween) para inferir, con

presunción de verdad, que la costumbre de sacar a los niños a pedir dulces se ha perdido. Hay

que tener en cuenta que la costumbre no se ha perdido y que la gente sigue saliendo con los niños

a pedir dulces por costumbre en ese día.

Ejercicio 4 reglas de inferencia:

b. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Premisas:

P1: 𝑝 ∨ 𝑞

P2: 𝑞 ⟶∼ 𝑟

P3: ¬𝑟 → 𝑠

P4: ∼ 𝑝

P5: 𝑠 ⟶ r

Conclusión: r

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

P: Rodrigo estudia Psicología

q: Adriana juega hockey

r: Norma viaja a distintos países

s: Adrián toca el piano

lenguaje natural:

Rodrigo estudia Psicología o Adriana juega hockey, y si Adriana juega hockey entonces Norma

no viaja a distintos países, y si Norma no viaja a distintos países, entonces Adrián toca el piano

y Rodrigo no estudia Psicología y si Adrián toca el piano, entonces Norma viaja a distintos

países. Entonces Norma viaja a distintos países.

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

P q r s ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))→r
V V V V V
V V V F V
V V F V V
V V F F V
V f V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r S ∼ ∼ ∼ p˅ q→∼ ∼r→ ∼ s→ ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))

r r p q r s p r →r
V V V V F F F V V V F V V
V V V F V V F V F V F V V
V V F V F F F V V V F F V
V V F F V V F V F V F V V
V f V V F F F v V V F V V
V F V F V V F V V V F V V
V F F V F F F V v V F F V
V F F F V V F V V V F V V
F V V V F F V V V V V V V
F V V F V V V V F V V V V
F V F V F F V V V V V F V
F V F F V V V V f V V V V
F F V V F F V F V V V V V
F F V F V V V F V V V V V
F F F V F F V F V V V F V
F F F F V V V F V V V V V
 Resultado de la tabla de verdad: TAUTOLOGÍA

Leyes de inferencia:

P1: 𝑟 → ¬𝑞
P2: 𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝

P4: 𝑞 …………………………Simplificación en P3
P5: 𝑝 …………………… Simplificación en P3
P6: ¬𝑟 ………………………Modus Tollendo Tollens entre P1 y P4

Conclusión: ¬𝑟

P1: 𝑝 ∨ 𝑞

P2: 𝑞 ⟶∼ 𝑟

P3: ¬𝑟 → 𝑠

P4: ∼ 𝑝

P5: 𝑠 ⟶ r

P6: p……………… silogismo disyuntivo en P1

P7: r………………. modus ponens en P5

P8: r………………. modus ponens en P6 y P7

Conclusión: r
 Conclusión

En el trabajo anterior se tuvieron en cuenta los conceptos lógicos de razonamiento abordando la

temática en general, se aplicaron las leyes de inferencia correctamente, también se tuvo en cuenta

los tipos de argumentos que al final se obtuvieron conclusiones de los tipos de razonamiento, se

analizaron métodos de validez de argumentos teniendo en cuenta que son muy fundamentales

como en las matemáticas y en lenguaje de las personas en la vida cotidiana.

 Bibliografía

Chávez, P. (2000). Compendio de logica. Patria. https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3228934&ppg=178

Villalpando, J. (2014). Matemáticas discretas: aplicaciones y ejercicios. Patria. https://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3227628