.

PENSAMIENTO LÓGICO MATEMÁTICO

UNIDAD 1: PASO 2 - PROPOSICIONES Y TABLAS DE VERDAD

CARMEN PAOLA RODRIGUEZ LUNA

TUTOR: NESTOR JAVIER RODRIGUEZ

CIENAGA, MAGDALENA

11 DE JULIO DEL 2018

UNAD
 INTRODUCCIÓN

En esta primera actividad de la Unidad 1: paso 2 - Proposiciones y Tablas de Verdad la

dinámica y ejercicios de aprendizaje que se desarrollan nos permitirán determinar las
proposiciones simples y compuestas en lenguaje natural y su expresión en el lenguaje
simbólico o formal; definir su valor de verdad lógica, realizar tablas de verdad y
comprobarlas mediante la herramienta del simulador truth table y a la vez definir si el
enunciado es una tautología o nos referimos a una contradicción.
 OBJETIVOS

➢ Dar solución a cada tarea correctamente usando los respectivos conectivos lógicos al
determinar el valor de verdad de las proposiciones compuestas, según las leyes de
negación, conjunción, disyunción, condicional y bicondicional.

➢ Determinar mediante las tablas de verdad, el valor de verdad de cada proposición

compuesta para cada una de las combinaciones posibles teniendo en cuenta el valor de
verdad dado para cada proposición simple.

➢ Expresar en lenguaje natural la expresión formal en la tarea 2 y expresar el enunciado

de la tarea 3 en lenguaje simbólico o formal.

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

tareas 2 y 3.

➢ Definición de las proposiciones simple en la tarea 3 y definir si el argumento es una

Tautología, contradicción o contingencia
TAREA 1: PROPOSICIONES

e. p: Las grabaciones de las web conferencias están en el entorno de seguimiento y

evaluación.

q: La UNAD tiene una oferta de 3 periodos académicos en el año.

r: Los cursos de la UNAD se aprueban con 200 puntos

[(p→q)→r]↔[(p∨q)∧(¬q∨r)]

Desarrollo

PROPOSICIÓN COMPUESTA EN LENGUAJE NATURAL

Si las grabaciones de las web conferencias están en el entorno de seguimiento y

evaluación entonces, la UNAD tiene una oferta de 3 periodos académicos en el año.
Entonces, los cursos de la UNAD se aprueban con 200 puntos; Si y solo si las
grabaciones de las web conferencias están en el entorno de seguimiento y evaluación o
la UNAD tiene una oferta de 3 periodos académicos en el año y la UNAD no tiene una
oferta de 3 periodos académicos en el año o Los cursos de la UNAD se aprueban con
200 puntos.

DETERMINACIÓN DEL VALOR DE VERDAD:

p: F q: F r: F

[(p→q)→r]↔[(p∨q)∧(¬q∨r)]

( f → f ) → f ↔ ( f ∨ f ) ∧ ( v ∨ f)

(v) ↔ (f ) ∧ (v)

(f) (f)

(v)
TAREA 2: TABLAS DE VERDAD

d. Si viajo mucho o gasto mucho dinero, no tendré ahorros para mi vejez. Decido invertir
en el fondo de pensiones y viajo mucho. Por lo tanto, gasto mucho dinero.

DESARROLLO

p: Viajo mucho

q: Gasto mucho dinero

r: Tendré ahorros para mi vejez

s: Decido invertir en el fondo de pensiones y viajo mucho

EXPRESIÓN EN LENGUAJE SIMBÓLICO O FORMAL.

[ ( p V q )⟶ ¬ r] ∧ ( s ∧ p) ]→q
 TABLA DE VERDAD MANUALMENTE Y A TRAVÉS DEL SIMULADOR
TRUTH TABLE

p q r s pvq ¬r (p v q) →¬ r s∧p [ ( p v q) ⟶ ¬ r ] ∧ ( s∧p) [ ( p V q )⟶ ¬ r] ∧ ( s∧p) ]→q

v v v v v f f v f v
v v v f v f f f f v
v v f v v v v v v v
v v f f v v v f f v
v f v v v f f v f v
v f v f v f f f f v
v f f v v v v v v f
v f f f v v v f f v
f v v v v f f f f v
f v v f v f f f f v
f v f v v v v f f v
f v f f v v v f f v
f f v v f f v f f v
f f v f f f v f f v
f f f v f v v f f v
f f f f f v v f f v

Se comprueba entonces que el resultado de la tabla de verdad manual versus simulador

truth table es el mismo.
 TAREA 3: PROBLEMAS DE APLICACIÓN

D. {[(pΛq)→r]Λ(qΛs)Λ(sVp)}→q

➢ DEFINICIÓN DE LAS PROPOSICIONES SIMPLES

P: El sol es un astro

q: Colombia tiene 32 departamentos

r: El presidente de Colombia es Santos

s: La tierra es cuadrada.

➢ LENGUAJE NATURAL DE LA EXPRESIÓN FORMAL

Si el sol es un astro y Colombia tiene 32 departamentos entonces, el presidente de

Colombia es santos y Colombia tiene 32 departamentos y la tierra es cuadrada. Además la
tierra es cuadrada o el sol es un astro, por lo tanto Colombia tiene 32 departamentos.

➢ GENERAR LA TABLA DE VERDAD MANUALMENTE Y A TRAVÉS DEL

SIMULADOR TRUTH TABLE.
p q r s pΛq (P Λ q) →r qΛs svp [(P Λ q)→r]Λ(qΛs)Λ(sVp)] {[(pΛq)→r]Λ(qΛs)Λ(sVp)}→q

v v v v v v v v v v
v v v f v v f v f v
v v f v v f v v f v
v v f f v f f v f v
v f v v f v f v f v
v f v f f v f v f v
v f f v f v f v f v
v f f f f v f v f v
f v v v f v v v v v
f v v f f v f f f v
f v f v f v v v v v
f v f f f v f f f v
f f v v f v f v f v
f f v f f v f f f v
f f f v f v f v f v
f f f f f v f f f v

Podemos Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table además definimos que el argumento es una Tautología ya que sus proposiciones son
verdaderas.
 CONCLUSIÓN

➢ En la actividad proposiciones y tablas de verdad mediante el desarrollo de cada uno

de los ejercicios seleccionados en cada una de las tareas; se estableció en primera
medida la diferencia entre una expresión simple y compuesta, conocer los diferentes
conectivos lógicos, la expresión natural y simbólica de las proposiciones
compuestas definiendo su valor de verdad y finalmente someter el resultado de los
ejercicios 2 y 3 a tablas de vedad manual y el simulador TRUTH como el medio
para demostrar y comprobar el valor de verdad de un argumento o proposición
compuesta.

➢ Resultó fundamental el uso del simulador TRUTH en el proceso de comprobación

de las Tablas de Verdad.
 REFERENCIAS BIBLIOGRÁFICAS

Ferrando, J., & Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 1 – 8). Editorial
Reverté. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=28&docID=321487
8&tm=1519931547569

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. (pp. 3
– 22). El Cid Editor. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=22&docID=321311
6&tm=1519931780275

Herrera, M. J. (2005). Lógica de enunciados: algunos aspectos básicos. (pp. 19 – 41).

Instituto Politécnico Nacional. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=319215
6&tm=1523377197372

Gutiérrez, G. E., & Larios, G. R. (2010). Fundamentos de matemáticas y lógica. (pp. 162 –
172). Instituto Politécnico Nacional. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=172&docID=31881
49&tm=1519932598123

. John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado de:

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

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones,

[Video]. Recuperado de http://hdl.handle.net/10596/7961
.
OVI Unidad 1 - Proposiciones y tablas de verdad
Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de
http://hdl.handle.net/10596/13871
.
Recursos educativos complementarios
.
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069