UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2. PROPOSICIONES Y TABLAS DE VERDAD

PENSAMIENTO LOGICO MATEMATICO

GRUPO: 200611_197

ELABORADO POR

ALVARO JAVIER MARTINEZ GARZÓN

CÓDIGO: 1119 890 703

PRESENTADO A: JHON ALEXANDER GUEVARA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTACIA

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES

CEAD: CUMARAL-META

12 DE ABRIL

2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En el siguiente trabajo se podrán identificar el desarrollo de las 3 tareas, análisis y la interpretación y

conjugación de expresiones simbólicas y del lenguaje natural y formal a través de las estructuras

semánticas, variables y conectores, de forma adecuada de los procedimientos desde la lógica

proposicional, utilizados para demostrar la veracidad y validez de situaciones específicas del mundo real;

y así verificar si la tabla de verdad generada es una tautología, contradicción o contingencia. La lógica

matemática se mostrará a través de las tablas de verdad de acuerdo a los problemas a solucionados con el

respectivo pantallazo como evidencia de la comprobación a través del simulador TRUTH.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIBOS

Conocer los fundamentos de la lógica proporcional, como lo son, es desarrollo interpretación

tablas de verdad en preposiciones compuestas, álgebra de proposiciones, tautologías y

contradicciones y contingencias, proposiciones categóricas, y del lenguaje natural y formal, variables y

conectores, como elementos fundamentales de la lógica proposicional.

 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:

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 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 es verdadera porque el estadio deportivo de Cali si se llama” palmaseca”

q: f es falsa porque Un equipo de futbol lo componen 11 jugadores.

(p ∧ q)  (¬p V ¬q)

(v ∧ f)  (¬v V ¬f)

V∧f  fVv

f  v
f
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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.

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.

definición de proposiciones simples

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.

determinación de conectores

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

(p→q) Λ (q→r)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

tabla verdad

truth table

(Keats, 1819)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

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 preposiciones simples

p: un año tiene 366 días

q: el año es bisiesto

r: el mes de febrero tiene 28 días

s: el año tiene 365 días

lenguaje natural de la expresión formal

sí un año tiene 366 días entonces el año es bisiesto, y un año no tiene 366 días entonces el

mes de febrero tiene 28 días. y si el mes de febrero tiene 28 días entonces el año tiene 365

días. Si el año no es bisiesto entonces el año tiene 365 días.

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

tabla de verdad

simulador truth

[(p>q)&(~p>r)&(r>s)]>(~q>s)
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

Para finalizar podemos concluir que en la Lógica proposicional, aprendimos a interpretar y

desarrollar la representación del pensamiento lógico a través de las estructuras semánticas, en tablas de

verdad en proposiciones, definición y conjugación expresiones en el lenguaje simbólico y formal,

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

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

REFERENCIAS BIBLIOGRÁFICAS

Keats, J. (1819). truth. Obtenido de truth:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/