UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Zuleika Vanessa Fernandez de Castro Salas

Docente

EVER ANTONIO POLO

Curso

Pensamiento Lógico y Matemático

Grupo

200611_11

Barranquilla

05 marzo 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

Comprender y aplicar adecuadamente las proposiciones y sus conectivos lógicos en un

lenguaje Natural, determinación del valor de verdad, determinación de conectores y
Expresión en lenguaje formal, donde podremos determinar si es una tautología o una
contradicción o quizás una contingencia.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En el siguiente trabajo estaremos entendiendo que es una proposición, su negación, su

valor de verdad en el cual determinamos si es verdadero o falso.

Estaremos conociendo los conectivos lógicos, signos de puntuación o de agrupamiento.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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:

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:

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.

Determinación del valor de verdad:

p: F En la UNAD hay 5 periodos académicos anualmente

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

Reemplazamos

(𝑝 ∧ ¬𝑞) → (¬𝑝)
F ∧ V → V
F → V
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.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Enunciado.

Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31
días

Expresión en lenguaje simbólico o formal.

Definición de proposiciones simples:

Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31
días

p = Enero tiene 31 días

q= febrero 28 días

r= marzo tiene 31 días

t= abril no tiene 31 días

Determinación de conectores:

Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31
días

Expresión en lenguaje formal:

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

(p&q)>(r&~t)

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

Tabla de verdad
p q r t ¬t p∧q r∧¬t (p∧q) →(r∧¬t)
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 f 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
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

El resultado final de la tabla de verdad y el simulador es igual, es una contingencia.

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.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Proposición compuesta en lenguaje formal

[[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡

[[(p>q)&(r>s)]&[(q&s)>t]&(p&r)]>t

Definición de las proposiciones simples

P Estudiando podre graduarme como ingeniero en la UNAD

Q tendré un empleo como ingeniera de telecomunicaciones

R participando en los CIPAS

S disfrutaré más logros en la UNAD

T lograre escalafones en mi carrera

Lenguaje natural de la expresión formal

Estudiando podre graduarme como ingeniero en la UNAD entonces tendré un empleo

como ingeniera de telecomunicaciones y participando en los CIPAS entonces disfrutaré
más logros en la UNAD. Y tendré un empleo como ingeniera de telecomunicaciones Y
disfrutaré más logros en la UNAD. Entonces lograre escalafones en mi carrera. Y
Estudiando podre graduarme como ingeniero en la UNAD Y participando en los CIPAS
entonces lograre escalafones en mi carrera.

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

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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 f v f f v
v v v f v v f f v v v v f v
v v v f f v f f v f v f f v
v v f v v v v v f v f f f v
v v f v f v v v f v f f f v
v v f f v v v v f v f f f v
v v f f f v v v f v f f f v
v f v v v f v f f v v v f v
v f v v f f v f f v v v f v
v f v f v f f f f v v v f v
v f v f f f f f f v v v f v
v f f v v f v f f v f f f v
v f f v f f v f f v f f f v
v f f f v f v f f v f f f v
v f f f f f v f f v f f f v
f v v v v v v v v v f f f v
f v v v f v v v v f f f f v
f v v f v v f f v v f f f v
f v v f f v f f v f f f f v
f v f v v v v v f v f f f v
f v f v f v v v f v f f f v
f v f f v v v v f v f f f v
f v f f f v v v f v f f f v
f f v v v v v v f v f f f v
f f v v f v v v f v f f f v
f f v f v v f f f v f f f v
f f v f f v f f f v f f f v
f f f v v v v v f v f f f v
f f f v f v v v f v f f f v
f f f f v v v v f v f f f v
f f f f f v v v f v f f f v

Simulador Truth Table

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

 A los símbolos de los conectores también se les llama constantes lógicas, porque
representan el mismo valor.
 El conectivo que está fuera del paréntesis es el que indica si el enunciado es una
conjunción, disyunción, etc.
 El efecto de la negación es invertir el valor veritativo del enunciado al cual afecta.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=10
345286&tm=1492518671601

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