233 - Tarea - 1 - Carolina Barajas León

PENSAMIENTO LOGICO Y MATEMÁTICO
MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
PRESENTADO POR:
CAROLINA BARAJAS LEÓN.
TUTOR:
CIRO EFRAIN MARTINEZ BAEZ
GRUPO NÚMERO :200611_233
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
SEPTIEMBRE 2020
INTRODUCCIÓN
El siguiente trabajo abarca temas asociados a los métodos para probar la validez de
argumentos, utilizando esta herramienta como estrategia que permite establecer la validez
de varias propuestas, usando premisas que nos llevan a una conclusión, la cual es
consecuencia de la lógica de estas premisas.
OBJETIVOS
 Reconocer e identificar argumentos en lenguaje natural, generando tabla de verdad a

partir de un lenguaje simbólico tanto de forma manual como de forma virtual por
medio del simulador.
 Comprender las proposiciones y tablas de verdad de forma adecuada con el
propósito de crear un amplio aprendizaje en el estudiante, teniendo en cuenta
argumentos para probar la validez.
 Identificar de forma correcta las diferentes leyes de inferencia según correspondan
los resultados o conclusiones de las premisas desarrollando las tablas de verdad.
Ejercicio 1: Proposiciones y tablas de verdad:
A: p: El 2020 fue un año atípico para todo el mundo.
q: El COVID 19 afectó gran parte de la economía.
r: El COVID 19 nos hizo reinventar en muchos campos de acción.
(p v q) ˄ (p ↔ q)
p Q r pvr p↔q (p v r) ˄ (p ↔ q)
v V v v v v
v V f v v v
v F v v f f
v F f v f f
f V v v f f
f V f f f f
f F v v v v
f F f f v f
 Escriba la proposición compuesta propuesta en lenguaje natural:
El 2020 fue un año atípico para todo el mundo o, el COVID 19 afectó gran parte de
la economía, y el 2020 fue un año atípico para todo el mundo si y solo si, el COVID
19 afectó gran parte de la economía.
Y su resultado es contingencia
 Generar tabla de verdad a través del simulador Lógica UNAD
 Link de video:
https://youtu.be/dADPhg_X3XQ
Ejercicio 2 letra A.
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas
leyes de inferencia.
A) Expresión simbólica
1. r→s
r
_________
s
r= Carolina estudia lógica Matemática.

s= Carolina aprueba el curso.
 Si Carolina estudia lógica Matemática, entonces, Carolina aprueba el curso.

Carolina estudia lógica Matemática. En conclusión, Carolina aprueba el
curso.
Ley de inferencia Modus ponendo Ponems MPP
2. P→q
⌐q
_________
⌐p
P = Carolina estudia lógica Matemática.
q = Carolina aprueba el curso.
 Carolina estudia lógica Matemática, entonces, Carolina aprueba el curso.
Carolina no aprueba el curso. En conclusión, Carolina no estudia lógica
Matemática.
Ley de inferencia Modus Tollendo Tolens MTT
3. P→q
q→r
__________
P→r
P = Carolina estudia lógica Matemática.
q = Carolina aprueba el curso.
r = Carolina está feliz.
 Carolina estudia lógica Matemática, entonces, Carolina aprueba el curso.
Carolina aprueba el curso, entonces Carolina está feliz, en conclusión,
Carolina estudia lógica Matemática, entonces, Carolina está feliz.
Ley de inferencia Silogismo Hipotético
Ejercicio 3 letra A.
A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al
gimnasio
a. Conclusión: Rafael tiene un cuerpo tonificado
b. Ley de inferencia aplicada: Modus Ponendo Ponems MPP
c. Lenguaje simbólico: p → q
p
___________
q
Ejercicio 4 Expresión simbólica:
A. [ (p→⌐r) ˄ (⌐q→ p) ˄ (p˄⌐q)]→ (p ˄⌐r)
P1: p→⌐r
P2: ⌐q→ p
P3: p˄⌐q
P4: ⌐q conjunción inversa P3
P5: p MPP P2 y P4
P6: ⌐r MPP p2 y p5
Conclusión: p ˄⌐r Adjunción P5 y P6
P= Kamila estudia francés

r= Kamila tiene tiempo para jugar
q= Kamila estudia alemán
Lenguaje natural:
Si Kamila estudia francés, entonces Kamila no tiene tiempo para jugar. Y, si

Kamila no estudia alemán, entonces Kamila estudia francés. Y, Kamila estudia
francés, y Kamila no estudia alemán, finalmente, Kamila estudia francés y
Kamila no tiene tiempo para jugar.
Tabla de verdad manual
Tabla en simulador virtual

CONCLUSION
Como resultado del anterior trabajo se puede concluir que se observó un aprendizaje en el
desarrollo de métodos para probar la validez de argumentos, teniendo en cuenta
proposiciones, tablas de verdad, simulador de las mismas y reconocimiento de las
diferentes leyes de inferencia.
Por otro lado se realiza amplitud de conocimiento en la realización del lenguaje natural y
lenguaje simbólico y a partir de estas generar una tabla de verdad .
REFERENCIAS BBLIOGRAFÍCAS
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9 - 31). Ediciones Elizcom, Madrid. Recuperado
de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?
page=12
 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 https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores.
Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y
ejercicios. (pp. 28-37). México, D.F, Larousse - Grupo Editorial Patria.
Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39
 Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871
 Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869

233 - Tarea - 1 - Carolina Barajas León

Cargado por

Copyright:

Formatos disponibles

233 - Tarea - 1 - Carolina Barajas León

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

233 - Tarea - 1 - Carolina Barajas León

Cargado por

Copyright:

Formatos disponibles

PENSAMIENTO LOGICO Y MATEMÁTICO

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

 Reconocer e identificar argumentos en lenguaje natural, generando tabla de verdad a

 Escriba la proposición compuesta propuesta en lenguaje natural:

r= Carolina estudia lógica Matemática.

 Si Carolina estudia lógica Matemática, entonces, Carolina aprueba el curso.

Ley de inferencia Modus ponendo Ponems MPP

a. Conclusión: Rafael tiene un cuerpo tonificado

b. Ley de inferencia aplicada: Modus Ponendo Ponems MPP

P= Kamila estudia francés

Si Kamila estudia francés, entonces Kamila no tiene tiempo para jugar. Y, si

Tabla en simulador virtual

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

También podría gustarte