Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Paso 2
Esta actividad fue realizada para presentarla al tutor Alfredo López para la asignatura
Contacto: licetcolorado@gmail.com
Medellín, Colombia
2018
2
TABLA DE CONTENIDO
Introducción ............................................................................................................................... 3
Objetivos .................................................................................................................................... 3
Conclusiones ............................................................................................................................ 10
Bibliografía .............................................................................................................................. 10
3
INTRODUCCIÓN
En el presente trabajo trataremos el tema proposiciones y tablas de verdad, los cuales nos ayudan
a comprender las expresiones del lenguaje simbólico, del lenguaje natural y lógica
proposicional, éstos nos darán bases para reforzar nuestros conocimientos y así desempeñarnos
OBJETIVOS
Desarrollar los temas propuestos para presentar formas de razonamiento y poder determinar
[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
p: V
q: V
r: F
[(V→V)→F]↔(¬V∨F)
[V→F]↔ F
F↔ F
p q r [(p→q)→r]↔(¬qVr)
T T T T
T T F T
T F T T
T F F T
5
F T T T
F T F T
F F T T
F F F F
jueves
1. Variables Simples
P: Si hoy es lunes
R: mañana es martes
S: mañana no es jueves
2. Traducción Lógica
p q r s (pΛq)→(rΛ¬s)
T T T T F
T T T F T
T T F T F
T T F F F
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
7
d. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
{[V→(V∨F)]∧(F→∼V)∧(V→∼F)∧(V∧V)}→V
8
V→(V)∧(V)∧(V)∧(V)→V
V→V
p q r s t ((p→(qVr))Λ(s→¬q)Λ(t→¬r)Λ(pΛt))→q
T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
9
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
expression is a tautology
10
CONCLUSIONES
Podemos concluir que las proposiciones son el elemento esencial de la lógica matemática, nos
ayuda a desarrollar los procesos de pensamiento lógico, este trabajo nos permite profundizar
Bibliografía
(Turner, s.f.)