UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA –UNAD

PENSAMIENTO LOGICO MATEMATICO

VILLAVICENCIO-META
MARZO 01 2018

INTRODUCCION

Atreves del siguiente trabajo se pretende conocer argumentos validos o lógicos del
lenguaje natural por medio de elementos fundamentales de la lógica proposicional
también utilizaremos la tabla de la verdad como herramienta que nos permite saber el
valor de una proposición compuesta para darle una clasificación y argumentarla.
 ii

OBJETIVOS

Definir por medio de las tablas de la verdad el valor verdadero de las proposiciones
simples y compuestas

Clasificar e identificar los argumentos de las proposiciones a partir de las tablas de la

verdad y la lógica.

Identificar lenguaje simbólico e interpretarlo utilizando la lógica proposicional

 1

Tarea 1: Proposiciones

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:

Si el Estadio del Deportivo Cali se llama “Palmaseca “y un equipo de futbol lo componen

12 jugadores si 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: el Estadio del Deportivo Cali se llama “Palmaseca”

q: un equipo de futbol lo componen 12 jugadores
p: V q: F

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

Valor de verdad: falso

 2

Tarea 2: Tablas de verdad

B El sol es redondo y la luna es un satélitesi y solo sila tierra hace parte de la vía láctea.
p ⋀ q ↔ r

*Expresión en lenguaje simbólico o formal;

p⋀ q ↔r

*Generar la tabla de verdad manualmente:

2n n: numero de proposiciones 2*2*2=8

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
 3

*simulador TruthTable:

El resultado es igual tanto en la tabla manual como en el simulador TruthTable

Tarea 3: Problemas de aplicación

Definición de las proposiciones simples:

p: carlos ahorra agua

q: el cierra la llave cuando lava

r:así cuida el medio ambiente

s:ayuda a conservar el planeta

 4

Expresión formal: Tarea 3 ejercicio A

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

* Lenguaje natural de la expresión formal:

Carlos ahorra agua entonces el cierra la llave cuando lava incluso también carlos no

ahorra agua si cuida el medio ambiente, aunque cuide el medio ambiente entonces ayuda

a conservar el planeta entonces no cierra la llave cuando lava si ayuda a conservar el

planeta .
 5

*Generación de la tabla de verdad manualmente:

 6

Generación de la tabla de verdad atreves simulador TruthTable:

Al hacer la comparación entre la tabla manual y el simulador truthtable se evidencia el

mismo resultado dicho argumento es una tautología
 7

Conclusión

Con la realización de este trabajo interpretamos y pusimos en práctica expresiones del

lenguaje natural y simbólico utilizado en la lógica proposicional conocimos sus variables,
conectores.
Aprendimos el uso de la herramienta de la tabla de la verdad para proposiciones simples
y compuestas para darles una clasificación a los argumentos expuestos.
 8

BIBLIOGRAFIA

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&
ppg=30

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=1
1046000&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
.