Ejercicio 1: Proposiciones y Tablas de Verdad

Estudiante: Irene Muñoz Fernandez

Grupo: 200611_2611

Tutor: Miguel Ángel Gordillo

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias de la Educación - ECEDU

Pensamiento Lógico y Matemático

Zipaquirá, 25 /09 /2022

 Introducción

El presente trabajo se realiza en base a la guía rubrica numero 1 en el cual

trabajamos proposiciones simples y tablas de verdad en el desarrollo de cada actividad
logre adquirir mas conocimiento y me permitió comprender cada concepto mediante el
material de apoyo dispuesto en el entorno de aprendizaje y de esta forma poder aplicar la
solución a cada problema.
Letra Seleccionada: B

Ejercicio 1: Proposiciones y Tablas de Verdad

A continuación, encontrara las proposiciones simples para el desarrollo del ejercicio

Proposiciones Simples

p: El modelo pedagógico Unadista está apoyado en el E-learning.

q: El MPU tiene accionar de aprendizaje autónomo

r: El MPU tiene accionar de aprendizaje significativo

s: El MPU tiene accionar de aprendizaje colaborativo

Lenguaje Simbólico

(r ^q) v (r^s) p

Lenguaje Natural

Si el MPU tiene accionar de aprendizaje significativo y accionar de

aprendizaje autónomo o El MPU tiene accionar de aprendizaje significativo

y accionar de aprendizaje colaborativo entonces el modelo pedagógico

Unadista está apoyado en el E-learning.

Tabla Manual

(r ^ q) v (r ^ s)
p q r s r ^q r^s →p
V V V V V V V
V V V F V F V
V V F V F F V
V V F F F F V
 V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V V V F
F V V F V F F
F V F V F F V
F V F F F F V
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V

Se clasifica como: Contingencia

 Tabla de Verdad Simulador UNAD

Enlace video. https://youtu.be/apbY4SvAIbM

Letra Seleccionada: B

Ejercicio 2: Identificación de las Reglas de la Inferencia Lógica

 Expresión Simbólica

 Expresión Simbólica

 Ley de Inferencia de la Expresión: Tollendo Ponens (MTP), Negando –

Afirmo, se debe tener entre las premisas una disyunción y uno de los

elementos debe estar negando mientras el otro está afirmando para así

descartar un elemento de la disyunción

 Proposiciones Simples:

p: Juan llega puntualmente a las prácticas de la UNAD

q: La UNAD es una universidad virtual

  Lenguaje Natural:

Por lo tanto, Juan llega puntual a las prácticas de la UNAD o la UNAD es

una Universidad. Juan llega puntual a las prácticas de la UNAD que es una Universidad

virtual.
 Expresión Simbólica:

 Ley de Inferencia de la Expresión: Silogismo Hipotético (SH), si una

causa se sigue una consecuencia y esta consecuencia es a su vez causa de

una segunda consecuencia se puede decir que es primera causa es causa de

esa segunda consecuencia

 Proposiciones Simples:

p: Juan llega puntualmente a las prácticas de la UNAD

q: La UNAD es una universidad virtual

 Lenguaje Natural:

Si Juan llega tarde a su práctica en la UNAD entonces se conectará

tarde a la UNAD su Universidad virtual. sí Juan llega a tiempo a sus

prácticas entonces se conectará temprano a la UNAD su universidad virtual

 Expresión Simbólica:

 Ley de Inferencia de la Expresión: Adjunción (A), significa que tengo dos

premisas separadas y esta se pueden unir mediante el conector ^

 Proposiciones Simples:
 p: Juan llega puntualmente a las prácticas de la UNAD

r: La UNAD es una universidad virtual

 Lenguaje Natural:

Por lo tanto, Juan llega puntualmente a las prácticas de la UNAD y la

UNAD es una universidad virtual.

Ejercicio 4 Problemas de aplicacion

 Expresion simbólico: {(𝑟 ⟶ 𝑠) ∧ 𝑟)} ⟶ (𝑠 ∨ 𝑡)

Premisas:
P1: Juan come lento
P2: Juan maneja su tiempo

 Lenguaje natural:

Juan come lento entonces maneja su tiempo. Y sí Juan come lento entonces,
Juan maneja su tiempo o como lento.

 Tabla de verdad manual

r s t r→s svt {(r→s) ^ r)} → (svt)

V V V V V V
V V F V V V
V F V F V V
V F F F F V
F V V V V V
F V F V V V
F F V V V V
F F F F F V
 Tabla de verdad simulador UNAD
 Conclusiones

Puedo concluir que cada tema visto y trabajado en la guía fue de gran ayuda para lograr
realizar todos los ejercicios planteados, durante el desarrollo de cada uno logre comprender el tema
y profundizar conceptos relacionados en las tablas de verdad, proposiones simples y compuestas, la
clasificación según su valor V o F logre entender la lógica proposicional la identificación de las
reglas de inferencia lógica.
 Bibliografía

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad.  Repositorio

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

Castaño, C. (2017). OVI. Leyes de inferencia.  Repositorio Institucional

UNAD.  http://hdl.handle.net/10596/13869 

Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/31590