Paso 2: Proposiciones y tablas de verdad

Elaborado por:
Yessica Milena Zapata Zapata
Código: 1110475139

Presentado a:
Tutor: Juan Pablo Yaguara

UNAD
CEAD: Ibagué
Escuela ECBTI
Programa: ingeniería industrial
Curso: pensamiento logico y matematico
Ibagué
2018
 Tabla de contenido ii

Introducción ........................................................................................................................ 1
Objetivos ............................................................................................................................. 2
General ............................................................................................................................ 2
Especificos ...................................................................................................................... 2
Actividades. ........................................................................................................................ 3
Conclusiones ..................................................................................................................... 13
Lista de referencias ........................................................................................................... 14
 Lista de tablas iii

Tabla 1. Tabla de verdad ( ) ( ). ................................................................................. 6

Tabla 2. Tabla de verdad ( ) ( ) atraves del simulador Truth Table. .......................... 6
Tabla 3. Comprobación → ( → ) Tabla de verdad manual Vs. Simulador Truth Table. ....... 7
Tabla 4. Tabla de verdad ( ) ( ) ( ) ( ) . ...................... 10
Tabla 5. Tabla de verdad [(p q) ( p r) (r s)] ( q s) atraves del simulador Truth
Table. ............................................................................................................................................ 11
Tabla 6. Comprobación [(p q) ( p r) (r s)] ( q s) Tabla de verdad manual Vs.
Simulador Truth Table. ................................................................................................................. 11
 1

Introducción

El pensamiento lógico matemático es fundamental para comprender conceptos

abstractos, razonamiento y comprensión de relaciones. Todas estas habilidades van

mucho más allá de las matemáticas entendidas como tales, los beneficios de este tipo de

pensamiento contribuyen a un desarrollo sano en muchos aspectos y consecución de las

metas y logros personales, y con ello al éxito personal.

El curso “Pensamiento Lógico y Matemático”, hace parte del componente de

formación en Ciencias Básicas del campo interdisciplinar básico común, que pretende

afianzar los procesos de argumentación y deducción que propicien una actitud crítica

frente a la realidad apoyando al estudiante en el desarrollo de la inteligencia lógica-

matemática que pretende afianzar los procesos de argumentación y deducción que

propicien una actitud crítica frente a la realidad.

En este documento se desarrolla la temática de la Unidad 1. Preposiciones, en el

segmento Tarea 1. Proposiciones, se revisa el lenguaje Natural y determina el valor de

verdad para un ejercicio propuesto, a continuación en la Tarea 2. Tablas de verdad se

incorpora la elaboración de estas tablas manualmente comprobando su veracidad

mediante el simulador Truth Table. Finalmente en la Tarea 3. Problemas de aplicación,

se incorpora lo aprendido en las tareas anteriores, para que el estudiante pueda demostrar

su dominio y apropiación del tema.

 2

Objetivos

General

 Proporcionar al alumno los elementos básicos y conceptos de la lógica

matemática, necesarios para el estudio de los fundamentos de las matemáticas.

Específicos

 Operar el lenguaje de la lógica proposicional.

 Aplicar las tablas de verdad para comprobar la verdad o falsedad de

proposiciones.

 Solucionar situaciones problema de proposiciones compuestas.

 3

Actividades

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:

Ejemplo:

( ) ( )

Proposición compuesta en lenguaje Natural:

Si tres colombianos han ganado el premio nobel, entonces Gabriel García Márquez ganó

un nobel de paz. Si y solo si tres colombianos no han ganado el premio nobel o Gabriel

García Márquez ganó un nobel de paz.

Determinación del valor de verdad:

p: F q: F

(p → q)  (¬p v q)

(F→F)  (V v F)

VV

V
 4

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

q: Un equipo de futbol lo componen 12 jugadores

( )↔(¬ ¬ )

SOLUCIÓN

Proposición compuesta en lenguaje Natural:

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:

:V :F

( )↔(¬ ¬ )

(V F)↔(F V)

F↔ V

Rta//: Se puede decir como conclusión que este razonamiento es no es válido pues su

valor resultante es F.
 5

Tarea 2. Tablas de verdad

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.

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.

SOLUCIÓN

Paso 1. Simbología:

En las mañanas llueva

En la tarde hace frio

En la noche llueve

La forma del razonamiento es:

1. ( )

2. ( )

Paso 2. Condicional del razonamiento:

( ) ( )

Formula de N° de filas:
 6

Paso 3. Tabla de la verdad:

Tabla 1. Tabla de verdad ( ) ( )

( ) ( )
V V V V V V
V V F V F F
V F V F F V
V F F F F V
F V V V V V
F V F V F F
F F V V V V
F F F V V V

Posteriormente se procedió a realizar el mismo razonamiento con el Simulador Truth

Table, por lo cual es necesario cambiar la simbología así:

( ) ( )

Tabla 2. Tabla de verdad ( ) ( ) atraves del simulador Truth Table

( ) ( )

T T T T

T T F F

T F T F

T F F F

F T T T

F T F F

F F T T

F F F T
 7

Tabla 3. Comprobación ( ) ( ) Tabla de verdad manual Vs. Simulador Truth

Table

( ) ( )

Tabla de verdad manual Simulador Truth Table

V T

F F

F F

F F

V T

F F

V T

V T

Conclusión: La proposición ( ) ( ) es una contingencia, porque entre sus

valores resultantes son V y F, por tanto el razonamiento no es válido.

 8

Tarea 3. Problemas de aplicación

A. ( ) ( ) ( ) ( )

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.

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

Table.

 Definir si el argumento es una Tautología, contradicción o contingencia

SOLUCIÓN

Paso 1. Simbología:

El estudiante estudia todos los días

El estudiante aprueba todas las asignaturas

La universidad UNAD reprueba al estudiante

El estudiante deja de estudiar en la universidad

 9

La forma del razonamiento es:

1. ( )

2. ( )

3. ( )

4. ( )

Proposición compuesta en lenguaje Natural:

Si el estudiante estudia todos los días entonces el estudiante aprueba todas las asignaturas

y si el estudiante no estudia todos los días entonces la universidad UNAD reprueba al

estudiante y si la universidad UNAD reprueba al estudiante entonces el estudiante deja de

estudiar en la universidad, por lo tanto si el estudiante no aprueba todas las asignaturas

entonces el estudiante deja de estudiar en la universidad.

Paso 2. Condicional del razonamiento:

( ) ( ) ( ) ( )

Formula de N° de filas:
 1
10
Paso 3. Tabla de la verdad:

Tabla 4. Tabla de verdad ( ) ( ) ( ) ( )

( ) ( ) ( ) ( )
V V V V V V F V V V V F V
V V V F V V F V F F V F V
V V F V V V F V V V V F V
V V F F V V F V V V V F V
V F V V F F F V F V V F V
V F V F F F F V F F V F V
V F F V F F F V F V V F V
V F F F F F F V F V V F V
F V V V V V V V V V V V V
F V V F V V V V F F V V F
F V F V V F V F F V V V V
F V F F V F V F F V V V F
F F V V V V V V V V V V V
F F V F V V V V F F V V F
F F F V V F V F F V V V V
F F F F V F V F F V V V F
 1
11

Posteriormente se procedió a realizar el mismo razonamiento con el Simulador Truth

Table, por lo cual es necesario cambiar la simbología así:

( ) ( ) ( ) ( )

Tabla 5. Tabla de verdad ( ) ( ) ( ) ( ) atraves del

simulador Truth Table

( ) ( ) ( ) ( )
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

Tabla 6. Comprobación ( ) ( ) ( ) ( ) Tabla de

verdad manual Vs. Simulador Truth Table

( ) ( ) ( ) ( )
Tabla de verdad manual Simulador Truth Table
V T
V T
V T
V T
 2
12
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T
V T

Conclusión: El argumento ( ) ( ) ( ) ( ) es una

tautología, porque entre sus valores resultantes todos son V, por tanto el razonamiento es

válido.
 3
13

Conclusiones

 La traducción de leguaje natural a simbólico en una proposición, permite tener

mayor claridad en la lógica matemática para generar un valor de verdad, de

acuerdo al tipo de proposición.

 El manejo de las tablas de la verdad es vital a la hora de entender la lógica misma,

pues en ellas se manifiesta todo lo que implica las relaciones sintácticas entre las

diversas proposiciones. Es así como estas son usadas en el ámbito de la lógica,

para obtener la verdad (V) o falsedad (F), valores de verdad, de una expresión o

de una proposición. Además sirven para determinar si es que un determinado

esquema de inferencia es formalmente válido como un argumento.

 En lógica matemática se dispone de los denominados operadores lógicos, que

permiten modificar, o asociar dos o más enunciados simples, convirtiéndolos en

proposiciones compuestas.
 14
4

Lista de referencias

Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

http://hdl.handle.net/10596/13871

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=

11046000&tm=1489704594878

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

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

Gallardo, J. (2015). “Tabla de la verdad”. Recuperado de:

http://logicamates.blogspot.com.co/2015/05/tabla-de-la-verdad.html

Romo, S. (2003). Lógica matemática. Guadalajara - Jalisco. Universidad abierta.

Recuperado de:

http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elemento

s_Logica/Textos/Biblioteca/Libros/Libro_015/LogicaMatematica.html

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=110135

70&ppg=30