Você está na página 1de 15

Lógica Matemática

Tarea 3 – Sustentación Unidades 1 o 2

Jhonatan Imbachi Meneses 1004442342

Grupo: 555

Universidad nacional abierta y a distancia

Escuela de ciencias básicas tecnología e ingeniería

Programa de ingeniería en sistemas

Zona sur CCAV Pitalito

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 Lógica Matemática; 260
matricularon el curso de Algebra Lineal; 360 matricularon el curso de
Calculo Diferencial; 200 matricularon Lógica Matemática y Algebra
Lineal; 250 matricularon Lógica Matemática y Calculo Diferencial; 150
matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon
Lógica Matemática, Algebra Lineal y Calculo Diferencial.

U
U: 450+260+360= 1070 numero de estudiantes L ∩ C: 250
de la unad
A ∩ C: 150
L: 450
L ∩ C ∩ A: 100
C: 360
L: 450-100-100-150=100
A: 260
A: 260-100-100-50=10
L ∩ A: 200
C: 360-150-100-50= 60

 ¿Cuántos fueron los estudiantes encuestados?


RESPUESTA:
Los estudiantes encuestados fueron 1070. Este es el resultado de la
suma de los integrantes de cada conjunto. U: 450+260+360= 1070

U
 ¿Cuántos estudiantes tienen solamente matriculado el curso de Lógica
Matemática?
RESPUESTA:
Hay 100 estudiantes que tienen matriculado únicamente el curso de
lógica matemática.
L: 450-100-100-150=100

 ¿Cuántos estudiantes tienen solamente matriculado el curso de Algebra


Lineal?
RESPUESTA:
Hay 10 estudiantes que tienen solamente matriculado el curso de
algebra lineal.
A: 260-100-100-50=10
 ¿Cuántos estudiantes tienen matriculados Lógica Matemática y Algebra
Lineal, pero no tienen matriculado Cálculo Diferencial?

Son 100 estudiantes que tienen matriculado los cursos de lógica


matemática y algebra lineal pero no el curso de cálculo diferencia.
 ¿Cuántos estudiantes tienen matriculado el curso de Lógica Matemática
y Cálculo Diferencial pero no Algebra Lineal?

RESPUESTA:
Son 150 estudiantes que tienen matriculado el curso de lógica
matemática y calculo diferencia, pero no algebra lineal
Ejercicio 2: Métodos para probar la validez de un argumento

Expresión simbólica:

{[p → (q V r)] ∧ (𝑠 → ¬𝑞) ∧ (𝑡 → ¬𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝 → (𝑞 V 𝑟)

P2: 𝑠 → ¬𝑞

P3: 𝑡 → ¬𝑟

P4: 𝑝 ∧ 𝑡

Conclusión: 𝑞

Desarrollo:

 Premisas simples

p: John asiste a los encuentros por Skype de lógica matemática.

q: John entiende los ejercicios de lógica matemática.


r: John pide ayuda a su tutor de lógica matemática.

s: John reprueba el curso de lógica matemática.

t: John resuelve todas sus dudas en el curso de lógica matemática.

 Razonamiento en lenguaje natural

Si John asiste a los encuentros por Skype de lógica matemática, entonces, John entiende los

ejercicios de lógica matemática o John pide ayuda a su tutor de lógica matemática. John reprueba

el curso de lógica matemática, entonces, John no entiende los ejercicios de lógica matemática.

John resuelve todas sus dudas en el curso de lógica matemática, entonces, John no pide ayuda a

su tutor de lógica matemática. John asiste a los encuentros por Skype de lógica matemática y

John resuelve todas sus dudas en el curso de lógica matemática, Por lo tanto, John entiende los

ejercicios de lógica matemática.


Tabla de verdad manualmente

25=32

p q r s t ~q ~r 1 2 3 4 5 6 7 8 9

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1: (q v r) 5: (t→ ~r)

2: [p→ (q v r)] 6: [(p→ (q v r)] ^ (s→ ~q) ^ (t→ ~r)

3: (s→ ~q) 7: (p ^ t)

4: [p→ (q v r)] ^ (s→ ~q)


8: {[(p→ (q v r)] ^ (s→~q) ^ (t→~r) ^ 9: {[(p→ (q v r)] ^ (s→~q) ^ (t→~r) ^

(p ^ t)} (p ^ t)} → q

Tabla de verdad con el simulador Lógica UNAD


 Resultado de la tabla de verdad: TAUTOLOGÍA
Demostración de la validez del argumento mediante las leyes de inferencia lógica:

Premisa 1: 𝑝 → (𝑞 V 𝑟)

Premisa 2: 𝑠 → ¬𝑞

Premisa 3: 𝑡 → ¬𝑟

Premisa 4: 𝑝 ∧ 𝑡

__________________

5: p… Simplificación en (4).

6: (q V r)… Modus Ponendo Pones (1), (5).

7: t… Simplificación en (4).

8: ¬r… Modus Ponendo Pones (3), (7).

9: q… Silogismo disyuntivo (6), (8) CONCLUSIÓN.


BIBLIOGRAFÍA

 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). Bogotá, Colombia:

Educar Editores S.A. Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=10

345286&tm=1489708381971

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

dehttp://hdl.handle.net/10596/6542

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38). Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=11

013570&tm=1492519542738

 Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp.163-

166). Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=1

1046000&tm=1492520104862
 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) Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=10

732485&tm=1492520387992

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

MÉXICO: Grupo Editorial Patria. (pp. 80-84) Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=11

230887&tm=1496180214861

 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado

de http://hdl.handle.net/10596/6559

 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado

de http://hdl.handle.net/10596/6548

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

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

Você também pode gostar