UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

GRUPO: 200611_1470

PENSAMIENTO LOGICO Y MATEMATICO

PRESENTADO POR:

VICTOR NEVER MUÑOZ CHECA

COD. 17690371

TUTOR:

RANDY ZABALETA MESINO

FECHA: ABRIL 21 DE 2019

 DESARROLLO

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.

A. Se realizó una encuesta a 37 jóvenes respecto a sus preferencias deportivas,

encontrándose la siguiente información:

- A 2 de ellos les apasiona el futbol, la natación y el ciclismo

- En total 5 de ellos les gusta el futbol y la natación
- En total a 7 de ellos les gusta la natación y el ciclismo
- Un total de 6 jóvenes manifestaron su gusto por el futbol y el ciclismo
- Solo 8 se apasionan por el futbol
- Solo 6 practican la natación
- A 9 de ellos solo les gusta el ciclismo.
- En total a 17 les gusta el futbol
- En total a 16 les gusta la natación.

A partir de la situación planteada dar respuesta las siguientes preguntas:

- ¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y la natación?

- ¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y el ciclismo?
- ¿A cuántos jóvenes solo les gusta de manera simultánea la natación y el ciclismo?
- ¿En total a cuantos jóvenes les gusta el ciclismo?

Desarrollo

La información resumida en diagramas de Venn es:

 - A cuántos jóvenes solo les gusta de manera simultánea el futbol y la natación?

Del grupo 3 jóvenes practican solamente futbol y natación

- ¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y el ciclismo?

En total 4 jóvenes practican solamente el futbol y el ciclismo

 - ¿A cuántos jóvenes solo les gusta de manera simultánea la natación y el ciclismo?

Solo 5 jóvenes prefieren ciclismo y natación

- ¿En total a cuantos jóvenes les gusta el ciclismo?

A 20 jóvenes les gusta el ciclismo
Ejercicio 2: Métodos para probar la validez de un argumento
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.:

a. Expresión simbólica:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: (𝑟 →∼ 𝑝)
P3: (𝑝 ∧ 𝑠)

Conclusión: (𝑞 ∧ 𝑠)

Desarrollo:

 Proposiciones simples:

p: Leo libros

q: Desarrollo los ejercicios

r: Tengo problemas para desarrollar los ejercicios

s: Apruebo mis tareas

 Razonamiento en lenguaje natural:

Si leo libros entonces desarrollo los ejercicios. O tengo problemas para desarrollar los
ejercicios. Si tengo problemas para desarrollar mis ejercicios entonces no leo libros. Si leo
libros y apruebo mis tareas. Por lo tanto desarrollo los ejercicios y apruebo mis tareas

 Generar la tabla de verdad manualmente:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
p q r s (p→q) (p→q)˅r (𝑟 →∼ 𝑝) (𝒑 ∧ 𝒔) {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑)
∧ (𝒑 ∧ 𝒔)}
⟶ (𝒒 ∧ 𝒔)

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

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD
Leyes de inferencia:
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: (𝑟 →∼ 𝑝)
P3: (𝑝 ∧ 𝑠)
Conclusión: (𝑞 ∧ 𝑠)

P4: p P3 por Simplificación

P5: ~ r P2 y P4 por MTT

P6: q˅r P4 y P1 por MTP

P7: q P5 y P6 por MTP

P8: s P3 por simplificación

Conclusión (𝑞 ∧ 𝑠) P7 y P8 por Adjunción