Pasos, fases o etapa de la estrategia de aprendizaje a desarrollar

 Paso 1: Consultar en el entorno de conocimiento las temáticas y los videos

correspondientes a la unidad 1: lógica proposicional.
 Paso 2: Seleccionar un ejercicio por cada tarea, de manera que pueda
plantear la solución.
 Paso 3: Diligenciar la tabla 1 PLAN DE ACCION, relacionando los
ejercicios seleccionados en el paso 2 y anunciando los ejercicios a revisar
de los compañeros.
 Paso 4: Retroalimentar los ejercicios seleccionados de sus compañeros,
comentando sobre los aciertos y desaciertos que tuvo en la solución
planteada. Es importante tener en cuenta los siguientes criterios al
momento de evaluar los ejercicios:
• Capacidad crítica, argumentación y fundamentación.

Enlaces de apoyo para el desarrollo de la actividad

Uso del simulador Truth Table:

Ejemplo de uso de un generador de

tablas de verdad
https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player
_embedd ed

Simulador Truth Table:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Actividades a desarrollar

Tarea 1: Proposiciones
Transcribir en el lenguaje natural la expresión formal que se relaciona y
determinar el valor de verdad de la proposición compuesta, a partir del valor
de verdad de cada proposición simple:

Ejemplo:
𝒑: 𝑻𝒓𝒆𝒔 𝒄𝒐𝒍𝒐𝒎𝒃𝒊𝒂𝒏𝒐𝒔 𝒉𝒂𝒏 𝒈𝒂𝒏𝒂𝒅𝒐 𝒆𝒍 𝒑𝒓𝒆𝒎𝒊𝒐 𝒏𝒐𝒃𝒆𝒍.
𝒒: 𝑮𝒂𝒃𝒓𝒊𝒆𝒍 𝑮𝒂𝒓𝒄í𝒂 𝑴á𝒓𝒒𝒖𝒆𝒛 𝒈𝒂𝒏ó 𝒖𝒏 𝒏𝒐𝒃𝒆𝒍 𝒅𝒆 𝒑𝒂𝒛.

(𝒑 → 𝒒) ↔ (¬𝒑 ∨ 𝒒)
Proposición compuesta en lenguaje Natural:
Si tres colombianos han ganado el premio nobel, entonces Gabriel García
Márquez ganó un nobel de paz. Si y solo si tres colombianos no han ganado el
premio nobel o Gabriel García Márquez ganó un nobel de paz.

Determinación del valor de verdad:

p: F q: F
(p → q)  (¬p v q)
(F→F)  (V v F)
VV
V
Cada estudiante debe seleccionar uno de los ejercicios referenciados y
anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros

A. p: El año 2020 será un año bisiesto

q: En un año bisiesto febrero tiene 29 días
r: Los años bisiestos se dan cada dos años

[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)

SOLUCION

Proposición compuesta en lenguaje Natural:

Si el año 2020 será un año bisiesto entonces en un año bisiesto febrero tiene
29 días, entonces los años bisiestos se dan cada dos años. Si y solo si en un
año bisiesto febrero no tiene 29 días o los años bisiestos se dan cada dos
años.

Determinación del valor de verdad:

[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)
p: V
q: V
r: F

[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)
[(v→ v) →f] ↔ (f ∨ f)
[(v) →f] ↔ f
f] ↔ f
V
Tarea 2: Tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros

A. Si enero tiene 31 días y febrero 28 días entonces marzo tiene

31 días y abril no tiene 31 días

SOLUCIÓN:
 Expresión en lenguaje simbólico o formal
p: enero tiene 31 días
q: febrero tiene 28 días
r: marzo tiene 31 días
s: abril no tiene 31 días
(p ∧ q) → (r ∧ ¬s)

 Generar la tabla de verdad manualmente y a través del

simulador Truth Table.

Tabla Manual

p q r s (p ∧ q) → (r ∧ ¬s) (p ∧ q) → (r ∧ ¬s)

v v v v V V F F
v v v f V V V V
v v f v V V F F
v v f f V V F F
v f v v F V F V
v f v f F V V V
v f f v F V F V
v f f f F V F V
f v v v F V F V
f v v f f V V V
f v f v f V F V
f v f f f V F V
f f v v f V F V
f f v f f V V V
 f f f v f V F V
f f f f f V F F

Tabla Generada Truth Table

p q r s ((p ∧ q) → (r ∧ ¬s))
F F F F F
F F F T T
F F T F F
F F T T F
F T F F T
F T F T T
F T T F T
F T T T T
T F F F T
T F F T T
T F T F T
T F T T T
T T F F T
T T F T T
T T T F T
T T T T T
  Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.
De acuerdo a los resultados arrojados en la tabla manual versus la tabla
generada por el simulador truth Table, se puede decir que la primera nos
muestra los resultados de cada preposición teniendo en cuenta la regla de
cada tabla, ya que pueden construirse haciendo una interpretación de los
signos lógicos, arrojando los resultados mostrados, mientras que con el
simulador Truth Table, nos muestra las respuestas directamente sin mostrar
paso a paso el calculo lógico.