Tarea 4 – Sustentación unidades 1, 2 o 3

Tutor:

Jose Carlos Bermejo

Estudiante:

Heribert Ayala Jaimes

Código:

200611_467.

Grupo:

467.

Universidad Nacional Abierta y a Distancia UNAD

Vicerrectoría de Servicios a Aspirantes Estudiantes y Egresados -VISAE

Ing de Telecomunicaciones

Pensamiento Logico y Matematico

Chinacota, Mayo 2019

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

U: Aspirantes a ingresar a la Universidad Nacional Abierta y a Distancia UNAD

A: Aspirantes de ingeniería Industrial.

B: Aspirantes de ingeniería de Sistemas.

C: Aspirantes de ingeniería Electrónica.

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos aspirantes fueron encuestados?

 R: en total fueron encuestados 77 aspirantes

 ¿Cuántos aspirantes prefieren únicamente Industrial?

R: 15 aspirantes prefieren únicamente la industrial.

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

R: 37 aspirantes no prefieren electrónica

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

 R: 15 aspirantes prefieren industrial o electrónica pero no sistemas

 ¿Cuántos aspirantes prefieren Industrial o Sistemas?

R: 20 aspirantes prefieren industrial o sistemas

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

un argumento para el desarrollo del ejercicio 2.

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.

p: estudio para las evaluaciones

q: subo mis trabajos a tiempo

r: participo en el foro del curso

s: obtengo buenas calificaciones

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

Si estudio para las evaluaciones entonces subo mis trabajos a tiempo entonces participo en

el foro del curso; y si participo en el foro del curso y estudio para las evaluaciones; y si

obtengo buenas calificaciones o subo mis trabajos a tiempo, y no subo mis trabajos a

tiempo; entonces obtengo buenas calificaciones y subo mis trabajos a tiempo por lo tanto

participo en el foro del curso.

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).

(q → (r Ʌ (s V [p → (q→ [s Ʌ (q → [p → (q→ r)]Ʌ(r [p → (q→ r)]Ʌ(r Ʌ p)Ʌ {[p → (q→ r)] Ʌ (r Ʌ p) Ʌ (s V {[p → (q→ r)]Ʌ(r Ʌ p)Ʌ(s V q)Ʌ(¬q)} → [s Ʌ
p q r s ¬q
r) p) q) r)] r)] Ʌ p) (s V q) q) Ʌ (¬q)} (q → r)]
v v v v f v v v v v v v f v
v v v f f v v v v f v v f v
v v f v f f f v f f f f f v
v v f f f f f v f f f f f v
v f v v v v v v v v v v v v
v f v f v v v f v f v f f v
v f f v v v f v v v f f f v
v f f f v v f f v f f f f v
f v v v f v f v v v f f f v
f v v f f v f v v f f f f v
f v f v f f f v v f f f f v
f v f f f f f v v f f f f v
f f v v v v f v v v f f f v
f f v f v v f f v f f f f v
f f f v v v f v v v f f f v
f f f f v v f f v f f f f v
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Premisas:

P1:𝑝 → (𝑞 → 𝑟)

P2: 𝑟 ∧ 𝑝

P3: 𝑠 ∨ 𝑞

P4: ¬𝑞

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

P5: s TP (3),(4)

P6: (q → r) TT (1), (2)

P7: 𝑠 ∧ (𝑞 → 𝑟) adjunción (5), (6)