1

LOGICA MATEMATICA

TAREA 3 - SUSTENTACIÓN UNIDADES 1 O 2

TRABAJO INDIVIDUAL.

PRESENTADO POR:

YEISON ARLEY MAYORGA ACUÑA

GRUPO: 90004_919

TUTOR:

OSCAR JAVIER SOTELO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

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

SOATA-BOYACÁ

MAYO 2019
 2

DESARROLLO

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

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.

Industria

33
2 6
9

Sistemas
29 7
13 Electrónica
 3

De acuerdo con lo anterior, responder las siguientes preguntas:

¿Cuántos aspirantes fueron encuestados?

RTA: 99

33
2 6
9

29 7
13
¿Cuántos aspirantes prefieren únicamente Industrial?

RTA: 33
Industria

33
2 6
9

29 7 13
 4

¿Cuántos aspirantes no prefieren Electrónica?

RTA: 64

33
2 6
9

29 7
13 Electrónica

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

RTA: 52 Industrial

33
2 6
9

29 7
13 Electrónica
 5

¿Cuántos aspirantes prefieren Industrial o Sistemas?

RTA: 86

33 Industrial

2 6
9

Sistemas
29 7
13
 6

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

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: {[𝑝 → (𝑞 → 𝑟)] ∧ (𝑟 ∧ 𝑝) ∧ (𝑠 ∨ 𝑞) ∧ (¬𝑞)} → [𝑠 ∧ (𝑞 → 𝑟)].

Premisas:

P1: 𝑝 → (𝑞 → 𝑟)

P2: 𝑟 ∧ 𝑝

P3: 𝑠 ∨ 𝑞

P4: ¬𝑞

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

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

- 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, ejemplo:

p: voy a comprar un computador

q: tengo un computador

r: puedo hacer los trabajos

S: tengo que enviar los trabajos

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

 7

Voy a comprar un computador ENTONCES tengo un computador ENTONCES puedo hacer

los trabajos SI puedo hacer los trabajos Y voy a comprar un computador tengo que enviar los

trabajos O tengo un computador NO tengo que enviar los trabajos. POR LO TANTO, tengo que

enviar los trabajos Y tengo un computador ENTONCES puedo hacer los trabajos.

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

p q r s ((p→(q→r))∧(r∧p)∧(s∨q)∧(~q))→(s∧(q→r))
v v v v V
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

- Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o

foto del desarrollo manual).

Lenguaje Simbólico: {[𝑝 → (𝑞 → 𝑟)] ∧ (𝑟 ∧ 𝑝) ∧ (𝑠 ∨ 𝑞) ∧ (¬𝑞)} → [𝑠 ∧ (𝑞 → 𝑟)].

 8

p q r s ¬𝑞 [𝑝 → [𝑝 (𝑟 ∧ (𝑠 ∨ [𝑠 [𝑝 → [𝑝 → {[𝑝 →

(𝑞 → → 𝑝) 𝑞) ∧ (𝑞 (𝑞 → (𝑞 → (𝑞 →

𝑟)] (𝑞 → 𝑟)] 𝑟)] ∧ 𝑟)] ∧ 𝑟)] ∧

→ (𝑟 ∧ (𝑟 ∧ (𝑟 ∧

𝑟)] 𝑝) 𝑝) ∧ 𝑝) ∧

∧ (𝑠 ∨ (𝑠 ∨

𝑞) ∧ 𝑞) ∧

(¬𝑞) (¬𝑞)}

→ [𝑠

∧ (𝑞

→ 𝑟)]

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

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

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

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

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

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

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

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

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

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

F V F V V V V V F V V F V
 9

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

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

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

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

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

La tabla es una Tautología.

- Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

P1: 𝑝 → (𝑞 → 𝑟)

P2: 𝑟 ∧ 𝑝

P3: 𝑠 ∨ 𝑞

P4: ¬𝑞

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

P5: S SILOGISMO DISYUNTIVO P3, P4

P6: P SIMPLIFICACION P2

P7: (𝑞 → 𝑟) MODUS PONNES P1, P6

P8: 𝑠 ∧ (𝑞 → 𝑟) CONJUNCION P5, P7 CONCLUSION.

 10

REFERENCIAS BIBLIOGRÁFICAS:

- 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]

- 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]