UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

LOGICA MATEMATICA
Tarea 3 – Sustentación Unidades 1 o 2

PRESENTADO POR:
STEVEN ANDRES QUESADA MARIN

GRUPO: 90004_294

PAULA ANDREA MOSQUERA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

“UNAD”

LOGICA MATEMATICA

NOVIEMBRE DE 2019
 Introducción

En el siguiente documento encontraremos lo que es la lógica

matemática, leyes de la inferencia lógica y razonamiento lógico para dar
validez a problemáticas propuestas
 Objetivos
Estudiar los conceptos básicos de proposiciones lógicas, Tablas de
verdad, Teoría de conjuntos que permitan verificar la verdad o falsedad
de proposiciones elementales.
 Determinar la verdad o falsedad de una proposición
 Utilizar los conceptos lógicos en la formación de proposiciones
compuestas
 Realizar operaciones entre conjuntos
 Ejercicio 1: Aplicación de la Teoría de Conjuntos

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.

A= Apple
B= Samsun
C= Sony

¿Cuántos compraron sólo Sony?

R/ 65 personas compraron solo Sony

(𝑩𝑼𝑨)𝒄 = 𝟔𝟓
¿Cuántos prefieren Samsung, pero no Apple ni Sony?
R/ 45 personas prefieren samsung

(𝑨𝑼𝑪)𝒄 = 𝟒𝟓

¿Cuántas personas prefieren Sony o Appel?

R/ 390 personas prefieren sony o apple

(𝑨 − 𝑪)𝑼(𝑪 − 𝑨) = 𝟓𝟓 + 𝟏𝟓𝟎 + 𝟔𝟓 + 𝟏𝟐𝟎 = 𝟑𝟗𝟎

¿Cuántas personas prefieren Sony y Appel pero no Samsung?

R/ 220 personas prefieren sony y apple pero no samsung

(𝑩)𝒄 = 𝟓𝟓 + 𝟏𝟎𝟎 + 𝟔𝟓 = 𝟐𝟐𝟎

 Ejercicio 2: Métodos para probar la validez de un argumento

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

conclusión de un argumento para el desarrollo del ejercicio 2:

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

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

p: Steven se transporta en bus

q: Steven llega temprano

r: Steven madruga

s: Steven alcanza el puesto en el bus

Steven madruga o Steven alcanza el puesto en el bus y Steven no se

transporta en bus y Steven llega temprano o no madruga y Steven llega

temprano entonces Steven se transporta en bus por tanto Steven

alcanza el puesto en el bus

Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

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

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

Premisas:
1: 𝑟 ∨ 𝑠
2: ¬𝑝
3: 𝑞 ∨ ¬𝑟
4: 𝑞 → 𝑝
________________
s

Modus tollendo tolles 4 y 2

5: 𝑞 → 𝑝 4
¬𝑝 2
________

5 ¬𝑞

Silogismo disyuntivo en 3 y 5
6: 𝑞 ∨ ¬𝑟 3
¬𝑞 5
________

6 ¬𝑟

Silogismo disyuntivo en 1 y 6
7: 𝑟 ∨ 𝑠 1
¬𝑟6
________

7 s

Conclusiones

Reforzamos los conocimientos adquiridos en la anterior unidad al dar

uso de las formas básicas de las tablas de verdad, los principios de
lógica y los razonamientos lógicos para demostrar la validez o no validez
de las situaciones problémicas propuestas
 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.actio
n?ppg=40&docID=11013570&tm=1492519542738

 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.actio
n?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) Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?ppg=59&docID=10732485&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
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.actio
n?ppg=91&docID=11230887&tm=1496180214861