88 - Tarea2 - Katherine Chaves

Encabezado: UNIDAD 2
Métodos para Probar Validez de Argumentos
Katherine Chaves Cueto
Código: 1096222231
Grupo: 90004_88
Tutor
Norberto Alejandro Vasquez
Universidad Nacional Abierta Y A Distancia UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios (ECACEN)
Administración De Empresas
Lógica Matemática
Barrancabermeja, 14 de junio de 2020
2
INTRODUCCION
En estos ejercicios conoceremos los conceptos básicos de la lógica matemática, el
razonamiento a través de los argumentos para conocer el valor de verdad. Es de suma
importancia tener claro las diferencias y los diferentes métodos que se pueden utilizar para
resolver los ejercicios propuestos en las siguientes actividades.
Veremos que es una premisa y su conclusión, cuáles son las leyes de la inferencia y otras
existentes como lo son las de equivalencia; todo esto lo analizaremos mediante un mapa
conceptual.
Realizaremos los ejercicios de aplicación de las leyes de inferencia, razonamiento
deductivo e inductivo con los ejercicios propuestos.

3
OBJETIVOS
 Desarrollar los ejercicios propuestos de aplicación de las reglas de inferencia
 Apropiar y desarrollar de manera práctica los conceptos de razonamiento deductivo
e inductivo
4
Ejercicio 1. Conceptualización de las reglas de la inferencia.
LÓGICA MATEMÁTICA
Finalidad
Es proporcionar elementos para comprobar la validez de los razonamientos.
Los razonamientos que estudia la lógica se llama argumentos.

consiste
En descubrir que es lo que hace que un argumento sea válido y constituya una inferencia correcta.
Inferencia
Es una actividad con la cual se afirma una preposición sobre otra y otras preposiciones se
aceptan como punto de partida del proceso.
Conclusión Mediante la demostración se prueba la validez; hay diversos métodos

<<< Principales:
ARGUMENTO
TABLAS DE LA VERDAD PRUEBA FORMAL DE VALIDEZ
Es el conjunto Muestra el valor de verdad

de una o más Leyes de equivalencia
de una composición
proposiciones. compuesta a través de una Son:
Se divide: tabla Ley de contraposición
Premisas CLASIFICA:
Ley del condicional
TAUTOLOGÍA sus valores
Son la resultantes son V Ley de exportación LE
evidencia o
las razones sus valores Leyes de Morgan DM
CONTRADICCIÓN
resultantes son F
que deben
convencern Leyes conmutativas LC
CONTINGENCIA Entre sus valores
os de la de la resultantes hay V y F Leyes asociativas LA
veracidad
Leyes distributivas LD
Leyes de Inferencia
Modus Ponendo Ponens MPP Modus Tollendo Tollens MTT
Modus Tollendo Ponens MTP Silogismo Hipotético SH
Silogismo disyuntivo SD Simplificación Simp
Conjunción Conj Adición Ad

5
Ejercicios 2. Aplicación de las reglas de Inferencia
C. ARGUMENTO:
Si Gabriela estudia en la UNAD entonces tiene que hacer un proyecto. Gabriela no
realizo el proyecto.
Preposiciones simples:
p: Gabriela estudia en la UNAD
q: Gabriela tiene que hacer un proyecto
Desarrollo:
Conclusión: Gabriela no estudia en la UNAD
Ley de la inferencia aplicada: Modus Tollendo Tollens
Lenguaje Simbólico: P₁: p → q
P₂: ∼ q
Q: ∼ p
6
Ejercicios 3. Razonamiento Deductivo e Inductivo
C. ARGUMENTO:
El Everest es la montaña más alta del mundo. Por lo tanto, toda otra montaña del
mundo es más baja que el Everest.
DESARROLLO:
Argumentación: El razonamiento utilizado es el DEDUCTIVO, ya que, todos conocemos
que él Everest es la montaña más alta del mundo, se deduce que las demás son más bajas.
Ejercicios 4. Problemas de Aplicación
C. Expresión Simbólica:
[(p → q) ∧ (q → ∼r) ∧ (p ∧ s)] → ∼r
Determinación de premisas:
P₁: p→q
7
P₂: q → ∼r
P₃: p ∧ s
Conclusion: ∼r
DESARROLLO.
Preposiciones simples:
p: Katherine estudia el curso de Legislación Comercial
q: Katherine participa con su grupo colaborativo de Legislación Comercial en el desarrollo
de las actividades
r: Katherine obtendrá una nota de 0 puntos
s: Katherine participa oportunamente en el foro
Razonamiento en lenguaje natural:
Si Katherine estudia el curso de Legislación Comercial entonces participa con su grupo
colaborativo de Legislación Comercial en el desarrollo de las actividades. Si participa con
su grupo colaborativo de Legislación Comercial en el desarrollo de las actividades entonces

8
no obtendrá una nota de 0 puntos. Si Katherine estudia el curso de Legislación Comercial y
participa oportunamente en el foro. Por lo tanto, no obtendrá una nota de 0 puntos.
Tabla de Verdad Manualmente:
Resultado de la tabla de verdad: TAUTOLOGIA
Tabla de Verdad con el Simulador Lógica UNAD

9
Demostración de la validez del argumento mediante leyes de la inferencia
[(p → q) ∧ (q → ∼r) ∧ (p ∧ s)] → ∼r
Determinación de premisas:
P₁: p→q
P₂: q → ∼r
10
P₃: p ∧ s
P₄: p → ∼r (Silogismo Hipotético 1-2)
P₅: p (Simplificación 3)
P₆: ∼r (Modus Ponens 4-5)

11
CONCLUSIONES
Con esta actividad se comprendió que la finalidad de la lógica es hallar o conocer la
comprobación de los razonamientos, mediante un argumento o preposiciones, estas a su vez
se dividen en premisas para hallar su conclusión.
Que existen diferentes formas de llegar a conocer el valor de la verdad, el cual lo utilizamos
mediante una tabla conocida como tabla de la verdad, que de acuerdo a su resultado lo
podemos clasificar en tautología, contradicción y contingencia. Cuando un argumento tiene
más de tres proposiciones es mejor utilizar las leyes de la inferencia ya que se comprobaría
sin a equivocaciones.
12
BIBLIOGRAFIA
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38).
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). 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).

13
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992

88 - Tarea2 - Katherine Chaves

Cargado por

Copyright:

Formatos disponibles

88 - Tarea2 - Katherine Chaves

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

88 - Tarea2 - Katherine Chaves

Cargado por

Copyright:

Formatos disponibles

Encabezado: UNIDAD 2

Métodos para Probar Validez de Argumentos

Katherine Chaves Cueto

Norberto Alejandro Vasquez

Universidad Nacional Abierta Y A Distancia UNAD

En estos ejercicios conoceremos los conceptos básicos de la lógica matemática, el

razonamiento a través de los argumentos para conocer el valor de verdad. Es de suma

resolver los ejercicios propuestos en las siguientes actividades.

Realizaremos los ejercicios de aplicación de las leyes de inferencia, razonamiento

deductivo e inductivo con los ejercicios propuestos.

 Desarrollar los ejercicios propuestos de aplicación de las reglas de inferencia

 Apropiar y desarrollar de manera práctica los conceptos de razonamiento deductivo

Es proporcionar elementos para comprobar la validez de los razonamientos.

Los razonamientos que estudia la lógica se llama argumentos.

Conclusión Mediante la demostración se prueba la validez; hay diversos métodos

Es el conjunto Muestra el valor de verdad

Modus Ponendo Ponens MPP Modus Tollendo Tollens MTT

Modus Tollendo Ponens MTP Silogismo Hipotético SH

Silogismo disyuntivo SD Simplificación Simp

Conjunción Conj Adición Ad

Si Gabriela estudia en la UNAD entonces tiene que hacer un proyecto. Gabriela no

p: Gabriela estudia en la UNAD

q: Gabriela tiene que hacer un proyecto

Conclusión: Gabriela no estudia en la UNAD

Ley de la inferencia aplicada: Modus Tollendo Tollens

Lenguaje Simbólico: P₁: p → q

mundo es más baja que el Everest.

Argumentación: El razonamiento utilizado es el DEDUCTIVO, ya que, todos conocemos

Ejercicios 4. Problemas de Aplicación

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

p: Katherine estudia el curso de Legislación Comercial

q: Katherine participa con su grupo colaborativo de Legislación Comercial en el desarrollo

r: Katherine obtendrá una nota de 0 puntos

s: Katherine participa oportunamente en el foro

Razonamiento en lenguaje natural:

Si Katherine estudia el curso de Legislación Comercial entonces participa con su grupo

colaborativo de Legislación Comercial en el desarrollo de las actividades. Si participa con

su grupo colaborativo de Legislación Comercial en el desarrollo de las actividades entonces

participa oportunamente en el foro. Por lo tanto, no obtendrá una nota de 0 puntos.

Tabla de Verdad Manualmente:

Resultado de la tabla de verdad: TAUTOLOGIA

Tabla de Verdad con el Simulador Lógica UNAD

Demostración de la validez del argumento mediante leyes de la inferencia

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

P₄: p → ∼r (Silogismo Hipotético 1-2)

P₆: ∼r (Modus Ponens 4-5)

Con esta actividad se comprendió que la finalidad de la lógica es hallar o conocer la

comprobación de los razonamientos, mediante un argumento o preposiciones, estas a su vez

se dividen en premisas para hallar su conclusión.

podemos clasificar en tautología, contradicción y contingencia. Cuando un argumento tiene

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-

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

También podría gustarte