.

Unidad 1- Fundamentos de lógica

Juan Carlos Calero LÓPEZ

Curso 200611 – Pensamiento Lógico Matemático

Grupo 17

Tutor:

Alexis Trujillo

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI

Tecnología en Logística Industrial

Tenjo

2021
 Contenido
Introducción.......................................................................................................................................3
Objetivos............................................................................................................................................4
Ejercicio 1: Proposiciones y tablas de verdad.....................................................................................5
Ejercicio 2: Identificación de las reglas de la inferencia lógica...........................................................7
Ejercicio 3: Aplicación de las reglas de la inferencia lógica.................................................................8
Ejercicio 4: Problemas de aplicación..................................................................................................9
Conclusion........................................................................................................................................13
Referencias Bibliográficas................................................................................................................14
 Introducción

El presente trabajo tiene como finalidad desarrollar 4 puntos referentes a

proposiciones, tablas de verdad y reglas de inferencia para demostrar ciertas propiedades

lógicas del lenguaje natural o lenguaje simbólico. A través de lecturas y herramientas que

nos brinda la universidad se aprendió a comprender el desarrollo de la actividad

compartiéndolos en el foro de discusión.

 Objetivos

 Comprender el desarrollo de los principios de las operaciones de cálculo

proposicional del lenguaje verbal a variables lógicas.

 Analizar los enunciados para el desarrollo de las tablas de verdad.

 Identificar y aplicar las diferentes leyes de la inferencia según enunciados

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio: A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:

p: Estudiamos para el parcial

q: Nos distraemos estudiando

r: Nos dormimos estudiando

(𝒑 ∧ ~𝒒) ∨ ~r lenguaje simbólico

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

➢ Escriba la proposición compuesta propuesta en lenguaje natural.

Estudiamos para el parcial y no nos distraemos estudiando, o no nos dormimos estudiando

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar
si el resultado es una tautología, contingencia o contradicción.

p q r (~q) (p∧(~q)) (~r) (((p∧(~q)))v(~r))

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

Es una contingencia porque no es verdadero ni falso totalmente

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
1- Tarea 1 - Métodos para probar la validez de argumentos.

➢ Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1

seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc u
otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y
mostrar a la cámara su documento de identificación, ocultando el número del mismo (En la
imagen se debe ver claramente el nombre y apellidos del estudiante).

Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el enlace
debajo de la solución del ejercicio en el documento final a entregar. El vídeo no debe
superar los 3 minutos de duración.

Enlace video de la actividad

https://www.youtube.com/watch?v=iEa2_UuFbjE

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

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:

C. Expresión simbólica

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

r→ s
r modus ponendo ponens (PP)
s

p
q adjunción (A)
p∧q

p→s¬q
q modus tollendo tollens (TT)
¬p

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las mismas
proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas)

p= Juan Carlos estudia en la noche

q= estudiar virtual en la Unad es gratificante

s= Juan Carlos es un buen estudiante

r= Juan Carlos pasara sus materias

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico

r→ s
r Juan Carlos pasara sus materias entonces Juan Carlos es un buen estudiante. Juan
s
Carlos pasara sus materias. Por lo tanto Juan Carlos es un buen estudiante.

p
q Juan Carlos estudia en la noche. Estudiar virtual en la Unad es gratificante. Por lo
p∧q
tanto Juan Carlos estudia en la noche o estudiar virtual en la Unad es gratificante

p → ¬q
q Juan Carlos estudia en la noche entonces, estudiar virtual en la Unad no es
¬p
gratificante. Estudiar virtual en la Unad es gratificante. Por lo tanto Juan Carlos no estudia
en la noche.

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

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

C. Voy a ver alumbrados o prendo velitas en mi casa. No voy a ver alumbrados.

a. Conclusión: No voy a ver alumbrados

b. Ley de inferencia aplicada: Tollendo ponens (TP)

c. Lenguaje simbólico:

p = Voy a ver alumbrados

q = prendo velitas en mi casa

pVq
q
p

Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

C. Expresión simbólica: {(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑟) ∧ (𝑞 → 𝑟)} → (¬𝑝)

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 ∧ ¬𝑟

P3: 𝑞 → 𝑟

Conclusión: ¬p
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.

Proposiciones simples:

p = Juan Carlos estudia en la noche

q = estudiar virtual en la Unad es gratificante

r = Juan Carlos pasara sus materias

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

Lenguaje natural:

Si Juan Carlos estudia en la noche entonces estudiar virtual en la Unad es gratificante y

estudiar virtual en la Unad es gratificante y Juan Carlos no pasara sus materias y si estudiar
virtual en la Unad es gratificante entonces Juan Carlos pasara sus materias. Por lo tanto
Juan Carlos no estudia en la noche

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

p q r (p → (q∧(~r (q→r {(𝑝 → 𝑞) ∧ (~p {(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑟) ∧ (𝑞 → 𝑟)}

q) ) ) (𝑞 ∧ ¬𝑟) ∧ (𝑞 ) →(~p)
→ 𝑟)}
V V V V F V F F V
V V F V V F F F V
V F V F F V F F V
V F F F F V F F V
F V V V F V F V V
F V F V V F F V V
F F V V F V F V V
 F F F V F V F V V

➢ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
1- Tarea 1 - Métodos para probar la validez de argumentos.

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

{(𝑝 → 𝑞) ∧ (𝑞 ∧ ¬𝑟) ∧ (𝑞 → 𝑟)} → (¬𝑝)

P1: 𝑝 → 𝑞

P2: 𝑞 ∧ ¬𝑟

P3: 𝑞 → 𝑟
Conclusión: ¬ P

P4: q simplificación (P2)

P5: ¬𝑟 simplificación (P2)

P6: p → q silogismo hipotético (P1, P3)

P7: ¬ P tollendo tollens (P6, P5)

 Conclusion

La lógica matemática nos ofrece métodos que nos permiten analizar oraciones o frases de
manera simbólica o natural, por medio proposiciones, tablas de verdad y las leyes de
inferencia.
 Referencias Bibliográficas

 Curo, A. (2015). Matemática básica para administradores. https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

 Rodríguez, V. R. (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 https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios

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

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59