158 Paso 2 AndresCasallas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
PASO 2. PROPOSICIONES Y TABLAS DE VERDAD
Estudiante
Andres Felipe Casallas Arévalo
Docente
Miryam Mercedes Acosta Martínez
Curso
Pensamiento Lógico y Matemático
Grupo
200611_158
Bogotá
Abril de 2018
OBJETIVOS
 Interpretar y conjugar expresiones del lenguaje simbólico y del lenguaje natural en

la formulación y representación del pensamiento lógico a través de las estructuras
semánticas, variables y conectores, como elementos fundamentales de la lógica
proposicional.
 A partir de una expresión formal componer una proposición en el lenguaje natural.
 Determinar el valor de verdad de una proposición compuesta a parir del valor de
verdad de cada proposición simple.
 Generar tablas de verdad a partir de proposiciones compuestas
 Utilizar el Simulador Truth Table como herramienta para comprobar las
actividades realizadas.
INTRODUCCIÓN
Nos encontramos desarrollando la unidad 1 correspondiente a la lógica proposicional

que comprende tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías, contradicciones, contingencias y proposiciones categóricas.
Para el desarrollo de estas temáticas se cuenta con videos, referencias bibliográficas,

herramientas teleinformáticas y asesorías por parte del tutor. Se plantean 3 tareas de
aplicación compuestas por 5 ejercicios cada una en los que se aplicara los conocimientos
adquiridos en la unidad. Durante el desarrollo de las tareas se socializa con los
compañeros de grupo los resultados obtenidos con el ánimo de retroalimentar con
comentarios los aciertos y desaciertos que se tuvieron en las soluciones planteadas. En
todo este proceso se busca construir conocimiento utilizando la investigación y el estudio
de las temáticas, complementándolo con las asesorías del tutor y los aportes realizados
en el grupo de trabajo colaborativo.
A continuación, encontraran el desarrollo de todos los ejercicios con sus respectivas

comprobaciones con la herramienta Truth Table propuesta por el tutor. Done se tuvo en
cuenta los aportes realizados por los compañeros y las correcciones realizadas por el
tutor.
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:
A.
p: El estadio del Deportivo Cali se llama “Palmaseca”
q: Un equipo de futbol lo componen 12 jugadores
(𝒑⋀𝒒) ↔(¬𝒑∨¬𝒒)
Proposición compuesta en lenguaje Natural:
El estadio del Deportivo Cali se llama ¨Palmaseca¨ y un equipo de futbol lo componen 12

jugadores, si y solo si el estadio del Deportivo Cali no se llama ¨Palmaseca¨ o un equipo
de futbol no lo componen 12 jugadores.
Determinación del valor de verdad:
p: v verdadera porque Palmaseca es el estadio del Deportivo Cali.
q: f es falsa por que un equipo de futbol lo componen 11 jugadores.
Reemplazamos
(𝒑⋀𝒒) ↔(¬𝒑∨¬𝒒)
(V⋀F) ↔ (F v V)
F↔V
F
B.
p: El rector de la UNAD es Jaime Alberto Leal Afanador
q: La UNAD es una institución de carácter público
r: En la UNAD se estudia de forma presencial
[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)
Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces en la UNAD se estudia

de forma presencial, y la UNAD es una institución de carácter público. Si y solo si en la
UNAD no se estudia de forma presencial o la UNAD no es una institución de carácter
público.
p: v es verdadero porque Jaime Alberto Leal Afanador es el rector de la UNAD.
q: v es verdadero porque la UNAD es una institución de carácter público.
r: f es falsa porque en la UNAD se estudia a distancia.
Reemplazamos
[(𝒑→𝒓)∧ 𝒒]↔(¬ 𝒓 ∨¬𝒒)
[(F ∧ V]↔(V ∨ F)
F↔V
F
C.
p: Falcao García fue el mejor jugador de Colombia en la copa mundial de Brasil 2014
q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014
¬(𝒑⋀𝒒) ↔ (¬𝒑∨𝒒)
Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 y
Colombia no llego a la semifinal de la copa mundial de Brasil 2014, Si y solo si Falcao
García no fue el mejor jugador de Colombia en la copa mundial de Brasil 2014 o Colombia
llego a la semifinal de la copa mundial de Brasil 2014.
p: F Es falsa porque Falcao García no jugó la copa mundial de Brasil 2014
q: F Es falsa porque Colombia no llego a la semifinal de la copa mundial de Brasil 2014
Reemplazamos
¬(𝒑⋀𝒒) ↔ (¬𝒑∨𝒒)
(V⋀V) ↔ (V v F)
V↔V
V
D.
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
[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
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.
p: V Es verdadero porque el año 2020 será un año bisiesto.
q: V Es verdadero porque en un año bisiesto febrero tiene 29 días.
r: F Es falsa porque los años bisiestos se dan cada cuatro años.
Reemplazamos
[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
[(V→V)→F]↔(F∨F)
[V→F]↔(F)
F↔F
V
E.
p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno
(𝑝∧¬𝑞) →(¬ 𝑝)
Si en la Unad hay 5 periodos académicos anualmente y la UNAD no tiene 3 periodos

de 8 semanas cada uno, entonces en la UNAD no hay 5 periodos académicos
anualmente.
p: V Es verdadero porque la UNAD cuenta con 5 periodos académicos anualmente.
q: V Es verdadero porque la UNAD tiene 3 periodos de 8 semanas cada uno.
Reemplazamos
(𝑝∧¬𝑞) →(¬ 𝑝)
(V∧F) →(F)
F→F
V
Tarea 2: Tablas de verdad
La solución de los enunciados debe contar con las siguientes etapas:
 Expresión en lenguaje simbólico o formal.

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.
Enunciado.
A.
Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio
entonces en la noche llueve.
Expresión en lenguaje simbólico o formal.
Definición de proposiciones simples:
p: en las mañanas llueve
q: en la tarde hace frio
r: en la noche llueve
Determinación de conectores:
Expresión en lenguaje formal:
(p→q) ˄ (q→r)
Generar la tabla de verdad manualmente y a través del simulador Truth Table.
Tabla de verdad
p q r p→q q→r (p→q) ˄ (q→r)

v v v v v v
v v f v f f
v f v f v f
v f f f v f
f v v v v v
f v f v f f
f f v v v v
f f f v v v
Simulador Truth Table
p q r (p→q)Λ(q→r)
T T T T
T T F F
T F T F
T F F F
F T T T
F T F F
F F T T
F F F T
B.
El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vía láctea.
p: El sol es redondo
q: la luna es un satélite
r: la tierra hace parte de la vía láctea
(p ˄ q) ↔ (r)
Tabla de verdad
p q r p˄q (p ˄ q) ↔ (r)
v v v v v
v v f v f
v f v f f
v f f f v
f v v f f
f v f f v
f f v f f
f f f f v
p q r (pΛq)↔(r)
T T T T
T T F F
T F T F
T F F T
F T T F
F T F T
F F T F
F F F T
C.
Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa
Si tengo una moto y no tengo licencia; y los policías me paran entonces me harán una
multa
p: tengo una moto
q: no tengo licencia
r: los policías me paran
s: me harán una multa
Si tengo una moto y no tengo licencia; y los policías me paran. entonces me harán una
multa.
[{p ˄ q} ˄ r] → (s)
Tabla de verdad
p q r s p ˄ q [{p ˄ q} ˄ r] [{p ˄ q} ˄ r] → (s)

v v v v v v v
v v v f v v f
v v f v v f v
v v f f v f v
v f v v f f v
v f v f f f v
v f f v f f v
v f f f f f v
f v v v f f v
f v v f f f v
f v f v f f v
f v f f f f v
f f v v f f v
f f v f f f v
f f f v f f v
f f f f f f v
p q r s [{pΛq}Λr]→(s)
T T T T T
T T T F F
T T F T T
T T F F T
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
D.
Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana

no es jueves.

no es jueves.
p: hoy es lunes
q: pasado mañana es miércoles
r: mañana es martes
s: mañana es jueves

no es jueves.
(p ˄ q) → (r ˄ ¬s)
Tabla de verdad
p q r s ~s p˄q r ˄ ¬s (p ˄ q) → (r ˄ ¬s)
v v v v f v f f
v v v f v v v v
v v f v f v f f
v v f f v v f f
v f v v f f f v
v f v f v f v v
v f f v f f f v
v f f f v f f v
f v v v f f f v
f v v f v f v v
f v f v f f f v
f v f f v f f v
f f v v f f f v
f f v f v f v v
f f f v f f f v
f f f f v f f v
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
E.
Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene
31 días.
Si enero tiene 31 días y febrero tiene 28 días entonces marzo tiene 31 días y abril no
tiene 31 días.
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.
Si enero tiene 31 días y febrero tiene 28 días entonces marzo tiene 31 días y abril no
tiene 31 días.
(p ˄ q) → (r ˄ ¬s)
Tabla de verdad
p q r s ¬s p˄q r ˄ ¬s (p ˄ q) → (r ˄ ¬s)
v v v v f v f f
v v v f v v v v
v v f v f v f f
v v f f v v f f
v f v v f f f v
v f v f v f v v
v f f v f f f v
v f f f v f f v
f v v v f f f v
f v v f v f v v
f v f v f f f v
f v f f v f f v
f f v v f f f v
f f v f v f v v
f f f v f f f v
f f f f v f f v
Simulador Truth Table.
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
Tarea 3: Problemas de aplicación
Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo
una descripción basada en el contexto académico, remplazando las variables
expresadas simbólicamente para llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:
 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)
Definición de las proposiciones simples.
p: El celular está dañado
q: La batería no carga
r: El celular tiene un año de uso
s: Voy a cambiar el celular
Lenguaje natural de la expresión formal.
si el celular está dañado entonces la batería no carga, y si el celular no está dañado

entonces el celular tiene un año de uso, y si el celular tiene un año de uso entonces voy
a cambiar el celular. Entonces, si la batería carga entonces voy a cambiar el celular.
Tabla de verdad
p q r s ∼𝑞 ∼𝑝 𝑝⟶𝑞 ∼𝑝⟶𝑟 𝑟⟶𝑠 ∼𝑞⟶𝑠 (𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

v v v v f f v v v v v v
v v v f f f v v f v f v
v v f v f f v v v v v v
v v f f f f v v v v v v
v f v v v f f v v v f v
v f v f v f f v f f f v
v f f v v f f v v v f v
v f f f v f f v v f f v
f v v v f v v v v v v v
f v v f f v v v f v f v
f v f v f v v f v v f v
f v f f f v v f v v f v
f f v v v v v v v v v v
f f v f v v v v f f f v
f f f v v v v f v v f v
f f f f v v v f v f f v
p q r s [(p→q)Λ(¬p→r)Λ(r→s)]→(¬q→s)
T T T T T
T T T F T
T T F T T
T T F F T
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
B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
p: no me gusta el regeton
q: me gusta el rock
r: bailo salsa
s: toco guitarra
t: canto baladas
Lenguaje natural de la expresión formal
si no me gusta el regeton entonces me gusta el rock, y sí bailo salsa entonces toco

guitarra, y sí me gusta el rock y toco guitarra entonces canto baladas. Y no me gusta el
regeton y bailo salsa; entonces canto baladas.
Tabla de verdad
p q r s t 𝑝⟶𝑞 𝑟⟶𝑠 𝑞∧𝑠 𝑝∧𝑟 (𝑝⟶𝑞)∧(𝑟⟶𝑠) (𝑞∧𝑠)⟶𝑡 (𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟) {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟) {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
v v v v v v v v v v v v v v
v v v v f v v v v v f v v f
v v v f v v f f v f v v f v
v v v f f v f f v f v v f v
v v f v v v v v f v v f f v
v v f v f v v v f v f v v f
v v f f v v v f f v v f f v
v v f f f v v f f v v f f v
v f v v v f v f v f v v f v
v f v v f f v f v f v v f v
v f v f v f f f v f v v f v
v f v f f f f f v f v v f v
v f f v v f v f f f v f f v
v f f v f f v f f f v f f v
v f f f v f v f f f v f f v
v f f f f f v f f f v f f v
f v v v v v v v f v v f f v
f v v v f v v v f v f v v f
f v v f v v f f f f v f f v
f v v f f v f f f f v f f v
f v f v v v v v f v v f f v
f v f v f v v v f v f v v f
f v f f v v v f f v v f f v
f v f f f v v f f v v f f v
f f v v v v v f f v v f f v
f f v v f v v f f v v f f v
f f v f v v f f f f v f f v
f f v f f v f f f f v f f v
f f f v v v v f f v v f f v
f f f v f v v f f v v f f v
f f f f v v v f f v v f f v
f f f f f v v f f v v f f v
p q r s t {(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}→t
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
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
C. 𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡
p: Colombia se clasifico al Mundial de Futbol
q: Colombia ocupo el cuarto lugar en las eliminatorias al mundial de futbol
r: a Suramérica la representan 5 equipos en el mundial de futbol
s: Colombia es el mejor equipo de futbol en el mundo
t: el mundial de futbol está compuesto por 32 equipos
u: el mundial de futbol se realiza cada 4 años
Si Colombia se clasifico al mundial de futbol entonces Colombia ocupo el cuarto lugar en

la eliminatorias al mundial de futbol, y a Suramérica la representan 5 equipos en el
mundial de futbol o Colombia es el mejor equipo de futbol en el mundo, y si a Suramérica
la representan 5 equipos en el mundial de futbol entonces el mundial de futbol está
compuesto por 32 equipos, y Colombia no ocupo el cuarto lugar en la eliminatorias al
mundial de futbol, y si el mundial de futbol se realiza cada 4 años entonces el mundial de
futbol está compuesto por 32 equipos , y si Colombia es el mejor equipo de futbol en el
mundo entonces Colombia se clasifico al mundial de futbol. Por lo tanto, el mundial de
futbol está compuesto por 32 equipos.
Tabla de verdad
p q r s t u ∼𝑞 𝑝⟶𝑞 r ˅ s 𝑟⟶𝑡 𝑢⟶𝑡 𝑠⟶𝑝 [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)] [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶𝑡
v v v v v v f v v v v v f v
v v v v v f f v v v v v f v
v v v v f v f v v f f v f v
v v v v f f f v v f v v f v
v v v f v v f v v v v v f v
v v v f v f f v v v v v f v
v v v f f v f v v f f v f v
v v v f f f f v v f v v f v
v v f v v v f v v v v v f v
v v f v v f f v v v v v f v
v v f v f v f v v v f v f v
v v f v f f f v v v v v f v
v v f f v v f v f v v v f v
v v f f v f f v f v v v f v
v v f f f v f v f v f v f v
v v f f f f f v f v v v f v
v f v v v v v f v v v v f v
v f v v v f v f v v v v f v
v f v v f v v f v f f v f v
v f v v f f v f v f v v f v
v f v f v v v f v v v v f v
v f v f v f v f v v v v f v
v f v f f v v f v f f v f v
v f v f f f v f v f v v f v
v f f v v v v f v v v v f v
v f f v v f v f v v v v f v
v f f v f v v f v v f v f v
v f f v f f v f v v v v f v
v f f f v v v f f v v v f v
v f f f v f v f f v v v f v
v f f f f v v f f v f v f v
v f f f f f v f f v v v f v
f v v v v v f v v v v f f v
f v v v v f f v v v v f f v
f v v v f v f v v f f f f v
f v v v f f f v v f v f f v
f v v f v v f v v v v v f v
f v v f v f f v v v v v f v
f v v f f v f v v f f v f v
f v v f f f f v v f v v f v
f v f v v v f v v v v f f v
f v f v v f f v v v v f f v
f v f v f v f v v v f f f v
f v f v f f f v v v v f f v
f v f f v v f v f v v v f v
f v f f v f f v f v v v f v
f v f f f v f v f v f v f v
f v f f f f f v f v v v f v
f f v v v v v v v v v f f v
f f v v v f v v v v v f f v
f f v v f v v v v f f f f v
f f v v f f v v v f v f f v
f f v f v v v v v v v v v v
f f v f v f v v v v v v v v
f f v f f v v v v f f v f v
f f v f f f v v v f v v f v
f f f v v v v v v v v f f v
f f f v v f v v v v v f f v
f f f v f v v v v v f f f v
f f f v f f v v v v v f f v
f f f f v v v v f v v v f v
f f f f v f v v f v v v f v
f f f f f v v v f v f v f v
f f f f f f v v f v v v f v
p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t
T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T
D. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞
p: tengo 26 años
q: estudio ingeniería electrónica
r: me gusta la electrónica
s: voy al gimnasio
t: juego futbol
sí tengo 26 años entonces, estudio ingeniería electrónica o me gusta la electrónica. Y, sí

voy al gimnasio entonces no estudio ingeniería electrónica, y sí juego futbol entonces no
me gusta la electrónica, y tengo 26 años y juego futbol; entonces estudio ingeniería
electrónica.
Tabla de verdad
p q r s t ∼r ∼𝑞 𝑞∨𝑟 𝑠→∼𝑞 𝑡→∼𝑟 𝑝∧𝑡 𝑝→(𝑞∨𝑟) {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)} {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

v v v v v f f v f f v v f v
v v v v f f f v f v f v f v
v v v f v f f v v f v v f v
v v v f f f f v v v f v f v
v v f v v v f v f v v v f v
v v f v f v f v f v f v f v
v v f f v v f v v v v v v v
v v f f f v f v v v f v f v
v f v v v f v v v f v v f v
v f v v f f v v v v f v f v
v f v f v f v v v f v v f v
v f v f f f v v v v f v f v
v f f v v v v f v v v f f v
v f f v f v v f v v f f f v
v f f f v v v f v v v f f v
v f f f f v v f v v f f f v
f v v v v f f v f f f v f v
f v v v f f f v f v f v f v
f v v f v f f v v f f v f v
f v v f f f f v v v f v f v
f v f v v v f v f v f v f v
f v f v f v f v f v f v f v
f v f f v v f v v v f v f v
f v f f f v f v v v f v f v
f f v v v f v v v f f v f v
f f v v f f v v v v f v f v
f f v f v f v v v f f v f v
f f v f f f v v v v f v f v
f f f v v v v f v v f v f v
f f f v f v v f v v f v f v
f f f f v v v f v v f v f v
f f f f f v v f v v f v f v
p q r s t {[p→(qΛr)]Λ(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
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
E. [[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡
p: me gusta el rojo
q: el carro es rojo
r: la moto es verde
s: el negro es neutro
t: no me gusta el verde
Sí me gusta el rojo entonces el carro es rojo, y sí la moto es verde entonces el negro es

neutro. Y sí el carro es rojo y el negro es neutro entonces no me gusta el verde. Y me
gusta el rojo y la moto es verde. entonces no me gusta el verde.
Tabla de verdad
p q r s t 𝑝→𝑞 𝑟→𝑠 𝑞 ∧𝑠 𝑝∧𝑟 𝑝→𝑞) ∧(𝑟→𝑠) (𝑞 ∧𝑠)→𝑡 [[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] [[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡
v v v v v v f v v f v f v
v v v v f v f v v f f f v
v v v f v v v f v v v v v
v v v f f v v f v v v v f
v v f v v v f f f f v f v
v v f v f v f f f f v f v
v v f f v v v f f v v f v
v v f f f v v f f v v f v
v f v v v f v v v f v f v
v f v v f f v v v f f f v
v f v f v f v f v f v f v
v f v f f f v f v f v f v
v f f v v f v f f f v f v
v f f v f f v f f f v f v
v f f f v f v f f f v f v
v f f f f f v f f f v f v
f v v v v v f v f f v f v
f v v v f v f v f f f f v
f v v f v v v f f v v f v
f v v f f v v f f v v f v
f v f v v v f f f f v f v
f v f v f v f f f f v f v
f v f f v v v f f v v f v
f v f f f v v f f v v f v
f f v v v v v v f v v f v
f f v v f v v v f v f f v
f f v f v v v f f v v f v
f f v f f v v f f v v f v
f f f v v v v f f v v f v
f f f v f v v f f v v f v
f f f f v v v f f v v f v
f f f f f v v f f v v f v
p q r s t [[(p→q)Λ(r→s)]Λ[(qΛs)→t]Λ(pΛr)]→t
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
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
CONCLUSIONES
 Una proposición simple puede determinar el valor de verdad de una proposición

compuesta.
 Una proposición se puede abreviar utilizando el lenguaje simbólico que representa
perfectamente una proposición compuesta y sus conectores lógicos.
 Una tabla de verdad, determina el valor de verdad de una proposición compuesta
por compleja que esta sea.
 El simulador Truth Table es una herramienta completa y eficiente a la hora de
realizar tablas de verdad además en ella se puede comprobar si el lenguaje
simbólico utilizado es el adecuado y si la proposición está bien planteada.
REFERENCIAS BIBLIOGRÁFICAS
Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.

151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado de.
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=110
46000&tm=1489704594878
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.

Recuperado de.
http://hdl.handle.net/10596/7961
Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado de.
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp
g=30

158 Paso 2 AndresCasallas

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

158 Paso 2 AndresCasallas

Hochgeladen von

Copyright:

Verfügbare Formate

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Andres Felipe Casallas Arévalo

Miryam Mercedes Acosta Martínez

Pensamiento Lógico y Matemático

 Interpretar y conjugar expresiones del lenguaje simbólico y del lenguaje natural en

Nos encontramos desarrollando la unidad 1 correspondiente a la lógica proposicional

Para el desarrollo de estas temáticas se cuenta con videos, referencias bibliográficas,

A continuación, encontraran el desarrollo de todos los ejercicios con sus respectivas

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el

p: El estadio del Deportivo Cali se llama “Palmaseca”

q: Un equipo de futbol lo componen 12 jugadores

Proposición compuesta en lenguaje Natural:

El estadio del Deportivo Cali se llama ¨Palmaseca¨ y un equipo de futbol lo componen 12

Determinación del valor de verdad:

p: v verdadera porque Palmaseca es el estadio del Deportivo Cali.

q: f es falsa por que un equipo de futbol lo componen 11 jugadores.

p: El rector de la UNAD es Jaime Alberto Leal Afanador

q: La UNAD es una institución de carácter público

r: En la UNAD se estudia de forma presencial

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

Proposición compuesta en lenguaje Natural:

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces en la UNAD se estudia

Determinación del valor de verdad:

p: v es verdadero porque Jaime Alberto Leal Afanador es el rector de la UNAD.

q: v es verdadero porque la UNAD es una institución de carácter público.

r: f es falsa porque en la UNAD se estudia a distancia.

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

q: Colombia llegó a la semifinal de la copa mundial de Brasil 2014

Proposición compuesta en lenguaje Natural:

Determinación del valor de verdad:

p: F Es falsa porque Falcao García no jugó la copa mundial de Brasil 2014

q: F Es falsa porque Colombia no llego a la semifinal de la copa mundial de Brasil 2014

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

Proposición compuesta en lenguaje Natural:

Determinación del valor de verdad:

p: V Es verdadero porque el año 2020 será un año bisiesto.

q: V Es verdadero porque en un año bisiesto febrero tiene 29 días.

r: F Es falsa porque los años bisiestos se dan cada cuatro años.

p: en la UNAD hay 5 periodos académicos anualmente

q: La UNAD tiene 3 periodos de 8 semanas cada uno

Proposición compuesta en lenguaje Natural:

Si en la Unad hay 5 periodos académicos anualmente y la UNAD no tiene 3 periodos

Determinación del valor de verdad:

p: V Es verdadero porque la UNAD cuenta con 5 periodos académicos anualmente.

q: V Es verdadero porque la UNAD tiene 3 periodos de 8 semanas cada uno.

Tarea 2: Tablas de verdad

La solución de los enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico o formal.

Expresión en lenguaje simbólico o formal.

Definición de proposiciones simples:

p: en las mañanas llueve

q: en la tarde hace frio

Expresión en lenguaje formal:

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

p q r p→q q→r (p→q) ˄ (q→r)

Simulador Truth Table

Expresión en lenguaje simbólico o formal.

Definición de proposiciones simples:

r: la tierra hace parte de la vía láctea

Expresión en lenguaje formal:

Generar la tabla de verdad manualmente y a través del simulador Truth Table.