1

Ejercicio 2 métodos para probar la validez de argumentos

Sonia Sánchez vega

Universidad Nacional Abierta y a Distancia-UNAD

Notas de autor

Sonia Sánchez vega Universidad Nacional Abierta Y a Distancia-UNAD

La correspondencia relacionada con este taller debe ser dirigida a Sonia Sánchez vega

Universidad Nacional Abierta y a Distancia-UNAD, Cra. 1 No. 31-30 Barrio el Cunduy

Florencia Caquetá

Contacto: soniaavega-@hotmail.com
 2

Introducción

El contenido de este trabajo se busca dar conocer las Proposiciones simples y compuestas,

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

lógica inductiva deductiva y argumentos lógicos.

 3

Objetivos

 Es dar a conocer la conceptualización reglas de inferencia

 Aplicación de las reglas de inferencia modo poniendo ponens, modo tullendo tollens,

modo tullendo ponens.

 Razonamientos inductivos

 Y problemas de aplicación
 4

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

CONCEPTOS BÁSICOS DELA PRESENTE

UNIDAD

LÓGICA MATEMÁTICA LEYES DE INFERENCIA RAZONAMIENTO LOGICOS

Son formas de argumentos, cuya Es el proceso mental donde se

Es el lenguaje que abarca las
validez puede ser demostrada aplica, aquí a partir de premisas
herramientas necesarias por medio
mediante tablas de verdad. Estas llegamos a una conclusión que será
de las cuales se pueden afirmar o
leyes permiten establecer determinada como verdadera, falsa o
negar un razonamiento matemático
conclusiones validas con base a posible.
y estudia métodos de análisis y
otras premisas.
razonamientos y nos ayuda a
establecer criterios de verdad
equivalencias lógicas. SE DIVIDE EN 3 PARTES QUE SON
LAS LEYES SE DIVIDE EN 4

 razonamiento inductivo
SE DIVIDE EN 4 SUBCAMPOS
 Modo poniendo ponens  razonamiento deductivo
 Modo tullendo tollens  silogismo
 Modo tullendo ponens
 Teoría de modelos  Silogismo hipotético
 Teoría de la de mostración
 Teoría de conjuntos
 Teoría de los sistemas
formales.
 5

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

C. En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay mucho viento.

 Conclusión: en agosto puedo elevar cometas

 Ley de inferencia aplicada: modo ponendo ponens (mpp)

 Lenguaje simbólico: P Q

Ejercicio 3: Razonamiento Deductivo e Inductivo

C. Rafael Nadal tenista español, está considerado como uno de los mejores tenistas de la

historia y el mejor de todos los tiempos en pistas de tierra europea. Hasta la fecha ha sido

campeón de 17 torneos de Grand Slam, lo que le coloca como el segundo jugador

profesional con más títulos "grandes" en la historia del tenis, tras el suizo Roger Federer.

Se concluye que si éste año no juega Roger Federer en Wimbledon el ganador de éste

torneo será Rafael Nadal.

 El razonamiento utilizado es deductivo

 Argumentación: es un modo de razonar mediante el cual a partir de informaciones,

casos o criterios generales para llegar a una conclusión particular el razonamiento

utilizado es deductivo ya que se concluye que si este año no juega Roge federer en

Wimbledon el ganador de este torneo será Rafael Nadal

 6

Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [ ( p → ¬r ) ∧ ( q → p ) ∧ ( r ∧q )] →(rvq )

p- estudiantes de la uniminuto estudian psicología

r- matricularon el curso de ingles

q- matricularon el curso de matemáticas

Si los estudiantes de la uniminuto estudian psicología entonces no matricularon inglés. Y si

matricularon el curso de matemáticas entonces son estudiantes de la uniminuto que estudian

psicología, y si matricularon inglés y matricularon matemáticas entonces matricularon e inglés o

matricularon matemática
 7

P q r ¬r (P-˃¬R) (Q˗˃P (P-˃¬r)˄(q-˃ p) (r˄q) [(p-˃¬r)^(q˗˃p)˄(r˄q)] (r˅q) [(p-˃¬r)(q-˃p)˄(r˄q)]-˃ (r˅q)

)
v v v f f v f v f v v
v v f v v v v f f v v
v f v f f v f f f v v
v f f v v v v f f f v
f v v f v f f v f v v
f v f v v f f f f v v
f f v f v v v f f v v
f f f v v v v f f f v

Taulalogica.
 8

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

p₁ = p>¬r conclusión= r˅q

p₂ = q˃ p

p₃ = r^q

p₄ = r simplificación p₃

p₅ = q simplificación p₃

p₆ = r˅q ley de la adicción p₄, p₅

p₇ =p modo ponendo ponen p₂, p₅

 9

REFENCIAS

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

Editorial Patria. (pp. 29-38). Recuperado

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

ppg=40&docID=11013570&tm=1492519542738

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

Editorial Patria. (pp. 29-38). Recuperado

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

ppg=40&docID=11013570&tm=1492519542738

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

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

ppg=59&docID=10732485&tm=1492520387992

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado

dehttp://hdl.handle.net/10596/6548