Pensamiento Lógico Matemático

Juan Ramon Méndez Liévano

Tutor:

Carlos Eduardo Otero Murillo

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación ECEDU,

Girardot, Cundinamarca 2019

Contacto: jrmendezl@unadvirtual.edu.co
 Pensamiento Lógico Matemático

Ejercicios de Sustentación

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

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?

Respuestas

1. A 5 jóvenes les gusta de manera simultánea el futbol y la natación

2. A 6 jóvenes les gusta de manera simultánea el futbol y el ciclismo.

3. A 7 jóvenes les gusta de manera simultánea la natación y el ciclismo.

4. En total a 20 jóvenes les gusta el ciclismo.

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

A. Expresión simbólica:

{[(𝒑→𝒒)∨𝒓]∧(𝒓→∼𝒑)∧(𝒑∧𝒔)}⟶(𝒒∧𝒔)

Premisas:

P1: (𝑝→𝑞)∨𝑟

P2: (𝑟→∼𝑝)

P3: (𝑝∧𝑠)

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: Asisto a las web conference

q: Asisto al B-Learning

r: Participo en los foros colaborativos

s: Obtengo buenas calificaciones

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

proposiciones simples deben ser de autoría de cada estudiante.

Si asisto a la web conference entonces asisto a el B-Learning o participo en el foro colaborativo.

Si participo en el foro colaborativo entonces no asisto a la web conference. Asisto a la web

conference y obtengo buenos resultados. Por lo tanto, asisto al B-Learning y obtengo buenos

resultados.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

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

v v v v f f v f f v f v v
v v v f f f v f f f f f v
v v f v f f f v f v f v v
v v f f f f f v f f f f v
v f v v f f v f f v f f v
v f v f f f v f f f f f v
v f f v f f f v f v f f v
v f f f f f f v f f f f v
f v v v v v v v v f f v v
f v v f v v v v v f f f v
f v f v v v v v v f f v v
f v f f v v v v v f f f v
f f v v v v v v v f f f v
f f v f v v v v v f f f v
f f f v v v v v v f f f v
f f f f v v v v v f f f v

Resultado de la tabla de verdad: Tautología

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

Premisas:

P1: (𝑝→𝑞)∨𝑟

P2: (𝑟→∼𝑝)

P3: (𝑝∧𝑠)

Conclusión: (𝑞∧𝑠) (Contradictorios)

P4 𝑝 simplificamos P3

P5 s simplificamos P3

P6 𝑞∨𝑟 aplicamos MPP a P1 y P4

P7 ∼𝑝 aplicamos MPP a P2 Y P4

P8 𝑞 aplicamos MPP a P6 y P7

P9 𝑞∧𝑠 aplicamos adjunción a P8 y P5