PENSAMIENTO LOGICO Y MATEMATICO

TAREA 4 - SUSTENTACIÓN UNIDADES 1, 2 Y 3

EDGAR ARMANDO MARIN BALLESTEROS

1101755934
GRUPO: 200611_519

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VELEZ
noviembre
2019
 Introducción

El pensamiento lógico matemático es una herramienta que nos permite la

comprensión de diversas situaciones cotidianas a través del razonamiento
lógico.

Los diagramas de Venn sirven para determinar la validez de algunos argumentos

basados en un silogismo categórico de forma estándar el cual es un argumento en
el que a partir de dos premisas se infiere una conclusión. La validez o invalidez de
un silogismo no depende del contenido,
 Objetivos

 Aprender a desarrollar silogismos y diagramas de Venn y a través

de estos determinar la validez de los tipos de argumentos.

 Explorar la importancia del pensamiento lógico matemático ya que

por medio de él podremos desarrollar nuestro razonamiento a
través de una serie de instrucciones a estudiar.

 Concluir argumentos a través de las leyes de inferencia y las

tablas de verdad para demostrar su validez.
b. Las marcas más vendidas de celulares en el momento son
Samsung, Apple y Sony. Los compradores de la ciudad de Medellín
en el primer mes del año 2019, brindaron la siguiente información:
Personas que compraron celular Samsung: 330
Personas que compraron Sony: 300
Personas que compraron Apple: 320
Por otro lado, hubo personas que compraron dos marcas de
celulares, 100 de ellas eligieron Sony y Apple, 120 Samsung y Sony.
Por último 150 personas compraron Apple y Samsung. Además, sólo
15 personas compraron las tres marcas.
U=950

SAMSUNG=330

SONY=300

APPLE=320

SAMSUNG n SONY=120

SONY n APPLE=100

SAMSUNG n APPLE=150

SAMSUNG n SONY n APPLE=15

SAMSUNG=330-105-135-15=75
 SONY=300 -105-15-85=95

APPLE=320-135-15-85=85

¿Cuántos compraron sólo Sony?

SONY=300 -105-15-85=95

 ¿Cuántos prefieren Samsung, pero no Apple ni Sony?

SAMSUNG=330-105-135-15=75
 ¿Cuántas personas prefieren Sony o Apple?
SONY n APPLE=100
  ¿Cuántas personas prefieren Sony y Apple pero no Samsung?

(SONY n APPLE) – (SAMSUNG n SONY n APPLE)=85

Ejercicio 2: Métodos para probar la validez de un argumento
B Expresión simbólica:
[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠

Premisas:
P1: 𝑟 ∨ 𝑠
P2: ¬𝑝
P3: 𝑞 ∨ ¬𝑟
P4: 𝑞 → 𝑝

Conclusión: 𝑠

p= Issa estudia en la UNAD

q= Issa ve el curso de pensamiento lógico matemático

r= Issa estudia contabilidad

s=Issa estudia en el CEAD Vélez

Lenguaje natural

(𝑟 ∨ 𝑠)= Issa estudia contabilidad o Issa estudia en el CEAD Vélez

(𝑟 ∨ 𝑠) ∧ ¬𝑝 = Issa estudia contabilidad o Issa estudia en el CEAD Vélez y Issa no estudia en la
UNAD

(𝑞 ∨ ¬𝑟) =Issa ve el curso de pensamiento lógico matemático o Issa no estudia contabilidad

(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟)= Issa estudia contabilidad o Issa estudia en el CEAD Vélez y Issa no

estudia en la UNAD y Issa ve el curso de pensamiento lógico matemático o Issa no estudia
contabilidad

(𝑞 → 𝑝)= Issa ve el curso de pensamiento lógico matemático entonces Issa estudia en la UNAD
[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] = Issa estudia contabilidad o Issa estudia en el CEAD
Vélez y Issa no estudia en la UNAD y Issa ve el curso de pensamiento lógico matemático o Issa no
estudia contabilidad y Issa ve el curso de pensamiento lógico matemático entonces Issa estudia en
la UNAD.

[(𝑟 ∨ 𝑠) ∧ ¬𝑝 ∧ (𝑞 ∨ ¬𝑟) ∧ (𝑞 → 𝑝)] → 𝑠= Issa estudia contabilidad o Issa estudia en

el CEAD Vélez y Issa no estudia en la UNAD y Issa ve el curso de pensamiento lógico
 matemático o Issa no estudia contabilidad y Issa ve el curso de pensamiento lógico
matemático entonces Issa estudia en la UNAD entonces Issa estudia en el CEAD Vélez

Tabla hecha con Simulador lógico unad

La tabla es una tautología

 Tabla hecha manualmente

p -p q r -r s 𝑟∨𝑠 (𝑟 ∨ 𝑠) (𝑞 (𝑟 ∨ 𝑠) 𝑞 [(𝑟 [(𝑟

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

p -p q r -r s 𝑟∨𝑠 (𝑟 ∨ 𝑠) (𝑞 (𝑟 ∨ 𝑠) 𝑞 [(𝑟 [(𝑟

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

V F V V F V V F V F V F V
V F V V F F V F V F V F V
V F V F V V V F V F V F V
V F V F V F V F V F V F V
V F F V F V V F F F V F V
V F F V F F F F F F V F V
V F F F V V V F V F V F V
V F F F V F F F V F V F V
F V V V F V V V V V F F V
F V V V F F V v V V F F V
F V V F V V V V V V F F V
F V V F V F V V V V F F V
F V F V F V V V F F V F V
F V F V F F F f V F V F V
F V F F v V V v F F V F V
f v F f V F f f V f V f v
La tabla es una tautología
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

 Premisas:
 P1: 𝑟 ∨ 𝑠
 P2: ¬𝑝
 P3: 𝑞 ∨ ¬𝑟
 P4: 𝑞 → 𝑝
Conclusión: 𝑠

Entre las premisas 1 y 2 aplicamos el silogismo disyuntivo para llegar a la conclusion

Para las otras aplicamos el modus ponens y asi llegamos a la conclusion

 BILIOGRAFIA

 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.action?ppg=1
5&docID=11046169&tm=1489706134764

 Colegio24hs (2004). Silogismos y falacias. (pp. 27-53) Buenos Aires:

Colegio24hs. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=2
7&docID=3157595&tm=1511207573036

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

sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.