Lógica Matemática

Betty Dayana Padilla Flores

Curso 90004A – Métodos Para Probar La Validez De Argumentos

Grupo 614

Tutor:

Sandra Patricia Montenegro

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Agrícolas Pecuarias y De Medio Ambiente - ECAPMA

Programa de Agronomía

Pasto

2019
 Introducción

Mi trabajo lo realice con el fin de desarrollar todos los ejercicios de la letra D planteados

dando a conocer el razonamiento que prueba la validez de un nuevo conocimiento, observar los

razonamientos lógicos, leyes de la inferencia, y argumentos lógicos por medio de la tabla de la

verdad.
 Objetivos

Objetivo general:

Conocer los métodos para probar la validez de argumentos.

Objetivos específicos:

 Desarrollar los trabajos del razonamiento lógico las leyes de inferencia, razonamiento

inductivo y deductivo y realizar en la simbolización correspondiente.

 Realizar los ejercicios de la tabla de la verdad y definir sus argumentos.

 Desarrollar todos los ejercicios correctamente y lograr un buen desempeño.

 LOGICA

MATEMATICA

La disciplina que trata métodos de

razonamiento en un nivel elemental

Extensión o

numeración
Nos permite utilizar los conjuntos comprensión
TEORIA DE
La cual como herramienta para analizar clasificar
CONJUNTOS Diagramas de venn
y ordenar los conocimientos

Descripción natural

y simbólica
Tautología: siempre será verdadera.

Puede determinarse como

LOGICA Contradicción: preposición que siempre es falsa
verdadera o falsa existe para los valores de verdad.
PROPOSICIONAL

Conjunción: formula falsa o verdadera

Conectores: no, y, o, entonces, si y solo sí.

Por cada variable

un instrumento para
TABLAS DE LA proposicional las combinaciones
son probar la validez de nuestros
VERDAD de 1 y 0 se doblan
razonamientos

. para p son dos, para p y q son

cuatro para p q y r son ocho y así
Modus ponens
sucesivamente

LEYES DE INFERENCIA Regla de inferencia T1

son
Regla de inferencia T2

Regla de sustitución

Regla de premise
TIPOS DE
Regla de conjunción
RAZONAMIENTO

inductivo Hipotético transductivo

deductivo
Se parte de la deductivo Se basa en combinar
Se basa en la creencia en Uno de los que más se
información particular para informaciones un
una premisa o afirmación ciñe a la realidad y a la
llegar a una conclusión argumento teoría o
universal para llegar a obtener comprobación de las
general conclusión
una conclusión. premisas
 Ejercicio 2
d. Leo las rúbricas detalladamente o tengo dificultades para realizar los ejercicios
correctamente. Si leo las rúbricas detalladamente entonces realizaré un buen trabajo. Si tengo
dificultades para realizar los ejercicios correctamente entonces obtendré una mala nota.
D. Conclusión: __ Si tengo dificultades para realizar los ejercicios correctamente entonces
obtendré una mala nota.

Ley de inferencia aplicada: silogismo disyuntivo

Lenguaje simbólico: ______________________________

p ∨q

p →r

q→s

p ∨q
´

EJERCICIO 3

D. Manejar carro es una actividad que requiere estar atento, evitar distraerse con el celular, la
pantalla del vehículo o con los pasajeros. Por lo cual la atención debe estar enfocada en la vía, los
transeúntes, vehículos circundantes y los límites de velocidad, por ende, se puede estipular que
manejar vehículo es una actividad riesgosa.

RESPUESTA: el razonamiento es inductivo ya que de lo especifico se llega a lo general es

una probabilidad que debido a que manejar carro la atención debe estar enfocada en la vía,
por ende se puede estipular que manejar carro es una actividad riesgosa como puede ser
que no.
 Ejercicio 4

Expresión simbólica:

d . [( r → ¬q ) ∧ ( ¬q → s ) ∧ ( p ∧ ¬ s ) ] →¬ r

Premisas:

P1:r →¬ q

P2: ¬ q → s

P3: p ∧¬ s

Conclusión: ¬ r

Desarrollo:

 Proposiciones simples:

p: Alex quiere terminar pronto su carrera de la universidad

q: Alex quiere ingresar a una especialización de oncología
r: Alex quiere terminar pronto su carrera de la universidad
s: Alex tiene claro que la fisiopatología es lo más necesario para diagnosticar una enfermedad

 Razonamiento en lenguaje natural:

Si Alex quiere terminar pronto su carrera de la universidad entonces Alex no quiere ingresar a
una especialización de oncología, y Alex no quiere ingresar a una especialización de oncología,
entonces si Alex tiene claro que la fisiopatología es lo más necesario para diagnosticar una
enfermedad. Y Alex quiere terminar pronto su carrera de la universidad y Alex no tiene claro que
la fisiopatología es lo más necesario para diagnosticar una enfermedad, por lo tanto, Alex no
quiere terminar pronto su carrera universitaria.
  Generar la tabla de verdad manualmente:

[ ( r →¬ q ) ∧ ( ¬ q → s ) ∧ ( p ∧¬ s ) ] → ¬r

( ( (r→(~q)
(r (r→(~
r ~ ( ( ^(~q)→s)^
→(~q q)^(~q)
 Resultado ¬ q→deq)
r q s depla tabla verdad: ~s p^( (~r)
)^(~q) →s)^(p^ (p^(~s)→(
(~ → ) ~s)
→s) (~s)
q) s) ~r)
F F F F V V F F V F F V V
F F F V V V F F V V F V V
F F V F V V V V F F F V V
F F V V V V V V F F F V V
F V F F F V V V V F F V V
F V F V F V V V V V F V V
F V V F F V V V F F F V V
F V V V F V V V F F V F V
V F F F V V F F V F F F V
V F F V V V F F V V F F V
V F V F V V V V F F F F V
V F V V V V V V F F F F V
V V F F F F V F V F F F V
V V F V F F V F V V F F V
V V V F F F V F F F F F V
V V V V F F V V F V V V V

TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

 Leyes de inferencia:

Leyes de inferencia:
Premisas:

P1: r →¬ q

P2: ¬ q → s

P3: p ∧¬ s

Conclusión: ¬ r ∧¬ s

P4: p Simplificación (1)

P5: ¬ q Simplificación (1)

P6: → s MPP (2) y (4)

P7: ¬ s MTP (3) y (6)

Conclusiones
Gracias al desarrollo de los ejercicios métodos para probar la validez de argumentos, pude

afianzar mis conocimientos teniendo una información clara y precisa.

Gracias a este trabajo que he realizado doy a conocer el aprendizaje que he obtenido en aquellos

ejercicios y mi mas grande motivación hacia la carrera que escogido.

Este trabajo lo he realizado con el fin de expresar el logro que he obtenido de desarrollar

habilidades y destrezas de aquel tema para poder continuando con mi programa de formación.

Bibliografía

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

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

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

ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166).

Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=178&docID=11046000&tm=1492520104862

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

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

ppg=59&docID=10732485&tm=1492520387992