Tarea 1 proposiciones y tablas de verdad

Wilian Alexander Fuentes Ferrer

Curso 200611- Pensamiento lógico y matemático
Grupo: 200611_2355

Libia Andrea Chaparro Niño

Tutora

Universidad Nacional abierta y a distancia-UNAD

Escuela de Ciencias Básicas, Tecnología e ingeniería (ECBTI)
Ingeniería de sistemas
Yopal Casanare
Septiembre 2021
 INTRODUCCIÓN

En el presente trabajo se lleva acabo el desarrollo de la tarea 1 del curso

pensamiento lógico y matemático, la cual permitió interpretar y comprender
los fundamentos de logica, caracterizando sus propiedades a través del
desarrollo de los ejercicios propuestos. De acuerdo con el material dispuesto
para la tarea 1 y demás referencias bibliográficas en el entorno de
aprendizaje.
 OBJETIVOS

 Identificar los conceptos fundamentales de las proposiciones y tablas

de verdad
 Interactuar con tutor y compañeros
Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el desarrollo del

ejercicio 1:

 Proposiciones simples

p: El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19

q: La vacunación ha comenzado a frenarse en Estados Unidos por diferentes

motivos

r: En algunos estados dan premios a cambio de la vacunación

 Lenguaje simbólico

[(𝒑∧𝒒) ∧ (𝒑→𝒓)]⟶(𝒓∧𝒒)

 Lenguaje Natural:

El 30% de los estadounidenses quiere vacunarse contra el virus COVID-19 y

La vacunación ha comenzado a frenarse en Estados Unidos por

diferentes motivos y el 30% de los estadounidenses quiere vacunarse

contra el virus COVID-19 entonces en algunos estados dan premios a

cambio de la vacunación por lo tanto en algunos estados dan premios

a cambio de la vacunación y la vacunación ha comenzado a frenarse

en Estados Unidos por diferentes motivos.

  Tabla de verdad:

p q r P˄q p→r r˄q (p˄q)˄(p→r [(p˄q)˄(p→r)]→(r˄q)]

V V V V V V V V

V V F V F F F V

V F V F V F F V

V F F F F F F V

F V V F V V V V

F V F F V F F V

F F V F V F F V

F F F F V F F V

Se clasifica como: Tautología.

 Tabla de verdad Simulador UNAD

Link video: https://youtu.be/ZPOTg2ofI1A

Ejercicio 2: Identificación de las reglas de la inferencia lógica

 Expresión simbólica:

p∧q
________
q

 Ley de inferencia de la expresión: Simplificación (S)

 Proposiciones simples:

P: Wilian inscribió el curso de pensamiento lógico matemático en la UNAD

q: Wilian debe ingresar a la plataforma para desarrollar las actividades

 Lenguaje Natural:

Wilian inscribió el curso de pensamiento lógico matemático en la UNAD y

Wilian debe ingresar a la plataforma para desarrollar las actividades.
Por lo tanto, Wilian debe ingresar a la plataforma para desarrollar las
actividades.

 Expresión simbólica:
p∨q
∼q
_______
p

 Ley de inferencia de la expresión: Tollendo Ponens (TP)

 Proposiciones simples:

P: Wilian inscribió el curso de pensamiento lógico matemático en la UNAD

q: Wilian debe ingresar a la plataforma para desarrollar las actividades
  Lenguaje Natural:

Wilian inscribió el curso de pensamiento lógico matemático en la UNAD

o Wilian debe ingresar a la plataforma para desarrollar las actividades.
Wilian no debe ingresar a la plataforma para desarrollar las
actividades. Por lo tanto, Wilian inscribió el curso de pensamiento
lógico matemático en la UNAD.

Expresión simbólica:
p →q
∼q
_____
~p

 Ley de inferencia de la expresión: Modus Tollendo Tollens (TT)

 Proposiciones simples:

P: Wilian inscribió el curso de pensamiento lógico y matemático en la UNAD

q: Wilian debe ingresar a la plataforma para desarrollar las actividades

 Lenguaje Natural:

Wilian inscribió el curso de pensamiento lógico y matemático en la

UNAD entonces Wilian debe ingresar a la plataforma para desarrollar
las actividades. Wilian no debe ingresar a la plataforma para
desarrollar las actividades. Por lo tanto, Wilian no inscribió el curso
de pensamiento lógico y matemático en la UNAD.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

 Argumento:

B. Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana o

corro 45 minutos diario. Si Realizo 15 kilómetros en 45 minutos pedaleando
tres veces por semana entonces mi cuerpo mejora el sistema circulatorio. Si
corro 45 minutos diario entonces mi cuerpo mejora el sistema circulatorio.
  Conclusión: Mi cuerpo mejora el sistema circulatorio

 Ley de inferencia aplicada: Simplificación Disyuntiva (SD)

 Lenguaje simbólico:

p: Realizo 15 kilómetros en 45 minutos pedaleando tres veces por semana

q: corro 45 minutos diario
r: mi cuerpo mejora el sistema circulatorio

p ˅q
p→q
q→r
r

Ejercicio 4: Problemas de aplicación

B. Expresión simbólica:

[(p v q) ∧ (p →r) ∧ ∼q ] → r

 Premisas:

P1: p v q

P2: p →r

P3: ∼q

Conclusión: r

 Proposiciones simples:

p: Wilian asiste a los CIPAS de la UNAD

q: Wilian inscribió el curso de Excel avanzado
r: Wilian está inscrito al CEAD Yopal
  Lenguaje Natural:

Wilian asiste a los CIPAS de la UNAD o Wilian inscribió el curso de Excel

avanzado y Wilian asiste a los CIPAS de la UNAD. entonces Wilian
está inscrito al CEAD Yopal y Wilian no inscribió el curso de Excel
avanzado por lo tanto Wilian está inscrito al CEAD Yopal.

 Tabla de verdad manual:

 Tabla de verdad Simulador UNAD

 Demostración de la validez del argumento mediante las Leyes

de Inferencia:

P1: p v q

P2: p →r

P3: ∼q
Conclusión: r
P4: Modus Tollendo Ponens (MTP) entre: P1 y P3

BIBLIOGRAFIAS

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

http://hdl.handle.net/10596/13871