TALLER 3

LÓGICA MATEMÁTICA

CAROLINA HERNÁNDEZ

TUTOR.

EDGAR MAURICIO ALBA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍAS E INGENIERÍAS

MAYO 2019
 INTRODUCCIÓN

En este trabajo se recurrirá a los conceptos de lógica matemática trabajadas

durante el curso relacionado con los temas de conjuntos, tablas de verdad y
comprobación de argumentos lógicos a través de las reglas de inferencia.
 OBJETIVOS

OBJETIVO GENERAL

Aplicar los conceptos trabajados en el curso para la solución de los casos

seleccionados.

OBJETIVOS ESPECÍFICOS

 Graficar la información del enunciado 1 y contestar las preguntas

planteadas.
 Representar en lenguaje natural las premisas presentadas en lenguaje
formal y demostrar la validez del argumento mediante tablas de verdad y
reglas de inferencia.
 Realizar sustentación de las soluciones propuestas.
 DESARROLLO DE LA ACTIVIDAD

Ejercicio 1:

Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales, las

cuales deberán ser analizadas por el estudiante para el desarrollo del ejercicio 1

c. Los siguientes son los datos que muestran las preferencias de

algunos aspirantes a ingresar a la Universidad Nacional Abierta y a
Distancia para ciertos programas de Ingeniería:
 50 prefieren Industrial.
 47 prefieren Sistemas.
 35 prefieren Electrónica.
 16 prefieren Sistemas y Electrónica.
 11 prefieren Industrial y Sistemas.
 15 prefieren Industrial y Electrónica.
 9 prefieren las tres.

A partir de la situación que el estudiante haya seleccionado, el estudiante deberá:

 Representar la información dada en un diagrama de Venn Euler

 INDUSTRIAL

33
2 6
9

29 7
13
SISTEMAS ELECTRÓNICA

Solucionar los interrogantes planteados.

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos aspirantes fueron encuestados?

33+6+2+ 9+7+13+29=99

 ¿Cuántos aspirantes prefieren únicamente Industrial?

50−2−9−6=33

 ¿Cuántos aspirantes no prefieren Electrónica?

99−35=64

 ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no

Sistemas?

33+6+13=52
  ¿Cuántos aspirantes prefieren Industrial o Sistemas?

99−29=70

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

Descripción del ejercicio:

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

un argumento para el desarrollo del ejercicio 2:

a. Expresión simbólica:

{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q →r ) ].

Premisas:
P1: p→ ( q → r )
P2: r ∧ p
P3: s ∨q
P3: ¬q

Conclusión: s ∧(q → r )

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples:

p: Alexander tiene 35 años.
q: Alexander estudia en el CEAD Palmira.
r: El CEAD Palmira ofrece educación virtual.
s: Alexander vive en Cerrito.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Alexander tiene 35 años entonces, Alexander estudia en el CEAD Palmira

entonces el CEAD Palmira ofrece educación virtual, y, el CEAD Palmira ofrece
educación virtual y Alexander tiene 35 años, y, Alexander vive en Cerrito o
Alexander estudia en el CEAD Palmira, y, Alexander no estudia en el CEAD
Palmira; entonces, Alexander vive en Cerrito y, Alexander estudia en el CEAD
Palmira entonces el CEAD Palmira ofrece educación virtual.

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico.

{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q →r ) ].
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).

{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q →r ) ].

p q r s r ∧r ) p s ∨q ¬q
q → r p→ ( q → {[ p → ( q →rq)→
] ∧r( r ∧
s ∧p()q∧→
( s{[ r∨q
p) →) ∧ ¬q ))}] ∧ ( r ∧ p ) ∧ ( s
( q( →r
v v v v v v v v f f v v v
v v v f v v v v f f v f v
v v f v f f f v f f f f v
v v f f f f f v f f f f v
v f v v v v v v v v v v v
v f v f v v v f v f v f v
v f f v v v f v v f v v v
v f f f v v f f v f v f v
f v v v v v f v f f v v v
f v v f v v f v f f v f v
f v f v f v f v f f f f v
f v f f f v f v f f f f v
f f v v v v f v v f v v v
f f v f v v f f v f v f v
f f f v v v f v v f v v v
f f f f v v f f v f v f v
Tautología.

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

{[ p → ( q →r ) ] ∧ ( r ∧ p ) ∧ ( s ∨q ) ∧ ( ¬q ) } →[s ∧ ( q →r ) ].
Regla de simplificación

r∧p

_______

Modus tollendo ponens (MTP)/silogismo disyuntivo

s ∨q
 ¬q

__________

Modus ponendo ponens (MPP)

p→ ( q → r )

________________

(q → r )

Adjunción

(q → r )

_____________

s ∧(q → r )

CONCLUSIÓN

Existen diferentes métodos para comprobar la validez de un argumento, por tanto

la correcta interpretación del mismo y el uso apropiado de estos garantizará la
fiabilidad del resultado.
 BIBLIOGRAFIA

 Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En ProQuest

ebrary (Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24).

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=21&docID=10345286&tm=1489708381971

 Wagner, M. (2016). Lógica conjuntos 1, [Video]

http://hdl.handle.net/10596/6558

 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)

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992

 Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]

http://hdl.handle.net/10596/6543