OBJETIVOS

 Aplicar adecuadamente los elementos y las propiedades operativas de la

teoría general de conjuntos en la solución de problemas debidamente
contextualizados.
 Identificar y utilizar las reglas de inferencia lógica por inducción y deducción
en formulaciones y demostraciones de razonamientos válidos en
situaciones problémicas.
 INTRODUCCIÓN

El presente trabajo tiene como finalidad realizar una profundización de las

competencias desarrolladas en el curso de pensamiento lógico matemático, en
donde se aplicaran conceptos como los de teoría de conjuntos mediante
diagramas de venn, tablas de verdad así como la validación de las leyes de
inferencia.

Todo lo anterior se llevara a cabo realizando ejercicio de situación problémicas en

las que se ven como mediante una situación de la vida real se pueden aplicar
estos conceptos.
Ejercicio 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?

T = todos los abonados = 26

N = llamadas nacionales
I = llamadas internacionales
L = llamadas locales
SL = llamadas solo locales = 26 - 23 = 3
LN = llamadas locales y nacionales = 5

LIn = llamadas locales e internacionales pero no nacionales

SN = solo nacionales = 2(LIn)

Tenemos que:

LIn = 26 - SN -5 -3 - 12 = 6 - SN

LIn = 6 - 2(LIn)

LIn+2(LIn) = 6

3 LIn=6

LIn=2

Por lo tanto SN=4

Con esto datos construyamos el diagrama de Venn

A lo cual a la pregunta ¿el número de personas que han hecho llamadas locales
es? :

3+5+2 =10

Ejercicio 8: Un número es divisible por 2 si la última cifra de dicho número es

múltiplo de 2. Un número es divisible por 3 si la suma de las cifras de dicho
número es múltiplo de 3. Pero dicho número no es divisible por 2 o no lo es por 3.
Por tanto, la suma de las cifras de un número no es un múltiplo de 3 si la última
cifra de un número es múltiplo de 2.

Proposiciones simples

 Un número es divisible por 2

 la última cifra de dicho número es múltiplo de 2
 Un número es divisible por 3
 la suma de las cifras de dicho número es múltiplo de 3
Proposiciones compuestas

Un número es divisible por 2 si la última cifra de dicho número es múltiplo

de 2. Un número es divisible por 3 si la suma de las cifras de dicho número
es múltiplo de 3. Pero dicho número no es divisible por 2 o no lo es por 3.
Por tanto, la suma de las cifras de un número no es un múltiplo de 3 si la
última cifra de un número es múltiplo de 2.

Asignación de letras a las proposiciones simples

 p: Un número es divisible por 2

 q: la última cifra de dicho número es múltiplo de 2
 r: Un número es divisible por 3
 s: la suma de las cifras de dicho número es múltiplo de 3
Lenguaje simbólico

[(𝒑 → 𝒒)⋀(𝒓 → 𝒔)] → [(~𝒑 ∨ ~𝒒) → (~𝒓 → ~𝒑)]

Ejercicio 14: “El alza en los precios del petróleo es imparable. Esto obligará a
disminuir los niveles de consumo mundial de petróleo o a incrementar la
producción de biocombustibles. Todo indica, sin embargo, que el mundo no está
dispuesto a disminuir los niveles de consumo de petróleo. La otra cara de la
moneda es que el incremento en la producción de biocombustibles obliga a
dedicar cada vez más tierras a cultivos aprovechables para producción de
biocombustibles. Esto traerá como consecuencia alzas exageradas en los precios
de alimentos básicos para consumo humano. Lo anterior muestra que el mundo
experimentará alzas exageradas en los precios de los alimentos básicos para la
especie humana”.

Inicialmente procedemos a identificar cada una de las proposiciones simples

 p: El alza en los precios del petróleo es imparable.

 q: Disminuirá el consumo mundial de petróleo.
 r: Se incrementará la producción de biocombustibles.
 s: Se dedicarán más tierras a cultivos aprovechables para la producción de
biocombustibles.
 t: Habrá alzas exageradas en los precios de los alimentos básicos para
consumo humano.
Lo siguiente es proceder a simbolizar el argumento

𝑝 (𝑝𝑟𝑖𝑚𝑒𝑟𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎)

𝑝 → (𝑞 ⋁ 𝑟) (𝑠𝑒𝑔𝑢𝑛𝑑𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎)

~𝑞 (𝑡𝑒𝑟𝑐𝑒𝑟𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎)

𝑟→𝑠 (𝑐𝑢𝑎𝑟𝑡𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎 )

𝑠→𝑡 (𝑞𝑢𝑖𝑛𝑡𝑎 𝑝𝑟𝑒𝑚𝑖𝑠𝑎 )

𝑡 (𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛)

Procedemos a realizar la demostración mediante reglas de inferencia

1. 𝑝
2. 𝑝 → (𝑞 ⋁ 𝑟)
3. ~𝑞
4. 𝑟 → 𝑠
5. 𝑠 → 𝑡
6. ~𝑡 𝑀é𝑡𝑜𝑑𝑜 𝑖𝑛𝑑𝑖𝑟𝑒𝑐𝑡𝑜, 𝑛𝑒𝑔𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝑙𝑎 𝑐𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛
7. ~𝑠 𝑀𝑜𝑑𝑢𝑠 𝑡𝑜𝑙𝑙𝑒𝑛𝑑𝑜 𝑡𝑜𝑙𝑒𝑛𝑠 𝑒𝑛𝑡𝑟𝑒 5 𝑦 6
8. ~𝑟 𝑀𝑜𝑑𝑢𝑠 𝑡𝑜𝑙𝑙𝑒𝑛𝑑𝑜 𝑡𝑜𝑙𝑒𝑛𝑠 𝑒𝑛𝑡𝑟𝑒 4 𝑦 7
9. ~𝑞 ⋀ ~𝑟 𝐶𝑜𝑛𝑗𝑢𝑐𝑖ó𝑛 𝑒𝑛𝑡𝑟𝑒 3 𝑦 8
10. ~(𝑞 ⋁ 𝑟) 𝐿𝑒𝑦 𝑑𝑒 𝑚𝑜𝑟𝑔𝑎𝑛 𝑑𝑒 9
11. ~𝑝 𝑀𝑜𝑑𝑢𝑠 𝑡𝑜𝑙𝑙𝑒𝑛𝑑𝑜 𝑡𝑜𝑙𝑒𝑛𝑠 𝑒𝑛𝑡𝑟𝑒 2 𝑦 10
12. 𝑝 ⋀ ~𝑞 𝐶𝑜𝑛𝑗𝑢𝑐𝑖ó𝑛 𝑒𝑛𝑡𝑟𝑒 1 𝑦 11
Conclusión 𝑡
 CONCLUSIÓN

En un sentido restringido, se llama razonamiento lógico al proceso mental de

realizar una inferencia de una conclusión a partir de un conjunto de premisas. La
conclusión puede no ser una consecuencia lógica de las premisas y aun así dar
lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento en
sentido amplio, no en el sentido de la lógica. Los razonamientos pueden ser
válidos correctos o no válidos incorrectos.

En general es de suma importancia manejar un lenguaje lógico matemático para

resolver problemas que se nos presenten en la vida cotidiana.
 BIBLIOGRAFÍA

https://es.slideshare.net/lionelmu/leomar-34879532

https://es.scribd.com/doc/44505580/Logica-Proposicional

https://es.scribd.com/document/226850304/Leccion-2-2-Proceso-de-
Razonamiento