LOGICA MATEMATICA

Tarea 1

Conectivos lógicos y teoría de conjuntos

PRESENTADO POR:

DAVID SEBASTIAN CARRILLO

CODIGO:

1010046305

ENTREGADO A:

Gabriel Jaime Espitia

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

mayo del 2019

Ejercicio 1: Aplicación de la Teoría de Conjuntos

Para el desarrollar esta tarea, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

 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).
 Wagner, M. (2016). Lógica conjuntos 1, [Video]

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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.
∪

33
6 2
9

13 7 29
E S
 De acuerdo con lo anterior, responder las siguientes preguntas:

1. ¿Cuántos aspirantes fueron encuestados?

RTA: Fueron 90 aspirantes encuestados

∪

33
6 2
9

13 7 29
E S

2. ¿Cuántos aspirantes prefieren únicamente Industrial?

RTA: 50 aspirantes prefieren únicamente Industrial
∪
I

6 2
9

E S

3. ¿Cuántos aspirantes no prefieren Electrónica?

RTA: 64 aspirantes no prefieren Electrónica
∪
I

6 2
9

E S

4. ¿Cuántos aspirantes prefieren Industrial o Electrónica pero no Sistemas?

RTA: 46 aspirantes prefieren Industrial o Electrónica pero no Sistemas
∪
I

6 2
9

E S

5. ¿Cuántos aspirantes prefieren Industrial o Sistemas?

RTA: 62 aspirantes prefieren Industrial o Sistemas

 ∪
I

6 2
9

E
S

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

Para el desarrollo de esta tarea, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), las siguientes referencias:

 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)
 Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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:

c. 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 )

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.

p: ir a la UNAD en bus

q: ir a la UNAD en bicicleta

r: hay trancón en la autopista

s: llego más rápido a la UNAD en bicicleta

Entonces y o no

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.

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