269 Taller 2 Logica Matematica

Lógica matemática
Tarea 2 – Métodos para probar validez de argumentos
Presentado por:
Mauricio Rodríguez Ramírez cód.: 94483411
Tutor
Alexander Galindo
Grupo
90004_269
Universidad nacional abierta y a distancia (UNAD)
Escuela de ciencias agrícolas, pecuarias y del medio ambiente
CEAD Palmira
Programa de Agronomía
Noviembre de 2019
Introducción
El siguiente trabajo contiene el desarrollo de los ejercicios contenidos en la guía de la

Tarea 2 – Métodos para probar validez de argumentos, los cuales abarcan temas como
proposiciones simples y compuestas, tablas de verdad, métodos de demostración,
razonamientos lógicos, inferencia lógica y argumentos lógicos.
Objetivo
Interpretar problemas contextualizados, aplicando los métodos para probar la validez de

argumentos.
Desarrollo del Taller 2
Ejercicio 1: Conceptualización de las reglas de inferencia.
Mapa conceptual que encierre los conceptos básicos de la presente unidad que son:
 Lógica Matemática
 Leyes de la inferencia lógica
 Razonamientos Lógicos
Desarrollo:
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
A continuación, encontrará los argumentos para el desarrollo del ejercicio
Si Gabriela viaja entonces Gabriela conoceré muchas culturas. Gabriela viaja.

Conclusión: ____________________________________
Ley de inferencia aplicada: ________________________
Lenguaje simbólico: ______________________________
Desarrollo
a. Si Gabriela viaja entonces Gabriela conocerá muchas culturas. Gabriela viaja.

𝑝: Gabriela viaja
𝑞: conocerá muchas culturas
Premisa 1: 𝑝 → 𝑞
Premisa 2: 𝑝
Conclusión: 𝑞 Gabriela conocerá muchas culturas
Ley de inferencia aplicada: Ponendo Ponens (MPP)
Lenguaje simbólico: 𝑝 → 𝑞
̅̅̅̅̅̅̅̅̅̅̅
𝑞
Ejercicio 3: Razonamiento Deductivo e Inductivo
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:
La librería a la que frecuentemente va Sofía tiene el último fin de semana de cada mes
promociones; por lo que decide que a partir del próximo mes irá el último fin de
semana a comprar los libros que tanto le gustan, ahorrando así una cantidad
importante de dinero.
Desarrollo
a. Argumentación: El razonamiento utilizado es el inductivo, ya que, Sofía toma esa
decisión a partir de la observación y la experiencia al ir frecuentemente a la librería.
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:
Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝
Desarrollo
p: Mauricio quiere ser agrónomo
q: Mauricio estudia en la Unad
r: Mauricio obtiene el titulo de agrónomo
¬𝑞: Mauricio no estudia en la Unad
¬𝑟: Mauricio no obtiene el titulo de agrónomo
¬𝑝: Mauricio no quiere ser agrónomo
Razonamiento en lenguaje natural:
Si Mauricio quiere ser agrónomo entonces Mauricio no estudia en la Unad. Mauricio estudia
en la Unad o Mauricio no obtiene el titulo de agrónomo. Mauricio obtiene el titulo de
agrónomo. Por lo tanto, Mauricio no quiere ser agrónomo
p q r ¬p ¬q ¬r p?¬q q V ¬r r (p?¬q) ?(q V ¬r) [(p?¬q)?(q V ¬r) ? r] [(p?¬q)?(q V ¬r) ? r] ?¬p
V F V F V F V F V F F V
V F F F V V V V F V F V
V F V F V F V F V F F V
V F F F V V V F F F F V
F V V V F F V V V V V V
F V F V F V V V F V F V
F V V V F F V V V V V V
F V F V F V V V F V F V
Resultado de la tabla de verdad: TAUTOLOGÍA
Leyes de inferencia:
Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝
Para demostrar la valides de la conclusión tenemos:
1. Aplicar Modus Tollens en P1 y P2
P4: ¬p ∨ ¬r
2. Luego aplicamos equivalencia en P4
P5: ¬p ∨ ¬r ≡ p → ¬r
3. Finalmente aplicamos nuevamente Modus Tollens en P5 y P3
P6: ¬p
Conclusión ¬p
Conclusión
Se comprendieron y aplicaron conceptos tales como proposiciones simples y compuestas,

tablas de verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos, desarrollando ejercicios que ayudaron a entender y el tema y poder
desarrollar la guía de la tarea 2.
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=11013
570&tm=1492519542738
Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-166).

Recuperado
6000&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
485&tm=1492520387992
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado
887&tm=1496180214861

269 Taller 2 Logica Matematica

Cargado por

Copyright:

Formatos disponibles

269 Taller 2 Logica Matematica

Cargado por

Información del documento

Descripción original:

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

269 Taller 2 Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Lógica matemática

Tarea 2 – Métodos para probar validez de argumentos

Mauricio Rodríguez Ramírez cód.: 94483411

Universidad nacional abierta y a distancia (UNAD)

Escuela de ciencias agrícolas, pecuarias y del medio ambiente

El siguiente trabajo contiene el desarrollo de los ejercicios contenidos en la guía de la

Interpretar problemas contextualizados, aplicando los métodos para probar la validez de

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

Si Gabriela viaja entonces Gabriela conoceré muchas culturas. Gabriela viaja.

a. Si Gabriela viaja entonces Gabriela conocerá muchas culturas. Gabriela viaja.

Ejercicio 3: Razonamiento Deductivo e Inductivo

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:

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

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

p: Mauricio quiere ser agrónomo

q: Mauricio estudia en la Unad

r: Mauricio obtiene el titulo de agrónomo

¬𝑞: Mauricio no estudia en la Unad

¬𝑟: Mauricio no obtiene el titulo de agrónomo

¬𝑝: Mauricio no quiere ser agrónomo

Razonamiento en lenguaje natural:

p q r ¬p ¬q ¬r p?¬q q V ¬r r (p?¬q) ?(q V ¬r) [(p?¬q)?(q V ¬r) ? r] [(p?¬q)?(q V ¬r) ? r] ?¬p

Para demostrar la valides de la conclusión tenemos:

1. Aplicar Modus Tollens en P1 y P2

2. Luego aplicamos equivalencia en P4

3. Finalmente aplicamos nuevamente Modus Tollens en P5 y P3

Se comprendieron y aplicaron conceptos tales como proposiciones simples y compuestas,

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

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.

También podría gustarte