APORTE INDIVIDUAL

UNIDAD 1: PASO 2 - PROPOSICIONES Y TABLAS

DE VERDAD

JAIRO SANJUAN

GRUPO 200611_969

TUTOR:
LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A

DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
2018
 INTRODUCCION

este trabajo trata sobre proposiciones las cuales están conectadas mediante conectores
lógicos, lo cuales debemos familiarizarnos con ellos para lograr una adecuada conclusión
de las tablas de verdad, en la primera tarea básicamente se debe saber interpretar la
expresión formal y transcribirlo al leguaje común, la tarea dos y tres es más sobre cómo
utilizar las tablas de verdad y saber identificar cuando sea tautología, contingencia o
contradicción, con esto se pretende que nos afiancemos más en la dinámica de la materia
que tratara sobre pensamiento lógico y matemático.
OBJETIVO GENERAL

Interpretar las 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.

OBJETIVOS ESPECIFICOS

 Consultar en el entorno de conocimiento las temáticas y los videos correspondientes

a la unidad 1: lógica proposicional.
 Seleccionar un ejercicio por cada tarea, de manera que pueda plantear la solución.
 Diligenciar la tabla 1 PLAN DE ACCION, relacionando los ejercicios
seleccionados en el paso 2 y anunciando los ejercicios a revisar de los compañeros.
 Retroalimentar los ejercicios seleccionados de sus compañeros, comentando sobre
los aciertos y desaciertos que tuvo en la solución planteada.
 Entregar el trabajo individual en la fase de seguimiento y evaluación.
TAREA 1

A. p: El estadio del Deportivo Cali se llama “Palma seca”

q: Un equipo de futbol lo componen 12 jugadores

Proposición compuesta en lenguaje Natural:

El estadio deportivo del deportivo Cali se llama palamaseca y un equipo de futbol lo

componen 12 jugadores. Si y solo si el estadio del deportivo Cali no se llama palma seca o
un equipo de futbol no lo componen 12 jugadores.

Determinación del valor de verdad:

P: F q: F

(𝑝 ⋀𝑞) ↔ (¬𝑝⋁¬𝑞)

(𝐹 ⋀ 𝐹 ) ↔ (𝑉 ⋁ 𝑉)

𝐹 ↔𝑉

TAREA 2

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 tierra es un satélite
r: la tierra hace parte de la vía láctea

(𝑝 ⋀𝑞) ↔ (𝑟)

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

TAREA 3:

A. [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)∧ (𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

p ∼ q ∼ r s (𝑝 (∼𝑝 (𝑟⟶ (𝑝⟶𝑞) ∧ (𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)∧ (∼𝑞⟶𝑠)

𝑝 𝑞 ⟶𝑞 ⟶𝑟) 𝑠) (∼𝑝⟶𝑟) (𝑟⟶𝑠)
)
V F V F V V V V V V V V
V F V F V F V V F V F V
V F V F F V V V V V V V
V F V F F F V V V V V V
V F F V V V F V V F F V
V F F V V F F V F F F F
V F F V F V F V V F F V
V F F V F F F V V F F F
F V V F V V V V V V V V
F V V F V F V V F V F V
F V V F F V V F V F F V
F V V F F F V F V F F V
F V F V V V V V V V V V
F V F V V F V V F V F F
F V F V F V V F V F F V
F V F V F F V F V F F F

[(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)∧ (𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

V
V
V
V
 V
V
V
V
V
V
V
V
V
V
V
V

ES una tautología ya que todos sus valores son verdaderos para sus preposiciones
componentes.
 CONCLUSIONES

Con este trabajo pude identificar cuando puede ser una proposición verdadera o
falsa, además logre mediante el lenguaje formal convertirla mediante palabras
normales logrando una buena interpretación de estas, además aprendí a utilizar las
tablas de versas identificando cuando hay una conjunción, disyunción, negación,
condicional o una incondicional, y saber que dichas tablas tienen un orden que con
la correcta utilización llegaremos a la conclusión correcta, para saber si es una
tautología, contingencia o contradicción.
 BIBLIOGRAFIA

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado de

http://erenriquez.net/largoty/Ova01MD/

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=11046
000&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&docID=103452
86&tm=1492518671601
 ANEXOS

Tabla 1

TABLA 1:PLAN DE ACCION - GRUPO ##

Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
Identificación 63531920 Tarea 1: D Tarea 1: A
Nombre Elizabeth López
CEAD/CCAV/CERES/ UDR Tarea 2: D Tarea 2: E
Barrancabermeja Tarea 3: D Tarea 3: B

Identificación 1096199145 Tarea 1: A Tarea 1: D

Nombre Jairo sanjuan
CEAD/CCAV/CERES/ UDR Tarea 2: B Tarea 2: A
Barrancabermeja
Tarea 3: A Tarea 3: B

Identificación 37580847 Tarea 1: E Tarea 1: D

Nombre LAURA VILLAMIZAR
CEAD/CCAV/CERES/ UDR Tarea 2: A Tarea 2: D
Barrancabermeja
Tarea 3: B Tarea 3: D

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:

Nombre
CEAD/CCAV/CERES/ Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3: