INTRODUCCION

Este trabajo es del curso de pensamiento lógico matemático, en el que se

explica que es un cuantificador existencial, cuáles son las frases de este
cuantificador y se da dos ejemplos. Seguido encontramos la descripción de un
ejercicio un argumento, a este se define las proposiciones simples, también
definir las proposiciones y pasarlas al lenguaje simbólico y generar la tabla d
verdad en el simulador TRUTH y hacer la tabla manual. Finalizando se
remplaza las variables expresadas simbólicamente y se pasa al lenguaje
natural, se hace la tabla en el simular TRUTH y la tabla manual y se define si el
argumento es tautología, contradicción o contingencia.
 A. p: La marihuana es legal en Colombia
q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto
𝒑 → (𝒒 ∧ 𝒓)

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

Solución
La marihuana es legal en Colombia entonces en Colombia disminuye el
microtráfico y en Colombia disminuye el delito de hurto.

➢ 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.
Solución
p q r q∧r 𝒑 → (𝒒 ∧ 𝒓)

V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V

El resultado es una contingencia ya que cuando es verdadera en al menos un

mundo posible y falsa en otro.
➢ 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
Solución

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

representan algunas leyes de inferencia.

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

p →q
p
q
Modus Ponens (MP)
Permite eliminar el antecedente siempre que la segunda premisa sea dicho
antecedente.
r
s
r∧S
Adjunción
Permite que dos proposiciones dadas como premisas, donde ambas son
verdaderas; se puedan por medio del termino y, originando como conclusión
una conjunción.
pv ¬ q
q
p
Modus ponens (MP)
Permite eliminar el antecedente siempre que la segunda premisa sea dicho
antecedente.

➢ 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), ejemplo: • p: Carlos estudia en la
UNAD • q: La UNAD es una Universidad Pública 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.
Solución
p→q
p
q
p: Carlos quiere aprobar el curso de lógica
q: Debe estudiar mucho

r
s
r∧S
r: Carlos estudia lógica
s: pedro estudia geometría

pv ¬ q
q
p
q→ p
q
p

q: Estudio para mi examen

p: apruebo

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en

lenguaje simbólico.
Solución

p→q
p
q
p: Carlos quiere aprobar el curso de lógica
q: Debe estudiar mucho
sí Carlos quiere aprobar el curso de lógica entonces debe estudiar mucho.
Carlos Quiere aprobar el curso de lógica por lo tanto debe estudiar mucho

r
s
r∧S
r: Carlos estudia lógica
s: pedro estudia geometría
Carlos estudia lógica y pedro estudia geometría

pv ¬ q
q
p
q→ p
q
p

q: Estudio para mi examen

p: apruebo
Si estudio para mi examen entonces aprobare. estudie para mi examen. Por lo
tanto, aprobare.

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

A. Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es

6+1 entonces es igual a la suma 5+2. a. Conclusión:
____________________________________
B. b. Ley de inferencia aplicada: ________________________
C. c. Lenguaje simbólico: ______________________________

➢ Identificar la conclusión del argumento.

Solución
Si la suma es 4+3 entonces es igual a la suma 5+2 (p→r)

➢ Nombrar la ley de inferencia que se aplica para probar el argumento.

Solución
Silogismo hipotético (SH)

➢ Definir la expresión del argumento en lenguaje simbólico o formal.

Solución
P: la suma es 4+3
q: la suma es igual a 6+1
r: la suma es igual a 5+1
p →q
q→r
p →r

4) A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 4:
A. Expresión simbólica: {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧ 𝑟)
Premisas:
P1:𝑝 ∨ 𝑞
P2:𝑝 → 𝑟
P3:¬𝑟 ∧ ¬q
Conclusión: 𝑝 ∧ q

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, ejemplo:
• p: Carlos estudia en la UNAD• q: La UNAD es una Universidad Pública.
Solución
P: la unad es publica
q: la unad es privada
r: existe el apoyo a la equidad estudiantil
¬ q: la unad no es privada
¬ r: no existe el apoyo a la equidad estudiantil

➢ 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.
 Solución
Si la unad es publica o la unad es privada y si la unad es publica entonces
existe apoyo a la equidad estudiantil y si no existe el apoyo a la equidad
estudiantil entonces la unad no es privada, por lo tanto, la unad es publica y
existe el apoyo a la equidad estudiantil.

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

(En Word, Excel o foto del desarrollo manual).

Solución
A = (𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟)
B = ¬𝑟 ∧ ¬q
C= {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)}
D = {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧ 𝑟)

P q r p ∨q p →r A ¬r ¬q B C p∧q D
V V V V V V F F F F V V
V V F V V F V F F F V V
V F V V V V F V F F F V
V F F V V F V V V F F V
F V V V V V F F F F F V
F V F V V V V F F F F V
F F V F F F F V F F F V
F F F F F F V V V F F 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.
Solución
➢ Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
Solución
A. Expresión simbólica: {(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (¬𝑟 ∧ ¬𝑞)} → (𝑝 ∧ 𝑟)
Premisas:
P1:𝑝 ∨ 𝑞
P2:𝑝 → 𝑟
P3:¬𝑟 ∧ ¬q
P4: ¬q (simplificación p3)
P5: p ( silogismo hipotético p1, p4)
P6: r ( modus pones p2, p5)
P7: 𝑝 ∧ q
CONCLUSION

Esta actividad de la unidad 1 en lo personas fue muy gratificante, adquirí un

nuevo conocimiento muy importante en estas áreas que me gustan mucho y es
de mi total interés para lo que me estoy formando, cada paso de esta actividad
fue un reto para mí al inicio tuve dificultades, pero las supere. Las ganas de
aprender cada día más nos hacen ver que nada es imposible que querer es
poder.

Bibliografía

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

grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).

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

(pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria.