1
Ejercicio 1: Proposiciones y tablas de verdad
p: Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico.
q: Un semillero de investigación dinamiza la adquisición de competencias investigativas.
(p∨q) ∧ (~p → q)
➢ Escribir la proposición compuesta propuesta en un lenguaje natural.
Rta: Si p o q y no ~p si solo si q.
Los semilleros de investigación de la UNAD desarrollan el pensamiento crítico o un
semillero de investigación dinamiza la adquisición de competencias investigativas y no los
semilleros de investigación de la UNAD desarrollan el pensamiento crítico si solo si un semillero
de investigación dinamiza la adquisición de competencias investigativas.
➢ 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.
Rta: Entonces a la anterior expresión esta compuesta por 2 proposiciones simples
afirmativas, entonces el numero de filas seria 22= 2*2=4 filas
(p ∨q) ∧ (~p → q)
p q (p ∨ q) ∧ (~p → q) (p ∨q) ∧ (~p → q)
V V V V V V F V V V
V F V V F F F F F V
F V V V V F V V V V
F F F F F F V V F F
2
Como podemos observar en la última columna se obtuvieron los valores verdaderos (V) y
falso (F), por lo que la proposición compuesta ese clasifica como una contingencia.
Se clasifica como: Contingencia.
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.
Rta:
Link vídeo explicativo ejercicio 1:
3
Ejercicio 2: Aplicación de las reglas de inferencia lógica
E. Si un estudiante aplica al programa jóvenes en acción entonces no cuenta con título
profesional universitario. Un estudiante aplica al programa jóvenes en acción.
A. Lenguaje simbólico:
p: Si un estudiante aplica al programa jóvenes en acción
q: cuenta con título profesional universitario.
p →~q
c: ~q
B. Ley de inferencia aplicada: Modus Ponendo Ponnens
C. Conclusión: no cuenta con título profesional universitario
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
➢ Definir la expresión del argumento en lenguaje simbólico o formal.
P1: p →~q: Si un estudiante aplica al programa jóvenes en acción entonces no cuenta con
título profesional universitario
P2: p: Si un estudiante aplica al programa jóvenes en acción.
c: ~q: No cuenta con título profesional universitario
➢ Nombrar la ley de inferencia que se aplica para probar el argumento.
RTA: Modus Ponendo Ponens
➢ Identificar la conclusión del argumento.
RTA: No cuenta con título profesional universitario
4
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
E: [(~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)]→ ~q ᴧ r
Conclusión: (~q) ᴧ r
P1: ~p→r P2: q→s P3: ~p ᴧ ~s
Demostración:
Paso 1: Obtención de la Premisa 4. Se aplica la ley del Simplificación entre las
premisas 3
P3: ~p ᴧ ~s
Paso 2: Obtención de la Premisa 5. Si observo las premisas 3, puedo aplicar la ley
del Simplificación
P3: ~p ᴧ ~s
Paso 3: Obtención de la Premisa 6: Al comparar las premisas 1 y 4, aplico el
Modus Ponendo Ponens (MPP)
P1: ~p→r
P4: ~p
Paso 4: Obtención de la Premisa 7: Al comparar las premisas 2 y 5 puedo aplicar el
Modus Tollendo Tollens (MTT)
P2: q→s
P5: ~s
Paso 5: Obtención de la premisa 9, Al comparar las premisas 6 y 7 puedo aplicar la
ley de Adjunción
P6: r P7: ~q
5
A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
➢ Realizar la tabla de la verdad mediante el simulador de lógica UNAD
Como podemos observar en la última columna se obtuvieron todos los valores como
verdadero (V) por lo tanto, la proposición compuesta se clasifica como una Tautología.
6
➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas para
avanzar en la demostración
Premisa Ley de inferencia aplicada Premisas usadas
P4: ~p Simplificación P3
P5: ~s Simplificación P3
P6: r Modus Ponendo Ponens (MPP) P1 y P4
P7: ~q Modus Tollendo Tollens (MTT) P2 y P5
P9: (~q ᴧ r) Adjunción P6 y P7
Demostración:
Paso 1: Obtención de la Premisa 4. Se aplica la ley del Simplificación entre las
premisas 3
P3: ~p ᴧ ~s
Paso 2: Obtención de la Premisa 5. Si observo las premisas 3, puedo aplicar la ley
del Simplificación
P3: ~p ᴧ ~s
Paso 3: Obtención de la Premisa 6: Al comparar las premisas 1 y 4, aplico el
Modus Ponendo Ponens (MPP)
P1: ~p→r
P4: ~p
Paso 4: Obtención de la Premisa 7: Al comparar las premisas 2 y 5 puedo aplicar el
Modus Tollendo Tollens (MTT)
P2: q→s
7
P5: ~s
Paso 5: Obtención de la premisa 9, Al comparar las premisas 6 y 7 puedo aplicar la
ley de Adjunción
P6: r
P7: ~q
Conclusión: P9: (~q ᴧ r)
Ejercicio 4: Problemas de aplicación.
E. Expresión simbólica:
[(𝒑∧𝒓)∧(𝒒∨¬𝒓)∧(𝒑→𝒒)]→(𝒒)
P1: (𝑝∧𝒓)
P2: (𝒒∨¬𝒓)
P3: (𝑝→𝑞)
Conclusión: 𝑞
A partir de la expresión simbólica seleccionada, el estudiante deberá:
➢ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural.
p: Esleider estudia psicología en la UNAD.
q: Esleider debe comprar algunos artículos para su familia.
r: Trabaja como emprendedor de artículos de tecnología.
8
Esleider estudia psicología en la UNAD y trabaja como emprendedor de artículos
de tecnología, Esleider debe comprar algunos artículos para su familia o no comprar cosas
para su emprendimiento de artículos de tecnología.
Esleider estudia en la UNAD entonces debe compara artículos para su familia.
➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
(𝑝∧𝒓 ¬ (𝒒∨¬𝒓 (𝒑→𝒒 [(𝒑∧𝒓)∧(𝒒∨¬𝒓)∧(𝒑→𝒒 [(𝒑∧𝒓)∧(𝒒∨¬𝒓)∧(𝒑→𝒒)]→(
p q r
) 𝒓 ) ) )] 𝒒)
V V V V V V V V V
V V F F F V V F V
V F V V V F F F V
V F F F F V F F V
F V V F V V V F V
F V F F F V V F V
F F V F V F V F V
F F F F F V V 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 6 - Simulador Lógica UNAD.
[(𝒑∧𝒓)∧(𝒒∨¬𝒓)∧(𝒑→𝒒)]→(𝒒)
9
➢ Demostración de la validez del argumento mediante las leyes de la inferencia
lógica.
Premisa Ley de inferencia aplicada Premisas usadas
P4: q Modus Ponnendo Ponnens (MPP). P3
[(𝒑∧𝒓)∧(𝒒∨¬𝒓)∧(𝒑→𝒒)]→(𝒒)
P1: (𝑝∧𝒓)
P2: (𝒒∨¬𝒓)
P3: (𝑝→𝑞)
Conclusión: 𝑞
Paso 1: Obtención de la premisa 4, Al comparar las premisas 3 puedo aplicar la ley
de Modus Ponnendo Ponnens (MPP).
P3: (𝑝→𝑞)
Conclusión: P4: q
