UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

TUTOR: LEONARDO FABIO GARCIA

GRUPO: 200611A_363

ANDREA CRISTINA CHAVES

C.C. 1.087.959.756

PASTO-NARIÑO 13 DE DICIEMBRE 2017

 OBJETIVOS

 Comprender y aplica los elementos y las propiedades operativas de la teoría general

de conjuntos en la solución de problemas debidamente contextualizados.
 Identificar y utilizar en forma clara las reglas de inferencia lógica por inducción y
deducción en formulaciones y demostraciones de razonamientos válidos en
situaciones específicas del mundo real
 Interpreta y relaciona expresiones del lenguaje simbólico y del lenguaje natural,
permitiéndole el desarrollo estructural de proposiciones.
 INTRODUCCIÓN

En el presente trabajo podemos encontrar el resultado de los ejercicios del proceso de

solución de una situación polémica de la teoría de conjuntos, proceso de solución de una
situación problémica del uso de las tablas de verdad en la interpretación del lenguaje natural,
proceso operativo a través de la tabla de verdad y de la aplicabilidad de las leyes de inferencia
de la resolución y demostración de la validez del enunciado polémico del argumento
seleccionado. De la misma manera se observa el pantallazo como evidencia de la
comprobación a través del simulador TRUTH, donde se tuvo en cuenta que el desarrollo de
las habilidades de pensamiento lógico y matemático.
1. SITUACIONES PROBLÉMICAS DE LA OPERATIVIDAD ENTRE
CONJUNTOS, ELIJO EL EJERCICIO 4 DEL ANEXO.

4. En una encuesta realizada por una empresa de Telecomunicaciones a un grupo de 26

personas que han realizado al menos una llamada, sea ésta local, nacional o internacional, se
obtuvo la siguiente información: 23 personas han realizado llamadas nacionales o
internacionales. 5 personas han hecho llamadas locales y nacionales. 12 personas han hecho
llamadas internacionales, pero no locales. El número de personas que han hecho sólo
llamadas nacionales es igual al doble de personas que han hecho sólo llamadas
internacionales y locales, pero no nacionales.

Entonces, ¿el número de personas que han hecho llamadas locales es?

L: Llamadas locales

N: Llamadas nacionales

I: Llamadas internacionales

Se sabe que: Todas las llamadas

𝐴 + 𝐵 + 𝐶 + 𝑥 + 𝑧 + 𝑦 + 𝑤 = 26

Entre llamadas nacionales e internacionales:

𝐴 + 𝐶 + 𝑥 + 𝑧 + 𝑦 + 𝑤 = 23

Se tiene que llamadas locales y nacionales:

𝑤+𝑥=5
Que han hecho llamadas internacionales, pero no locales:

𝐶 + 𝑧 = 12

Y que han hecho sólo llamadas nacionales es igual al doble de personas que han hecho sólo
llamadas internacionales y locales, pero no nacionales:

𝐴 = 2𝑦

Procedemos a hallar la cantidad de personas que han hecho llamadas locales:

Sabemos que llamadas nacionales e internacionales hay un total de 23 y que el total de

llamadas registradas son 26 por lo que, podemos dar valor a las llamadas solamente locales:

𝐴 + 𝐵 + 𝐶 + 𝑥 + 𝑧 + 𝑦 + 𝑤 = 26

𝐵 + (𝐶 + 𝐴 + 𝑥 + 𝑧 + 𝑦 + 𝑤) = 26

𝐵 + 23 = 26

𝐵=3

Ahora se tiene llamadas locales y nacionales son 5, por lo que conocemos dicho dato: 𝑤 +
𝑥 = 5.

Se busca el valor de y para conocer el total de llamadas locales:

𝐴 + 𝐶 + 𝑥 + 𝑧 + 𝑦 + 𝑤 = 23

𝐴 + (𝐶 + 𝑧) + 𝑦 + (𝑤 + 𝑥) = 23
𝐴 + 12 + 𝑦 + 5 = 23

Pero sabemos que 𝐴 = 2𝑦

2𝑦 + 12 + 𝑦 + 5 = 23

3𝑦 = 23 − 17

3𝑦 = 6
6
𝑦=
3
𝑦=2

Ahora tenemos el valor de todos los elementos de las llamadas locales:

𝐿 = 𝐶 + (𝑤 + 𝑥) + 𝑦

𝐿=3+5+2

𝐿 = 10

El número de personas que han hecho llamadas locales es 10 personas.

 2. SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL, ELIJO
EL EJERCICIO 6.

6. Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son acogidos
por la Protectora. Pero el perrito es abandonado, también el caballo. Luego, tanto el perrito
como el caballo son acogidos por la Protectora.

𝑝: 𝐸𝑙 𝑝𝑒𝑟𝑟𝑖𝑡𝑜

𝑞: 𝐸𝑙 𝑐𝑎𝑏𝑎𝑙𝑙𝑜

𝑟: 𝑠𝑜𝑛 𝑎𝑏𝑎𝑛𝑑𝑜𝑛𝑎𝑑𝑜𝑠

𝑠: 𝑎𝑐𝑜𝑔𝑖𝑑𝑜𝑠 𝑝𝑜𝑟 𝑙𝑎 𝑃𝑟𝑜𝑡𝑒𝑐𝑡𝑜𝑟𝑎

Proposiciones simples
El perrito
El caballo
Son abandonados
Acogidos por la Protectora
Proposiciones compuestas
El perrito y el caballo
El perrito y el caballo, como mascotas son abandonados
Si el perrito y el caballo, como mascotas son abandonados, entonces son acogidos por la
Protectora
El perrito es abandonado, también el caballo
El perrito como el caballo
Luego, tanto el perrito como el caballo son acogidos por la Protectora

Lenguaje formal del enunciado:

{[(𝒑⋀𝒒) ⋀𝒓] → 𝒔} ⋀ [(𝒑 → 𝒓) ⋀ (𝒒 → 𝒓)] → [(𝒑⋀𝒒) → 𝒔]
 p⋀ (p⋀q) [(p⋀q)⋀r] p→ q→ (p→r)⋀(q {[(p⋀q)⋀r]→s}⋀[(p→r)⋀(q [(p⋀q)→ {[(p⋀q)⋀r]→s}⋀[(p→r)⋀(q→r)]→[(p⋀
p q r s q ⋀r →s r r →r) →r)] s] q)→s]
V V V V V V V V V V V V V
V V V F V V F V V V F F V
V V F V V F V F F F F V V
V V F F V F V F F F F F V
V F V V F F V V V V V V V
V F V F F F V V V V V V V
V F F V F F V F V F F V V
V F F F F F V F V F F V V
F V V V F F V V V V V V V
F V V F F F V V V V V V V
F V F V F F V V F F F V V
F V F F F F V V F F F V V
F F V V F F V V V V V V V
F F V F F F V V V V V V V
F F F V F F V V V V V V V
F F F F F F V V V V V V V
3. SITUACIONES PROBLÉMICAS DE LA VALIDEZ DEL RAZONAMIENTO
LÓGICO, ELIJO EL EJERCICIO 14.

13. Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces la fiesta
de graduación tendría que cancelarse y los estudiantes se enojarían. Si la fiesta se cancelara,
habría que devolver el dinero. No se devolvió el dinero. Por lo tanto, el Rector pudo dar el
discurso.
𝑝: 𝐸𝑙 𝑟𝑒𝑐𝑡𝑜𝑟 𝑝𝑢𝑑𝑜 𝑑𝑎𝑟 𝑒𝑙 𝑑𝑖𝑠𝑐𝑢𝑟𝑠𝑜
𝑞: 𝐿𝑜𝑠 𝑑𝑖𝑝𝑙𝑜𝑚𝑎𝑠 𝑙𝑙𝑒𝑔𝑎𝑛 𝑎 𝑡𝑖𝑒𝑚𝑝𝑜
𝑟: 𝐿𝑎 𝑓𝑖𝑒𝑠𝑡𝑎 𝑑𝑒 𝑔𝑟𝑎𝑑𝑢𝑎𝑐𝑖ó 𝑡𝑖𝑒𝑛𝑒 𝑞𝑢𝑒 𝑐𝑎𝑛𝑐𝑒𝑙𝑎𝑟𝑠𝑒
𝑠: 𝐿𝑜𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑠𝑒 𝑒𝑛𝑜𝑗𝑎𝑟í𝑎𝑛
𝑡: 𝐻𝑎𝑏𝑟í𝑎 𝑞𝑢𝑒 𝑑𝑒𝑣𝑜𝑙𝑣𝑒𝑟 𝑒𝑙 𝑑𝑖𝑛𝑒𝑟𝑜
((~𝒑 ∨ ~𝒒) → (𝒓 ∧ 𝒔)) ∧ (𝒓 → 𝒕) ∧ ~𝒕 → 𝒑

Leyes de inferencia

1. (~𝑝 ∨ ~𝑞) → (𝑟 ∧ 𝑠)
2. 𝑟 → 𝑡
3. ~𝑡
4. ~𝑟 𝑀𝑜𝑑𝑢𝑠 𝑇𝑜𝑙𝑙𝑒𝑛𝑑𝑜 𝑇𝑜𝑙𝑙𝑒𝑛𝑠 2 𝑦 3
5. ~(𝑝 ∧ 𝑞) → (𝑟 ∧ 𝑠)𝐿𝑒𝑦 𝑑𝑒 𝑀𝑜𝑟𝑔𝑎𝑛 1
6. (𝑝 ∧ 𝑞) ∨ (𝑟 ∧ 𝑠)𝐿𝑒𝑦 𝑑𝑒𝑙 𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙 5
7. [(𝑝 ∧ 𝑞) ∨ 𝑟] ∧ [(𝑝 ∧ 𝑞) ∨ 𝑠]𝐿𝑒𝑦 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑡𝑖𝑣𝑎 6
8. (𝑝 ∧ 𝑞) ∨ 𝑟 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖ó𝑛 7
9. 𝑝 ∧ 𝑞 𝑇𝑜𝑙𝑙𝑒𝑛𝑑𝑜 𝑃𝑜𝑛𝑒𝑛𝑠 8 𝑦 4
10. 𝑝 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖ó𝑛 9

Tabla de verdad

((~p v ~q) → (r Ʌ s)) Ʌ (r → t) Ʌ ~t → p

F F F V V V V F V V V F F V V
F F F V V V V F V F F F V V V
F F F V V F F F V V V F F V V
F F F V V F F F V F F F V V V
F F F V F F V F F V V F F V V
F F F V F F V V F V F V V V V
F F F V F F F F F V V F F V V
F F F V F F F V F V F V V V V
F V V V V V V F V V V F F V V
F V V V V V V F V F F F V V V
F V V F V F F F V V V F F V V
F V V F V F F F V F F F V V V
F V V F F F V F F V V F F V V
F V V F F F V F F V F V V V V
F V V F F F F F F V V F F V V
F V V F F F F F F V F V V V V
V V F V V V V F V V V F F V F
V V F V V V V F V F F F V V F
V V F F V F F F V V V F F V F
V V F F V F F F V F F F V V F
V V F F F F V F F V V F F V F
V V F F F F V F F V F V V V F
V V F F F F F F F V V F F V F
V V F F F F F F F V F V V V F
V V V V V V V F V V V F F V F
V V V V V V V F V F F F V V F
V V V F V F F F V V V F F V F
V V V F V F F F V F F F V V F
V V V F F F V F F V V F F V F
V V V F F F V F F V F V V V F
V V V F F F F F F V V F F V F
V V V F F F F F F V F V V V F

Pantallazo
 CONCLUSIONES

En conclusión, esta actividad permitió que como estudiantes afianzáramos aún más nuestros
conocimientos, pusiéramos en práctica lo entendido en cada una de las unidades del curso, todo
lo relacionado con los principios de la lógica, representación simbólica y según lo comprendido
pudiéramos representar mediante tablas de verdad y diagramas de venn los resultados de cada
una de las proposiciones de la misma manera hicimos uso del Simulador TRUTH.
 BIBLIOGRAFÍAS

Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal.
Volumen I: conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial
Tébar Flores. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10
9956 29&tm=1489710145734

Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.
Recuperado
de: http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf
Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest
(Ed). Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara,
México: Larousse - Grupo Editorial Patria.
Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp
g
=30