1

LOGICA MATEMATICA

TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

TRABAJO INDIVIDUAL.

PRESENTADO POR:

YEISON ARLEY MAYORGA ACUÑA

GRUPO: 90004_919

TUTOR:

OSCAR JAVIER SOTELO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

SOATA-BOYACÁ

ABRIL 2019
 2

INTRODUCCION

El presente trabajo consta de cuatro ejercicios; cada estudiante debe seleccionar una letra (a,
b, c, d o e), así en cada ejercicio el estudiante seleccionará y desarrollará lo solicitado en la
descripción del ejercicio. Además, anunciará la letra seleccionada en el foro correspondiente, de
tal forma que no coincida con selección de otro compañero.

El estudiante debe acceder a los diferentes documentos bibliográficos y de apoyo temático.

Entorno de Aprendizaje Colaborativo. Espacio en el que se dan acciones de interacción y
socialización académica con los compañeros del grupo colaborativo y el tutor asignado.
 3

OBJETIVOS

 Conceptualización de las reglas de inferencia

 Aplicación de las reglas de la inferencia lógica

 Razonamiento deductivo e inductivo

 Problemas de aplicación
 4

DESARROLLO

EJERCICIO 1

MAPA CONCEPTUAL

CONCEPTUALIZACIÓN DE LAS REGLAS

e
DE INFERENCIA

Lógica Matemática Leyes de la inferencia Razonamientos Lógicos

lógica

Es la disciplina que trata Es una forma lógica que Es un proceso mental

de métodos de razonamiento, consiste en una función que que implica la aplicación de

se emplea en matemáticas toma premisas, analiza su la lógica, se puede hacer a

para demostrar teoremas, sintaxis y devuelve una partir de una observación o

cuestiona los conceptos y las conclusión. de una hipótesis

reglas de deducción que son  Modus tollendo tollens

 Modus ponendo ponus
utilizadas en las matemáticas  Silogismo disyuntivo
EJERCICIO  Dilema constructivo
y esto constituye a la lógica2: Aplicación de las reglas de la inferencia Lógica.

una verdadera
d. temática.
Si hoy vendo gomitas a mis amigos, entonces tendré dinero. Si tengo dinero entonces puedo

comprar un juego.

Conclusión: Si hoy vendo gomitas a mis amigos, entonces hoy puedo comprar un juego.

Ley de inferencia aplicada: Ley del silogismo hipotético

Lenguaje simbólico: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)

 5

EJERCICIO 3: Razonamiento deductivo e inductivo

d. James Clerk Maxwel dice:”

Todas las ciencias matemáticas se basan en las relaciones entre las leyes físicas y las leyes de
los números, por lo que el objetivo de la ciencia exacta es reducir los problemas de la naturaleza a
la determinación de cantidades mediante las operaciones con números “.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

- Identificar si el razonamiento es deductivo o inductivo.

- Argumentar la respuesta con sus propias palabras.

ARGUMENTO: El razonamiento utilizado es el afirmativo ya que Todas las ciencias

matemáticas se basan en las relaciones entre las leyes físicas y las leyes de los números y a lo

largo de los años hemos podido apreciar que el objetivo de la ciencia exacta es reducir los

problemas de la naturaleza a la determinación de cantidades mediante las operaciones con

números haciendo que estas sean presisas.

 6

EJERCICIO 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

d. Expresión simbólica: [(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ (𝑠 ∧ 𝑟)] → ¬𝑞

Premisas: P1: ¬𝑝 → ¬𝑟 P2: ¬𝑝 → ¬𝑟 P3: 𝑠 ∧ 𝑟

Conclusión ¬𝑞

A partir de la expresión simbólica seleccionada, el estudiante deberá:

- 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: yeison estudia en la UNAD

q: la UNAD es una Universidad a Distancia
r: no ha realizado los trabajos.
s: no pasara las materias.

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

proposiciones simples deben ser de autoría de cada estudiante.

[(¬𝑝 → ¬𝑟) ∧ (𝑠 → ¬𝑞) ∧ (𝑠 ∧ 𝑟)] → ¬𝑞

Yeison estudia en la UNAD ENTONCES no ha realizado los trabajos NO pasara las

materias. ENTONCES la UNAD es una Universidad a Distancia NO pasara las materias. NO ha

realizado los trabajos. ENTONCES la UNAD es una Universidad a Distancia

 7

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

p q r s ((~p→~r)∧(s→~q)∧(s∧r))→~q
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 ¬r (¬𝑝 (𝑠 → (𝑠 ∧ → [(¬𝑝

→ ¬𝑞) 𝑟) ¬𝑞 → ¬𝑟)

¬𝑟) ∧ (𝑠 →

¬𝑞) ∧

(𝑠 ∧

𝑟)] →

¬𝑞
 8

V V V V F F V V V V V

V V V F F F V V V V V

V V F V F V V V V V V

V V F F F V V F V F V

V F V V F F F V V F V

V F V F F F F V F F V

V F F V F V F V V F V

V F F F F V F F F F V

F V V V V F V V V F V

F V V F V F V V V F V

F V F V V V V V V V V

F V F F V V V F V F V

F F V V V F V V V F V

F F V F V F V V F F V

F F F V V V V V V V V

F F F F V V V V F F V

La tabla es una tautología.

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

P1: ¬𝑝 → ¬𝑟

P2: ¬𝑝 → ¬𝑟

P3: 𝑠 ∧ 𝑟

P4: ¬𝑞 Silogismo constructivo: p1, p2, p3. Conclusión.

 9

CONCLUSION

Gracias a lo anterior solucionado he podido entender que los argumentos deben cumplir con

la condición de poder ser verdadero o falso. A de más he podido comprender que los conectivos

lógicos sirven para unir dos o más proposiciones simples y generar una proposición compuesta y

lo cual Mediante el valor de verdad de cada proposición simple podemos determinar el valor de

verdad de un argumento.
 10

REFERENCIAS BIBLIOGRÁFICAS:

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

Editorial Patria. (pp. 29-38)

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

- 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)

- 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)

- Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]

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

Grupo Editorial Patria. (pp. 80-84)

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

- 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)

- Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]