Tarea 3 – Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos
Grupo 200611_390

Presentado por:
Jorge Ferney García Beltrán
Código: 1.098.658.315

Presentado a:
Tutor NEVARDO ALONSO AYALA

Universidad Nacional Abierta y a Distancia UNAD

Ingeniería Industrial
Pensamiento lógico y matemático
CEAD Bucaramanga
Mayo de 2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

A. Una encuesta realizada a un grupo de estudiantes de la

Universidad Nacional Abierta y a Distancia –UNAD- donde todos
respondieron, reveló que:
450 matricularon el curso de PLM;
260 matricularon el curso de Algebra Lineal;
360 matricularon el curso de Calculo Diferencial;
200 matricularon PLM y Algebra Lineal;
250 matricularon PLM y Calculo Diferencial;
150 matricularon Algebra Lineal y Calculo Diferencia
100 matricularon PLM, Algebra Lineal y Calculo Diferencial.

U=1070
P=450
A=260
C=360
PПA=200
PПC=250
AПC=150
PПAПC=100
U=1047-570=500
Calcular:

 ¿Cuántos fueron los estudiantes encuestados? RTA :1070

 ¿Cuántas estudiantes tienen solamente matriculado el curso

de PLM? RTA :100

 ¿Cuántas estudiantes tienen solamente matriculado el curso

de Algebra Lineal? RTA : 10
 ¿Cuántas estudiantes tienen matriculados PLM y Algebra
Lineal, pero no tienen matriculado Cálculo Diferencial? RTA:
210

 ¿Cuántas estudiantes tienen matriculado el curso de PLM y

Cálculo Diferencial pero no Algebra Lineal? RTA :270
Ejercicio 2

Expresión simbólica:

{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝→(𝑞∨𝑟)

P2: 𝑠→∼𝑞
P3: 𝑡→∼𝑟
P4: 𝑝∧𝑡
Conclusión: 𝑞

P: leo libros
q: me graduó como ingeniero
r: obtengo buenas calificaciones
s: entiendo los temas
t: dedico mi tiempo libre a estudiar

Si leo libros entonces me graduó como ingeniero, y si entiendo los temas entonces no
me graduó como ingeniero, y si dedico mi tiempo libre a estudiar entonces no obtengo
buenas calificaciones, y si leo libros y dedico mi tiempo libre a estudiar. por lo tanto me
graduó como ingeniero.
 Resultado de la tabla de verdad: TAUTOLOGÍA
 leyes de inferencia:

Premisas:

P1: 𝑝→(𝑞∨𝑟)

P2: 𝑠→∼𝑞
P3: 𝑡→∼𝑟
P4: 𝑝∧𝑡
Conclusión: 𝑞

C5 ∼𝑞∧∼𝑟 D2,3,4

C6 ∼𝑞 S5

C7 q DN6

Referencias Bibliográficas

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 61- 65)
Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.
Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos.

Distrito Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)
Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802