UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

Estudiante

Julieth Andrea Barrera González

Docente

Omar Arley Arenas

Curso

Pensamiento Lógico y Matemático

Grupo

200611_1058

Yopal, Casanare

2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

A continuación en el siguiente trabajo se presentara su desarrollo de las temáticas

de proposiciones y tablas de verdad a través de ejercicios, como también se usó de
apoyo para la elaboración de este trabajo el simulador Truth Table para comprobar
finalmente la solución de la tabla de verdad manual.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

 Conocer los métodos utilizados de proposiciones y tablas de verdad.

 Analizar cada uno de los temas y ejercicios a desarrollar.

 Identificar las clases de proposiciones y su lenguaje

 Desarrollar los ejercicios propuestos siguiendo las pautas dadas por el tutor
y mediante las guías dadas.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

A) PLAN DE ACCIÓN

Tabla 1
TABLA 1:PLAN DE ACCIÓN - GRUPO 200611_1058
Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado a
sa revisar
desarrollar
Identificación: 1.118.567.070 Tarea 1: C Tarea 1:
Nombre: JULIETH ANDREA
BARRERA G. Tarea 2: A Tarea 2:
YOPAL / ZONA AEMAZONIA -
ORINOQUIA Tarea 3: E Tarea 3:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

B) TAREA 1

Punto 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

¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)

SOLUCIÓN:

Proposición compuesta en lenguaje Natural:

No es verdad, que Falcao García fue el mejor jugador de Colombia en la copa
mundial de Brasil 2014 y que Colombia llegó 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.

Determinación del valor de verdad:

p: F q: F

¬ (p ⋀ q)  (¬p v q)

(V⋀F)  (V v F)
FV
F
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

C) TAREA 2

PUNTO A.

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

P: en las mañanas llueve

Q: En la tarde hace frio
R: en la noche llueve

- ( P → q ) ⋀ (q →r)

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

Truth Table.
p q r p→q (p→q) ⋀ (q
→r)
V V V V V
V V F V F
V F V F F
V F F F F
F V V v V
F V F v F
F F V V V
F F F V V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

- CONTINGENCIA

 Comprobar el resultado de la tabla de verdad manual versus

simulador Truth Table.

D) TAREA 3

Definición de las proposiciones simples

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no

puede concluir que es verdadero o falso no es proposición. Es cualquier agrupación

de palabras o símbolos que tengan sentido y de la que en un momento determinado

se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposición

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

es lo que se llama su valor lógico o valor de verdad. Las proposiciones se denotan

con letras minúsculas. Ejemplo p,q,r, a, b

PUNTO E.

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

SOLUCIÓN:

 Definición de las proposiciones simples

p: Colombia gana

q: Paraguay gana

r: Argentina gana

s: Uruguay gana

t: Brasil gana

 Lenguaje natural de la expresión formal

- ( Colombia gana entonces Paraguay gana )

- ( Argentina gana entonces Uruguay gana )

- ( Paraguay gana y Uruguay gana )

- Brasil gana
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

- ( Colombia gana y Argentina gana )

- [ Si Colombia gana entonces Paraguay gana y si Argentina gana entonces

Uruguay gana ]

- Si Paraguay gana y Uruguay gana entonces Brasil gana.

- [Si Colombia gana entonces Paraguay gana y si Argentina gana entonces

Uruguay gana. Y si Paraguay gana y Uruguay gana entonces Brasil gana. Y

Colombia gana y argentina gana. Entonces Brasil gana ]

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

Truth Table.

p q r s t (𝑝 (𝑟 (q∧ [(q∧s) [(q∧s) ⟶ t] ∧ [(𝑝⟶𝑞)∧(r⟶s)]∧

⟶ ⟶ s) ⟶t] (𝑝∧𝑟) ]⟶t [(q∧𝑠)⟶t]∧ (p∧r)]
𝑞) 𝑠) ⟶t

V V V V V V V V V V V
V V V V F V V V F V V
V V V F V V V F V V V
V V V F F V V F V V V
V V F V V V V V V V V
V V F V F V V V V V V
V V F F V V V F V V V
V V F F F V V F V V V
V F V V V F V F V V V
V F V V F F V F V V V
V F V F V F F F V V V
V F V F F F F F V V V
V F F V V F V F V F V
V F F V F F V F V V V
V F F F V F V F V V V
V F F F F F V F V V V
F V V V V V V V V V V
F V V V F V V V F V V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

F V V F V V F F v V V
F V V F F V F F V V V
F V F V V V V V V F V
F V F V F V V V F V V
F V F F V V V F V V V
F V F F F V V F V V V
F F V V V V V F V V V
F F V V F V V F V V V
F F V F V V F F V V V
F F V F F V F F V V V
F F F V V V V F V F V
F F F V F V V F V V V
F F F F V V V F V V V
F F F F F V V F V V V

-TAULOGIA

 Comprobar el resultado de la tabla de verdad manual versus simulador

Truth Table.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

En la elaboración de este trabajo se adquirió una variedad de conocimientos acerca

de las clases de proposiciones, su lenguaje y realización de tablas de verdad
manualmente y a través del simulador Truth Table, para llegar al desarrollo de cada
uno de los objetivos propuestos en este trabajo.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

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=11013
570&ppg=30
.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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&doc
ID=11046000&tm=1489704594878

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&docI
D=10345286&tm=1492518671601
.