Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Paso 4 – situaciones Problémicas de la Lógica Matemática

Sandy Paola Guzman Sanchez

Grupo 200611_120

Tutor
Luis Gabriel Prieto

UNAD
Ingeniería Industrial
Bogotá
 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Objetivos
General
 Comprender y aplicar de forma correcta los diferentes tipos de conjunto

 Analizar de forma adecuada los procedimientos de la lógica proposicional para

demostrar la verdad o invalidez de situaciones problemáticas.

 Analizar de forma adecuada los distintos procedimientos de la aplicación de las

reglas de inferencia para la demostración de validez de los razonamientos, teniendo

en cuenta que la tabla de verdad tiene que arrojar una tautología para poder aplicar

las reglas

Específicos
 Identificar las clases de proposiciones, características y su respectiva

representación en la tabla de verdad.

 Identificar las distintas reglas de inferencia y respectiva aplicación en un

razonamiento.

 Interpretar que reglas se deben aplicar para comprobar la validez de un

razonamiento en lenguaje formal.

 Identificar situaciones y representarlas a través de un diagrama de Venn.

 Clasificar los diferentes tipos de conjuntos y como son aplicados en los diferentes

escenarios.

 Identificar los diferentes tipos de falacias.

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Introducción

El siguiente trabajo fue realizado con el fin de presentar una solución individual a

los puntos escogidos del examen nacional ABP, donde se tocarán temas como operatividad

entre conjunto, lógica proposicional, validez del razonamiento lógico, silogismos

categóricos y enunciado tipo falacias, con el fin de hacer la entrega de un producto final.

Esta mitología basada en la teoría de aprendizaje significativo facilita que como alumnos

tengamos una mejor calidad de aprendizaje.

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

SITUACIONES PROBLÉMICAS DE LA OPERATIVIDAD ENTRE CONJUNTOS

Se preguntó a 50 docentes de la ECBTI sobre los deportes que practicaban,

obteniéndose los siguientes resultados: 20 practican solo futbol, 12 practican futbol y

natación y 10 no practican ninguno de estos deportes. Con estos datos averigua el número

de docentes que practican natación, el número de ellos que solo practican natación y el de

los que practican alguno de dichos deportes.

Datos suministrados

20 practican solo futbol

12 practican futbol y natación

10 no practican ninguno de estos deportes

Solución

FUN= 50 – 10= 40

12 practican futbol y natación

20 practican solo futbol

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Determinar cuántos practican solo natación

N=FUN - F – F∩N

N= 40 - 20 – 12

N= 8

 Número de docentes que practican natación

F∩N + N = 12 + 8

Practican N= 20

 El número de ellos que solo practican natación

Solo N= 8

 Los que practicaron alguno de dichos deportes

F∩N + F + N= 12 + 20 + 8

=40

SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL

Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta de

tiempo, entonces no realizaré mis sueños. He aceptado el trabajo y he dejado de jugar

ajedrez. Por lo tanto, no realizaré mis sueños

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Declarar proposiciones simples

P: Si acepto este trabajo

Q: dejo de practicar el deporte que me apasiona por falta de tiempo

R: no realizaré mis sueños

S: he dejado de jugar ajedrez

Declarar proposiciones compuestas

1. Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta de

tiempo, entonces no realizaré mis sueños.

2. He aceptado el trabajo y he dejado de jugar ajedrez.

3. Por lo tanto, no realizaré mis sueños

Declarar las proposiciones compuestas en lenguaje formal

{[(pꓦq)>¬r]ꓥ(pꓥs)}>¬r

p q r s ¬r (pꓦq) (pꓥs) [(pꓦq)>¬r] {[(pꓦq)>¬r]ꓥ(pꓥs)} {[(pꓦq)>¬r]ꓥ(pꓥs)}>¬r

V V V V F V V F F V
V V V F F V F F F V
V V F V V V V V V V
V V F F V V F V F V
V F V V F V V F F V
V F V F F V F F F V
V F F V V V V V V V
V F F F V V F V F V
F V V V F V F F F V
F V V F F V F F F V
F V F V V V F V F V
F V F F V V F V F V
F F V V F F F V F V
F F V F F F F V F V
F F F V V F F V F V
F F F F V F F V F V
 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

El razonamiento arrojo una tautología

SITUACIONES PROBLÉMICAS DE LA VALIDEZ DE RAZONAMIENTOS LÓGICOS

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.

Declarar proposiciones simples

P: Si el Rector no pudo dar el discurso

Q: los diplomas no llegasen a tiempo

R: la fiesta de graduación tendría que cancelarse

S: los estudiantes se enojarían

T: habría que devolver el dinero

Declarar premisas

Premisa 1. 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.

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Premisa 2. Si la fiesta se cancelara, habría que devolver el dinero

Premisa 3. No se devolvió el dinero

Conclusión. Por lo tanto, el Rector pudo dar el discurso.

Declarar premisas en lenguaje formal

Premisa 1. ¬pꓦ¬q>rꓥs

Premisa 2. R>t

Premisa 3. ¬t

Conclusión. p

Razonamiento en lenguaje formal

{[(~p v ~q)→(r^s)] ^ [(r→t)^~t]}→p

{[(~p
v
{[(~p v ~q)→
[(~p v [(r→ ~q)→
(r^s)] ^
p q r s t ~p ~q ~t ~p v ~q (r^s) (r→t) ~q)→ t)^~t (r^s)]
[(r→t)^~t]}
(r^s)] ]} ^
→p
[(r→t)
^~t]}

v v v v v f f f f v v v f f v
v v v v f f f v f v f v f f v
v v v f v f f f f f v v f f v
v v v f f f f v f f f v f f v
v v f v v f f f f f v v f f v
v v f v f f f v f f v v v v v
v v f f v f f f f f v v f f v
v v f f f f f v f f v v v v v
v f v v v f v f v v v v f f v
v f v v f f v v v v f v f f v
v f v f v f v f v f v f f f v
 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

v f v f f f v v v f f f f f v
v f f v v f v f v f v f f f v
v f f v f f v v v f v f v f v
v f f f v f v f v f v f f f v
v f f f f f v v v f v f v f v
f v v v v v f f v v v v f f v
f v v v f v f v v v f v f f v
f v v f v v f f v f v f f f v
f v v f f v f v v f f f f f v
f v f v v v f f v f v f f f v
f v f v f v f v v f v f v f v
f v f f v v f f v f v f f f v
f v f f f v f v v f v f v f v
f f v v v v v f v v v v f f v
f f v v f v v v v v f v f f v
f f v f v v v f v f v f f f v
f f v f f v v v v f f f f f v
f f f v v v v f v f v f f f v
f f f v f v v v v f v f v f v
f f f f v v v f v f v f f f v
f f f f f v v v v f v f v f v
Según la lógica proposicional el razonamiento es válido. Es una tautología

Demostración por reglas de inferencia

Premisa 1. (¬pꓦ¬q)>(rꓥs) Conclusión. p

Premisa 2. R>t

Premisa 3. ¬t
---------------------------------
P4. ¬r MTT (2), (3)

P5 ¬r ꓦ s AD (4)

P6. S MTP (4), (5)

P7. ¬r ꓥ s CONJ (4), (6)

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

P8. ¬(¬P ꓦ ¬Q) MTT (1), (7)

P9. ¬(¬P) ꓥ ¬(¬Q) DM (8)

P10. P ꓥ Q DN (9)

P11. P SIM Conclusión

Truth Table
p q r s t {[(¬pV¬q)→(rΛs)]Λ[(r→t)Λ¬t]}→p

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology

SITUACIONES PROBLÉMICAS DE SILOGISMOS CATEGÓRICOS

1. Todas las proteínas son compuestos orgánicos.

Todas las enzimas son proteínas.

Por lo tanto, todas las enzimas son compuestos orgánicos.

Planteamiento

Premisa 1. Todas las proteínas son compuestos orgánicos.

Premisa 2. Todas las enzimas son proteínas.

Conclusión. Por lo tanto, todas las enzimas son compuestos orgánicos.

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

SITUACIONES PROBLÉMICAS DE ENUNCIADOS TIPO FALACIA

Miguel Indurain, que ha sido el mejor deportista español de todos los tiempos,

afirma en un anuncio publicitario, que los productos de repostería de los Hermanos Ortiz

son como hechos en casa.

R//: Es una falacia del argumento Ad Verecundiam porque el deportista no está calificado

para emitir una opinión de experto en el asunto.

 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Conclusión

Después de realizar esta actividad puedo concluir que como estudiante logre

comprender y aplicar adecuadamente los diferentes temas como teoría de conjuntos que es

una herramienta importante para poder simplificar definiciones de conceptos que resultaban

más complejos, la lógica proposicional donde la aplicación de las tablas de verdad nos

ayuda obtener la veracidad o falsedad de un razonamiento lógico y las reglas de inferencia

que nos sirve para comprobar la validez de argumentos ya demostrados por tablas de

verdad.
 Universidad Nacional Abierta y a Distancia
Pensamiento Lógico y Matemático

Bibliografía

Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Á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=15&docID=1104

6169&tm=1489706134764

Villalpando, B. J. F. (2000). "Lógica y Cálculo Proposicional". En ProQuest (Ed).

Matemáticas discretas: aplicaciones y ejercicios. (pp. 19 - 29). Guadalajara, México:

Larousse - Grupo Editorial Patria. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=

30

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica.

(pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=11046

000&tm=1489704594878

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=109956

29&tm=1489710145734