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.
p: F q: F
(p → q) (¬p v q)
(F→F) (V v F)
VV
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
[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)
SOLUCION
[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)
[(v→ v) →f] ↔ (f ∨ f)
[(v) →f] ↔ f
f] ↔ f
V
Tarea 2: Tablas de verdad
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)
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
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.