Anexo 2 – Guía para el desarrollo de la tarea 1

(ejercicios ejemplo)
El presente anexo tiene como finalidad brindar un apoyo para el
desarrollo de los ejercicios de la tarea 1. Se recomienda revisar el
paso a paso de cada uno de los ejercicios aquí descritos, si aplica
correctamente dichos pasos y el material de apoyo; lograran
desarrollar exitosamente los 4 ejercicios de la unidad 1

Ejercicio 1: Proposiciones y tablas de verdad (Ejemplo)

Descripción del ejercicio:

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

p: Sofia domina la técnica vocal con facilidad

q: Sofia controla adecuadamente la

respiración r: Utiliza correctamente la

resonancia.

p ↔ (¬q 𝖠 r)

Lenguaje natural de la proposición compuesta:

Sofia domina la técnica vocal con facilidad, si y solo si, Sofia NO

controla adecuadamente la respiración y Utiliza correctamente la
resonancia.
TABLA MANUAL
p ↔(¬q 𝖠 r)

p q r ~q ¬q𝖠r p ↔(¬q 𝖠 r)
1 V V V F F F
2 V V F F F F
3 V F V V V V
4 V F F V F F
5 F V V F F V
6 F V F F F V
7 F F V V V F
8 F F F V F V

Es una Contingencia

TABLA SIMULADOR
Ejercicio 2: Aplicación de la lógica fundamental

Descripción del ejercicio:

Enunciado: “Si 'Daniel entrena Ajedrez seis horas diarias', entonces
'Daniel tuvo un buen desempeño en el Torneo Internacional'; y, si
'Daniel tuvo un buen desempeño en el Torneo Internacional',
entonces 'Daniel recibirá posiblemente el trofeo de las grandes
ligas'. Si y solo si, si 'Daniel entrena Ajedrez seis horas diarias',
entonces 'Daniel recibirá posiblemente el trofeo de las grandes
ligas'”.

 Definir cuáles son las premisas que intervienen en el

argumento.

p: Daniel entrena ajedrez seis horas diarias

q: Daniel tuvo un buen desempeño en el torneo internacional
r: Daniel recibirá posiblemente el trofeo de las grandes ligas

 Identificar los conectores que intervienen en el

argumento.

Los conectores del argumento son: conjunción (𝖠), condicional (→) y

bicondicional (↔).

 Construya el lenguaje simbólico correspondiente al

argumento.

((p → q) 𝖠 (q → r)) ↔ (p → r)

 Determine si el argumento es una tautología,

contradicción o contingencia a través del simulador de la
UNAD.

La tabla de verdad es una contingencia

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

Expresión simbólica

[(∼p → q) ᴧ (q → ∼ 𝑟] → (~p → ∼ 𝑟)

P1: ∼p → q
P2: q→ ∼𝑟
Conclusión: ~p → ∼ 𝑟
Ley utilizada: Silogismo Hipotético

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:

Expresión simbólica:

[(p→∼q) 𝖠 [(p 𝖠 r) →q] 𝖠 (p 𝖠 r)]→ (∼p ˅ r)

Definición de Proposiciones simples:

p: Camila es estudiante de psicología en la Unad

q: Camila participa oportunamente en el foro de interacción del entorno
de aprendizaje.
r: Camila aprueba sus cursos matriculados en la Unad.

Lenguaje natural:
Si Camila es estudiante de psicología en la Unad, entonces no
participa oportunamente en el foro de interacción del entorno de
aprendizaje. Si Camila es estudiante de psicología en la Unad y
aprueba sus cursos matriculados en la Unad, entonces participa
oportunamente en el foro de interacción del entorno de aprendizaje.
Camila es estudiante de
psicología en la Unad y aprueba sus cursos matriculados en la Unad.

En conclusión, Camila no es estudiante de psicología en la Unad o

aprueba sus cursos matriculados en la Unad.

Completar tabla de demostración de validez de argumento

mediante leyes de inferencia lógica:

Demostración
P1: (p→∼q)
P2: (p 𝖠 r) →q) Premisas dadas
P3: (p 𝖠 r)
Premisa Ley aplicada Premisas usadas

P4: q MODUS PONNENDO P2, P3

PONNENS (MPP)
P5: ~p MODUS TOLLENDO P1, P4
TOLLENS (MTT)
P6: (∼p ˅ r) LEY DE ADICIÓN P5
(LAD)

Uso del Simulador Lógica UNAD

El uso de un simulador (software) para la construcción de tablas de
verdad para proposiciones compuestas y el uso del álgebra
proposicional. El cual se denomina Simulador Lógica UNAD:

Ilustración 1 Simulador Lógica UNAD

El simulador Lógica UNAD es una herramienta de apoyo al desarrollo
de las tablas de verdad, el cual se encuentra disponible durante todo
el periodo académico para que los estudiantes puedan acceder a él en
cualquier momento. En la guía y rubrica de evaluación de la tarea 1,
se menciona el uso de este simulador. A continuación, se entrega el
link de acceso a un video tutorial de cómo usar el simulador Lógica
UNAD:

Rodríguez, J. E. (2019, 02, 04). 2019 02 04 21 02 53 [Video].

YouTube. https://youtu.be/Ea_ywnuK1t0

La estrategia de aprendizaje utilizada en el curso es: Aprendizaje

Basado en Tareas (ABT), debido a que promueve actividades
orientadas por una meta de aprendizaje en las cuales los estudiantes
desarrollan las temáticas planteadas. A continuación, se entrega el
link de acceso a dicho simulador:

http://logicaunad.com/jtruth/