Lógica Matemática

Tarea 2 - Métodos para probar validez de argumentos

Grupo
90004_58

Jonathan Arias Velásquez

Código: 1026254766

Administración de Empresas

Tutor del curso

José Rafael Bochica Gonzales

Octubre 2019
 INTRODUCCIÓN

La lógica matemática, es una competencia que permite a las personas

razonar acerca de problemas y ayuda a buscar soluciones para los
mismos no solo se trata de resolver fórmulas y operaciones complejas
sino que también es aplicable a las eventualidades que suceden en la
vida cotidiana, con la Lógica pretendemos estudiar ciertos principios
importantes para el estudio de la matemática, podemos comprender el
significado de una proposición que es una oración declarativa completa
con un significado bien definido y de la cual podemos decir que es
verdadera o falsa. El presente trabajo se muestra un estudio de las
proposiciones, su clasificación, el uso de los conectivos lógicos, la
construcción de tablas de verdad para evaluar el grado de verdad de
una proposición, se encuentra plasmado por fases donde se ve el uso y
aplicación de los casos anteriormente mencionados.
 OBJETIVOS

Aplicar los conocimientos adquiridos en la segunda unidad, identificando

los tipos de razonamiento que estudiamos en esta unidad, realizando los
razonamientos en lenguaje natural, simbólico y analizando la validez de
las conclusiones y la demostración por inferencias y tablas de verdad.
 Mapa conceptual
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica

Si conduzco mi vehículo entonces manejo prudentemente. Si manejo

prudentemente entonces evitaré accidentes.

Desarrollo:

Proposiciones

Premisas:

p= conduzco mi vehículo

q= manejo prudentemente

r= evito accidentes

Conclusión: Conduzco mi vehículo.

Ley de inferencia aplicada: Silogismo Hipotético (SH)

Lenguaje simbólico:

p ↔(q ↔ r)
Ejercicio 3: Razonamiento Deductivo e Inductivo

Argumento: c. Gabriela dice que la arquitectura es el estudio del arte

de habitar un espacio, por ende, considera que se debe definir de
acuerdo con el entorno, el clima, optimizando el área a construir,
dándole utilidad a cada metro cuadrado y con el propósito de
modernizar de una manera sobria la zona en la que el proyecto
arquitectónico será ejecutado.

Argumentación:

El razonamiento utilizado es deductivo, ya que a partir de las

observaciones de Gabriela sobre la arquitectura, habitar un espacio,
este debe ser un lugar adecuado, optimizando el área sin ningún
percance, evaluando cada metro cuadrado y espacio para poder
construir o ejecutar el proyecto.
Ejercicio 4: Problemas de aplicación

Expresión simbólica:

c.: [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ¬ (𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → s

Determinación de Premisas:
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)

P2: ¬ (q ∧ r)

P3: p → s
Conclusion: s

Desarrollo:

 Proposiciones simples:
p: Mara es estudiante

q: Mara estudia en la Unad

r: Mara es juiciosa

s: Mara obtiene buenas calificaciones

 Razonamiento en lenguaje natural:

Mara es estudiante o, estudia en la Unad y es juiciosa, y mara no

estudia en la unad ni es juiciosa, y es estudiante entonces obtiene
 buenas calificaciones, mara o estudia en la unad y es juiciosa, y es
estudiante, por lo tanto obtiene buenas calificaciones.

 Generar la tabla de verdad manualmente:

p q r s (q^ (pv((q (~((q^ (((pv (p→ ((((pv((q^ (((((pv((q^r))))^(~((q^r)))

r) ^r))) r))) ((q^r))) s) r))))^ )^((p→s)))→s)
) (~((q^r)))
^(~((q^ )^
r)))) ((p→s)))
F F F F F F V F V F V
F F F V F F V F V F V
F F V F F F V F V F V
F F V V F F V F V F V
F V F F F F V F V F V
F V F V F F V F V F V
F V V F V V F F V F V
F V V V V V F F V F V
V F F F F V V V F F V
V F F V F V V V V V V
V F V F F V V V F F V
V F V V F V V V V V V
V V F F F V V V F F V
V V F V F V V V V V V
V V V F V V F F F F V
V V V V V V F F V F V

 Resultado de la tabla de verdad: TAUTOLOGÍA, ya que todos los

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

p q r s ((p∨(q∧r))∧~(q∧r)∧(p→s))→s
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

Leyes de inferencia:

P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ¬ (q ∧ r)
P3: p → s
P4: s
Conclusion: s

Modus Ponendo Ponens (PP) en p3 y p4

Modus Tollendo Tollens (TT) en p2
Modus Tollendo Ponens (TP) en p1 y p2
 CONCLUSIONES

Con la realización del trabajo observamos que cada evento es descrito y

realizado con lenguaje específico el cual si no se transmite con
coherencia no podrá ser entendido por el emisor.

Por medio de elementos gráficos se puede expresar diferentes

expresiones, permitiendo la interpretación visual de muchas situaciones
y de qué forma se relacionan. Además observamos cuán importante es
la lógica en nuestra vida cotidiana, aprendimos el concepto de
proposición, la forma en que se pueden formar proposiciones
compuestas usando los conectores lógicos, representamos enunciados
por medio de simbología lógica.

Con la lógica matemática podemos realizar relacionamientos entre las

distintas proposiciones, esto nos permite crear nuevas formas de
resolver problemas en distintas áreas incluso de nuestra vida diaria.
 BIBLIOGRAFIA

 Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-

6). México, D.F.: Grupo Editorial Patria. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.a
ction?ppg=13&docID=3227286&tm=1531172313538 consultado
el: 20 de octubre de 2019 a las 18hrs
 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 http://bibliotecavirtual.unad.edu.co:2460/lib/u
nadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924 consultado el día
25 de octubre de 2019 a las 20hrs
 Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México:
Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.ac
tion?ppg=15&docID=11046169&tm=1489706134764 consultado
el día 27 de octubre de 2019 a las 20hrs
 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.ac
tion?ppg=40&docID=11013570&tm=1492519542738 consultado
el dia 20 de octubre de 2019 a las 21hrs
 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.ac
 tion?ppg=178&docID=11046000&tm=1492520104862 consultado
el día 27 de octubre de 2019 a las 20hrs

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84)
Recuperado
de  http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.ac
tion?ppg=91&docID=11230887&tm=1496180214861 consultado
el dia 28 de octubre de 2019 a las 23 hrs
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. Recuperado
de http://hdl.handle.net/10596/6559
 Gutiérrez, W. (2016). Validez de un argumento. Recuperado
de http://hdl.handle.net/10596/6543
 Castaño, C. (2016). Razonamientos Lógicos. Recuperado
de http://hdl.handle.net/10596/6548 consultado el día 28 de
octubre de 2019 a las 23hrs