ANEXO 5 - Guía para el desarrollo de la tarea 2

El presente anexo tiene como finalidad brindar un ejemplo, para la

solución de los ejercicios de la Tarea 2.

Se recomienda revisar el paso a paso de cada uno de los ejercicios aquí

descritos y aplique correctamente lo leído y lo aprendido del material de
apoyo para el desarrollo de la unidad 2.

Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el

desarrollodel ejercicio 1:

➢ Proposiciones simples
p: La educación a distancia exige mayor responsabilidad que la
educación presencial

q: La UNAD tiene una plataforma con tres entornos que facilitan el

aprendizaje.

r: En el entorno de aprendizaje se dispone de la bibliografía

suficiente de cada unidad

➢ Lenguaje simbólico
((p→q)∧(q↔r)) ∨ (~r∧ q)

➢ Lenguaje Natural

Si p entonces q y q si y solo si r, o no r y q.

Si La educación a distancia exige mayor responsabilidad que la

educación presencial entonces La UNAD tiene una plataforma con tres
entornos que facilitan el aprendizaje y La UNAD tiene una plataforma
con tres entornos que facilitan el aprendizaje si y solo si En el entorno
de aprendizaje se dispone de la bibliografía suficiente de cada unidad,
 o el entorno de aprendizaje NO se dispone de la bibliografía suficiente
de cada unidad y La UNAD tiene una plataforma con tres entornos que
facilitan el aprendizaje.

➢ Tabla manual.
Para elaborar la tabla, revisa el sumario 1.

((p→q)∧(q↔r)) ∨ (~r∧ q)
Tabla 1 Tabla de verdad ejercicio ejemplo 1

𝒑 𝒒 𝒓 ∼ 𝒒 ∼𝒓 𝒑 → 𝒒 𝒒 ↔ 𝒓 (~r∧ q) ((p→q)∧(q↔r)) ((p→q)∧(q↔r)) ∨

(~r∧ q)
1 V V V F F V V F V V
2 V V F F V V F V F V
3 V F V V F F F F F F
4 V F F V V F V F F F
5 F V V F F V V F V V
6 F V F F V V F V F V
7 F F V V F V F F F F
8 F F F V V V V F V V

➢ Se clasifica como: Contingencia.

➢ Tabla de verdad Simulador UNAD

Ilustración 1 Tabla de verdad simulador Lógica UNAD

Al comparar la tabla de verdad del simulador y la manual en su
última columna venos que los resultados son iguales, una señal que
la tabla manual fue realizada correctamente.
Link del vídeo explicativo ejercicio 1: ________________________

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

➢ Argumento: Camila es una líder ambiental de Urabá o prefiere

concentrarse en los derechos de la mujer. Si Camila es una líder
ambiental de Urabá entonces estudia en la Escuela de Ciencias Agrícolas,
Pecuarias y del Medio Ambiente. Si Camila prefiere concentrarse en los
derechos de la mujer, entonces estudia en la Escuela de Ciencias
Sociales, Artes y Humanidades

➢ Lenguaje simbólico:

p: Camila es una líder ambiental de Urabá

q: Camila prefiere concentrarse en los derechos de la mujer.

r: Camila estudia en la Escuela de Ciencias Agrícolas Pecuarias y del

Medio ambiente

s: Camila estudia en la Escuela de Ciencias Sociales, Artes y

Humanidades

➢ Lenguaje simbólico:

P1: p v q

P2: p→r

P3: q→s

Conclusión: r v s
➢ Ley de inferencia aplicada: Silogismo Disyuntivo (SD)

➢ Conclusión: Camila estudia en la escuela de Ciencias Agrícolas

Pecuarias y del Medio Ambiente o Estudia en la escuela de Ciencias
Sociales Artes y Humanidades.
Ejercicio 3. Demostración de un argumento usando las reglas de
la inferencia lógica

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del

ejercicio 3, encuentra la demostración paso a paso y debe indicar que
ley de inferencia se aplica y entre que premisas se aplica.

➢ Realizar la tabla de verdad usando el simulador de lógica UNAD

(Anexo 6 – Simulador Lógica UNAD)
➢ Establecer la ley de inferencia y las premisas utilizadas para
avanzar en la demostración.

Expresión simbólica
[(p→q) ^ (q→r) ^ (~r) ]→ [(~p ^ ~q)v r]

Tabla de verdad

Ilustración 2 Tabla de verdad simulador UNAD

 Demostración.

[(p→q) ^ (q→r) ^ (~r)]→ [(~p ^ ~q) v r]

P1: p→q Conclusión: [(~p ^ ~q) v r]

P2: q→r
P3: ~r
Se hará el paso a paso y al final el resumen en la tabla.

Paso 1: Obtención de la Premisa 4. Se aplica la ley del Silogismo

hipotético ente las premisas 1 y 2
P1: p→q
P2: q→r
P4: p→r SH (1,2)

Paso 2: Obtención de la Premisa 5. Si observo las premisas 4 y 3,

puedo aplicar el Modo que, negando Niego, es decir el Modus Tollendo
Tollens
P4: p→r
P3: ~r
P5: ~p MTT(3,4)

Paso 3: Obtención de la Premisa 6: Al comparar las premisas 2 y 3, y

aplico el MTT
P2: q→r
P3: ~r
P6: ~q MTT(2,3)

Paso 4: Obtención de la Premisa 7: Al comparar las premisas 5 y 6

puedo aplicar la ley de Adjunción
P5: ~p
P6: ~q
P7: (~p ^ ~q) LA(5,6)

Paso 5: Obtención de la premisa 8, igual a la conclusión. Si se aplica

la ley de Adición en la Premisa 7. Se llega a la Conclusión.
P7: (~p ^ ~q)
P8: (~p ^ ~q) v r LAd(7)
Usted encuentra la tabla siguiente donde se resume lo explicado
anteriormente.

Tabla 2 Demostración validez de argumento por inferencia lógica

Premisa Ley aplicada Premisas

usadas
P4: p→ r Silogismo Hipotético (SH) P1 y P2
P5: ~p Modus Tollendo Tollens (MTT) P3 y P4
P6: ~q Modus Tollendo Tollens (MTT) P2 y P3
P7: (~q ^ ~q) Ley de Adjunción (LA) P5 y P6
P8: (~p^~q)v r Ley de Adición (LAd) P7

Ejercicio 4: Problemas de aplicación

➢ Expresión simbólica: [(𝑝 → ¬𝑞) ᴧ (𝑞 ∨ ¬𝑟) ᴧ 𝑟] → ¬𝑝

Premisas:
P1: 𝑝 →¬q
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

➢ Proposiciones simples: (Recuerde que las proposiciones

simples no van negadas y deben tener como mínimo 7 palabras)

p: Carlos estudia en las noches cálculo diferencial

q: Carlos maneja su tiempo de estudio adecuadamente
r: Carlos se atrasa en las actividades del curso

➢ Lenguaje Natural:

Si Carlos estudia en las noches cálculo diferencial entonces

Carlos no maneja su tiempo de estudio adecuadamente. Carlos
maneja su tiempo de estudio adecuadamente o Carlos no se
atrasa en las actividades del curso. Carlos se atrasa en las
actividades del curso. Por lo tanto, Carlos no estudia en las
noches cálculo diferencial.
 ➢ Tabla de verdad manual

[(𝑝 → ¬𝑞) ᴧ (𝑞 ∨ ¬𝑟) ᴧ 𝑟] → ¬𝑝

Tabla 3 Tabla de verdad ejercicio ejemplo 4

p q r ~p ~q ~r (𝑝 → ¬𝑞) (𝑞 ∨ ¬𝑟) [(𝑝 → ¬𝑞) ^ (𝑞 ∨ ¬𝑟) ^ 𝑟] [(𝑝 → ¬𝑞) ^ (𝑞 ∨ ¬𝑟) ^ 𝑟] → ¬𝑝

1 V V V F F F F V F V
2 V V F F F V F V F V
3 V F V F V F V F F V
4 V F F F V V V V F V
5 F V V V F F V V V V
6 F V F V F V V V F V
7 F F V V V F V F F V
8 F F F V V V V V F V

➢ Tabla de verdad Simulador UNAD

Ilustración 3 Tabla de verdad simulador UNAD Ejercicio 4

➢ Demostración de la validez del argumento mediante lasLeyes

de Inferencia:
P1: p→~q
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
𝑞 ∨ ¬𝑟
𝑟
𝑞

P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3

𝑝 →¬ 𝑞
𝑞
¬𝑝

P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4 = Conclusión

 SUMARIO 1. Valores de verdad de las
proposiciones compuestas de acuerdo con los
conectores

Ilustración 4 Ejemplo tabla de verdad conectores lógicos

Se destaca el conector y el caso especial de cada conector, igualmente

para la condicional es necesario tener en cuenta que solo es falsa
cuando el antecedente es verdad y el consecuente falso.
En la condicional es importante el orden o la dirección del enlace.
 SUMARIO 2. Resumen reglas de Inferencia

A continuación, se muestra un resumen de las principales leyes de

inferencia que se utilizan comúnmente en este curso.

1) Modus Ponnendo Ponnens (MPP). El modo que, afirmando,

afirmo.
Se aplica cuando tengo dos premisas, una condicional y otra que afirma
el antecedente del condicional, puedo concluir el consecuente del
condicional.
Se puede presentar de la siguiente manera

Tabla 4 MPP

Premisa 1 p→q p→~q ~p→q ~p→~q

P2: p p ~p ~p
Conclusión C: q ~q q ~q

2) Modus Tollendo Tollens (MTT), El modo que, negando niego

Se aplica cuando tengo dos premisas, una condicional y otra que niega
el consecuente del condicional, puedo concluir la negación del
antecedente.

Se puede presentar de la siguiente manera

Tabla 5 MTT

Premisa 1 p→q p→~q ~p→q ~p→~q

P2: ~q q ~q q
Conclusión C: ~p ~p p p

3) Modus Tollendo Ponnens (MTP), El modo que, negando

afirmo
Se aplica cuando tengo dos premisas, una disyunción y otra que niega
cualquiera de las dos proposiciones de la disyunción, puedo concluir la
negación del antecedente.

Se puede presentar de la siguiente manera

Tabla 6 MTP

Premisa 1 pvq pvq ~p v q p v ~q

P2: ~q ~p ~q q
Conclusión C: p q ~p p

4) Ley de Simplificación (LS)

Se aplica cuando tengo una sola premisa compuesta por dos
proposiciones simples o compuestas enlazadas por una conjunción. De
ella puedo concluir cualquiera de las dos proposiciones.

Se puede presentar de la siguiente manera

Tabla 7 LS

Premisa 1 p^q p^q ~p ^ (qvr) ~p ^ (qvr)

Conclusión C: p q ~p (qvr)

5) Ley de Adjunción (LA)

Se aplica cuando tengo dos premisas, de ellas puedo concluir la
conjunción de las dos premisas. (puede llamarse la inversa de la Ley de
Simplificación.

Se puede presentar de la siguiente manera

Tabla 8 LA

Premisa 1 p p ~p v q p v ~q
P2: ~q q→r ~q q
Conclusión C: p ^ ~q p ^ (q→r) (~p v q)^~q (p v ~q )^p

6) Ley de Adición (LAd)

Se aplica cuando tengo una premisa o proposición simple o compuesta y
necesito para llegar a demostrar la validez otra proposición independiente
que no tenga disponible, la puedo enlazar mediante la disyunción con esa
nueva proposición.

Se puede presentar de la siguiente manera

Tabla 9 LAd

Premisa 1 p p ~p r
Conclusión C: pvt pvq ~p v q r v ~q

7) Silogismo Hipotético (SH)

Se aplica cuando tengo dos premisas condicionales, con la característica

que el consecuente de una es el antecedente de la otra, se puede concluir
otra condicional con el antecedente de la una y el consecuente de la otra.

Se puede presentar de la siguiente manera

Tabla 10 SH

Premisa 1 p→q (p v q)→r ~p → q p → ~q

P2: q→r r → (s ^t) q → ~r ~q → r
Conclusión C: p→r (p v q)→ (s ^t) ~p → ~r p → r

8) Silogismo Disyuntivo (SD)

Esta ley se aplica cuando tengo tres premisas, dos condicionales y una
disyunción, con la característica que los antecedentes de las
condicionales hacen parte de la disyunción, se concluye la disyunción de
los consecuentes de las condicionales

Se puede presentar de la siguiente manera

Tabla 11 SD

Premisa 1 p→r pvq ~p v q p v ~q

P2: q→s q→s ~p → r ~q → r
P3 pvq p→r q → ~s p→s
Conclusión C: rvs rvs ~s v r rvs

9) Simplificación Disyuntiva (SiD)

Es un caso especial del Silogismo Disyuntivo, cuando las dos

condicionales tienen el mismo consecuente y la disyunción se establece
entre los antecedentes de las condicionales, se puede concluir el
consecuente de las condicionales

Se puede presentar de la siguiente manera

Tabla 12 SiD

Premisa 1 p→r pvq ~p v q p v ~q

P2: q→r q→s ~p → ~s ~q → t
P3 pvq p→s q → ~s p→t
Conclusión C: r s ~s t