ESCUELA CIENCIAS DE LA EDUCACIÓN

LICENCIATURA EN PEDAGOGÍA INFANTIL

CURSO: PENSAMIENTO LOGICO Y MATEMATICO

CODIGO: 200611_1299

NOMBRE DEL ESTUDIANTE:

ANGIE LORENA SERRATO SARRIA

CÓDIGO: 1004248021

PRESENTADO A: AURA ELISA QUESADA SEPULVEDA

TUTORA

PROGRAMA AL QUE PERTENECE EL ESTUDIANTE:

LICENCIATURA EN PEDAGOGIA INFANTIL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FECHA DE ELABORACIÓN:

OCTUBRE/04/2020
Introducción

A continuación encontraras el desarrollo de la actividad la cual esta ordenada de la siguiente manera:

objetivos generales y específicos, luego el desarrollo de cuatro ejercicios junto con el link de acceso al
video explicativo exponiendo el ejercicio1, (Ejercicio 1: Proposiciones y tablas de verdad, Ejercicio 2:
Identificación de las reglas de la inferencia lógica, Ejercicio 3: Aplicación de las reglas de la inferencia
lógica y Ejercicio 4: Problemas de aplicación), seguidamente las conclusiones y por ultimo las
referencias.
Objetivos

 Objetivo General

Adquirir conocimientos acerca de las tablas de verdad y reglas de inferencia para probar la
validez de argumentos.

 Objetivos Específicos

 Comprender como generar tablas de verdad a partir de diferentes premisas de forma

manual y con el simulador de la UNAD.

 Identificar cuáles son las reglas de inferencia para probar la validez de argumentos.

 Conocer la manera correcta de aplicar las reglas de inferencia lógica.

Ejercicio 1_ Proposiciones y tablas de verdad

Proposiciones simples

p: El 2020 fue un año atípico para todo el mundo

q: El COVID19 afecto gran parte de la economía
r: El COVID19 nos hizo reinventar en muchos campos de acción

Lenguaje simbólico

(𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)

Lenguaje natural

El 2020 fue un año atípico para todo el mundo O El COVID19 nos hizo reinventar en muchos
campos de acción. Y El 2020 fue un año atípico para todo el mundo SI Y SOLO SI El
COVID19 afecto gran parte de la economía.

Tabla manual

p q r 𝑝∨𝑟 𝑝↔𝑞 (𝑝 ∨ 𝑟) ∧ (𝑝 ↔ 𝑞)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F

Se clasifica como: contingencia.

Tabla de verdad, simulador UNAD
Link del video:

https://youtu.be/AP4D8QTdeKA

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

Expresiones simbólicas

p: Lorena estudia en la UNAD

q: algunos estudiantes de la UNAD estudian Licenciatura en pedagogía infantil
r: los estudiantes usan el campus virtual para entregar actividades
s: la UNAD es una universidad publica

Primera expresión simbólica

Ley de inferencia de la expresión: Modus ponens

Proposiciones simples:

r: los estudiantes usan el campus virtual para entregar actividades

s: la UNAD es una universidad publica

Lenguaje natural: Si los estudiantes usan el campus virtual para entregar actividades entonces
la UNAD es una universidad pública. Los estudiantes usan el campus virtual para entregar
actividades. la UNAD es una universidad pública.

Segunda expresión simbólica

Ley de inferencia de la expresión: Silogismo disyuntivo

Proposiciones simples:

p: Lorena estudia en la UNAD

q: algunos estudiantes de la UNAD estudian Licenciatura en pedagogía infantil

Lenguaje natural: Si Lorena estudia en la UNAD entonces algunos estudiantes de la UNAD

estudian Licenciatura en pedagogía infantil. Algunos estudiantes de la UNAD No estudian
Licenciatura en pedagogía infantil. Lorena No estudia en la UNAD.
Tercera expresión simbólica

Ley de inferencia de la expresión: simbolismo hipotético

Proposiciones simples:

p: Lorena estudia en la UNAD

q: algunos estudiantes de la UNAD estudian Licenciatura en pedagogía infantil
r: los estudiantes usan el campus virtual para entregar actividades

Lenguaje natural: Si Lorena estudia en la UNAD entonces algunos estudiantes de la UNAD

estudian Licenciatura en pedagogía infantil. Si algunos estudiantes de la UNAD estudian
Licenciatura en pedagogía infantil entonces los estudiantes usan el campus virtual para entregar
actividades. Si Lorena estudia en la UNAD entonces los estudiantes usan el campus virtual para
entregar actividades.

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

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al

gimnasio.

a. Conclusión: (q) Rafael tiene un cuerpo tonificado

b. Ley de inferencia aplicada: modus ponens

c. Lenguaje simbólico:
P1: p–> q
P2: p
--------------
Q: q

p: Rafael va al gimnasio
q: Rafael tiene un cuerpo tonificado

Ejercicio 4: Problemas de aplicación

A. Expresión simbólica: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3:𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬r

➢ 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: Tatiana aprueba teorías del aprendizaje

q: estudia el caso de Lola
r: participa en los aportes grupales

No,r: no participa en los aportes grupales

No,q: no estudia el caso de Lola

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

Si Tatiana aprueba teorías del aprendizaje entonces no participa en los aportes grupales Y si no
estudia el caso de Lola entonces Tatiana aprueba teorías del aprendizaje Y Tatiana aprueba
 teorías del aprendizaje Y no estudia el caso de Lola. Por lo tanto Tatiana aprueba teorías del
aprendizaje Y no participa en los aportes grupales.

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

Generar la tabla de verdad a través del simulador Lógica UNAD

Tautología

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

A. Expresión simbólica: {(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
 P3:𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬r

Conclusiones

Luego de haber desarrollado el presente trabajo gracias a los recursos que se nos brindaron en el
campus y el acompañamiento de diferentes tutores, logre comprender y generar tablas de verdad
desde diferentes premisas de forma manual y con el simulador la UNAD que se facilitaba en el
anexo2 de la unidad1 adjunto a la guía de actividades, identifique cuales son las reglas de
inferencia y la manera correcta en que se aplican tomando como guía los ejemplos del anexo1 y
finalmente aplicarlas para probar su validez.

Referencias

Universidad Nacional Abierta y a Distancia UNAD. (2013). Conjuntos numéricos,

estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado de:
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20
 Universidad Nacional Abierta y a Distancia UNAD. (2014). Matemáticas discretas:
aplicaciones y ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria.
Recuperado de: https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?
page=39

Universidad Nacional Abierta y a Distancia UNAD. (2013). Una introducción a las

matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).
Recuperado de: https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?
page=59