Tarea 2, Métodos para probar validez de argumentoS

Lógica Matemática

Noviembre, 2019
Introducción
El siguiente ejercicio conoceremos y aplicaremos las leyes de inferencia este taller es
realizado con el fin de identificar las diferentes reglas de inferencia y razonamientos
deductivos e inductivos, y de esta manera conocer los diferentes métodos para probar la
validez de un argumento, para la solución de los problemas utilizaremos, lenguaje
escrito, simbólico y tablas de verdad.

Objetivos

 Identificar las reglas de inferencia

 Conocer y aplicar los métodos de validez de argumentos

 Realizar la tabla de verdad y comprobar su validez mediante el simulador Lógica

Unad.

 Conocer y aplicar el lenguaje simbólico y natural

 Interpretar las proposiciones simples y proposiciones compuestas

Ejercicio 1: Conceptualización de las reglas de inferencia.

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

E) . Gabriela es neurocirujana o poeta. Gabriela no es poeta

Desarrollo
Conclusión: Gabriela es neurocirujana
Ley de inferencia aplicada: Silogismo Disyuntivo (S.D)
Lenguaje simbólico:
P˅Q
¬Q
P

Ejercicio 3: Razonamiento Deductivo e Inductivo.

Argumento: El respeto por la libertad de los demás, sin que esta afecte mi libertad, es
fundamental para la creación de una sociedad evolucionada, ya que ese respeto implica
honestidad, comprensión y entendimiento de lo que sucede en un entorno afectado por múltiples
factores sociales. Es por esto que la educación moral, ética y académica es fundamental para
que el respeto y la libertad se den como factores de creación de sociedad.

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

Desarrollo
Argumentación: El razonamiento utilizado es deductivo ya que en este caso se parte de una
situación en general como lo es el respeto y se llega a lo específico que es la creación de
sociedad a partir del respeto.

Ejercicio 4: Problemas de aplicación.

Expresión simbólica:
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑟 → 𝑠)] → (𝑝 → 𝑠)
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑟 → 𝑠
Conclusión: 𝑝 → 𝑠

Desarrollo

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: José se levanta tarde

q: Llega temprano a la escuela
r: Toma el bus de las 6 am
s: Participa en las actividades de la escuela

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

Si José se levanta tarde, entonces llega temprano a la escuela y si llega temprano a la

escuela, entonces toma el bus de las 6 am y si toma el bus de las 6 am entonces participa
en las actividades de la escuela. Por lo tanto, José se levanta tarde entonces participa en
las actividades de la escuela.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir lenguaje
simbólico.
El resultado es una tautología porque todos los resultados son verdaderos.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s (p→q) (q→r) (r→s) (p→s) (p→q)^(q→r) (p→q)^(q→r)^(r→s) (p→q)^(q→r)^(r→s)]

→ (p→s)
v v v v v v v v v v v
v v v f v v f f v f v
v v f v v f v v f f v
v v f f v f v f f f v
v f v v f v v v f f v
v f v f f v f f f f v
v f f v f v v v f f v
v f f f f v v f f f v
f v v v v v v v v v v
f v v f v v f v v f v
f v f v v f v v f f v
f v f f v f v v f f v
f f v v v v v v v v v
f f v f v v f v v f v
f f f v v v v v v v v
f f f f v v v v v v v

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

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑟 → 𝑠
Conclusión: 𝑝 → 𝑠
P4: p Silogismo hipotético en p1
P5: q Silogismo hipotético en p1
P6: r Silogismo hipotético en p3
P7: s Modus ponendo ponens en p3 y p6
P8: p→s Silogismo hipotético en p4 y p7