Proposiciones Categóricas y Razonamientos Lógicos

Tutora: Yenny Marisol Cayachoa

Estudiante:
Andres Camilo Lopez
Código: 1118567975
Grupo: 1281

Universidad Nacional Abierta y a Distancia UNAD

CEAD ACACIAS
Tecnologia en Logistica Industrial
Curso: Pensamiento Lógico y Matemático
Villvicencio
24/04/2019
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?

Rta:
 En total a 5 jóvenes les gusta de manera simultánea el futbol y la natación.

 En total a 6 jóvenes les gusta de manera simultánea el futbol y el ciclismo.

 En total a 7 jóvenes les gusta de manera simultánea la natación y el ciclismo.

  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: Realizo las actividades

q: Reviso mis apuntes

r: Voy al CEAD

s: Veo los grupos

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

Rta:

Realizo las actividades cuando reviso mis apuntes, o bien voy al CEAD; aunque voy al
CEAD cuando no realizo las actividades, pero realizo las actividades y veo los grupos
entonces, reviso mis apuntes y veo los grupos.

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

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

Rta

[(p → (r → [(p → q) V r] ∧ [(p → q) V r] ∧ (r → [(p → q) V r] ∧ (r → ¬p) ∧

p q r s ¬p (p → q) q) V r] ¬p) (r → ¬p) (p ∧ s) ¬p) ∧ (p ∧ s) (q ∧ s) (p ∧ s) → (q ∧ s)
v v v v f v v f f v f v v
v v v f f v v f f f f f v
v v f v f v v v v v v v v
v v f f f v v v v 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

El resultado de la tabla de verdad es una tautología

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

 Premisas:
 P1: (𝑝 → 𝑞) ∨ 𝑟
 P2: (𝑟 →∼ 𝑝)
 P3: (𝑝 ∧ 𝑠)
 Conclusión: (𝑞 ∧ 𝑠)
 P4: p aplicando simplificación en P3
 P5 ~r aplicando MTT en P2 y P4
 P6 (𝑝 → 𝑞) aplicando MTP en P1 y P5
 P7 q aplicando MPP en P6 y P4
 P8 s aplicando simplificación en P3
 P9 (𝑞 ∧ 𝑠) aplicando adjunción en P7 y P8