Universidad Nacional Abierta - Centro Local Bolívar

Unidad de Apoyo Guasipati

Ingeniería de Sistemas (236)
Semestre 2020-1
Asignatura: Lógica (107)

Nombre y Apellido: Osmar Ortiz C.I: 29.862.655

Asesor: Prof. Dairy García
Fecha de Entrega: 30-07-2020

Tabla de verdad

En el siguiente ensayo estableceremos de manera reflexiva el valor veritativo

formula proposicional dada mediante la construcción de una tabla de verdad,
describiendo la aplicación de las reglas, simbologías, las forma en la que se conectan
los enunciados, las diferencias entre tautología, contradicción y contingentes.

La lógica proposicional estudia la manera en el cual se estructuran los enunciados

sin tener en cuenta su contenido. El estudio del lenguaje a este nivel es el más
elemental, y como símbolos primitivos considera los enunciados tomados en bloque y
las conexiones entre ellos, como también lo signos de puntuación [CITATION Alf09 \p
51-52 \l 2058 ]. Los enunciados son sentencias que pueden ser declaradas como
verdaderas o falsas. Lo previo no incluye expresiones de tipo interrogativo, declarativo e
imperativo [ CITATION Cop131 \l 2058 ].

Simbolizamos a cada unidad sintáctica independiente a través de variables

proposicionales las cuales son representadas por las letras mayúsculas como << P >>,
<< Q >>, << R >>, << S >>, << A >>, y << B>> [CITATION Sup88 \p 10 \l 2058 ]. Las
preposiciones (enunciados) que no contiene ningún otro enunciado como componente
se denominan enunciado simple, y aquel que contiene otro enunciado como
componente se denomina enunciado compuesto [CITATION Cop131 \p 365 \l 2058 ].
 La forma que se conectan los enunciados se establece a partir de la negación (¬), la
conjunción (ʌ), la disyunción (v), y la implicación (→). La negación se forma agregando
un “no” en el enunciado original, esta conectiva es falsa cuando el enunciado es
verdadero y para el caso contrario es falsa. La conjunción de dos enunciados se forma
insertando el conector “y” en el medio, si ambos enunciados son verdaderos, la
conjunción es verdadera, en los demás casos es falsa. La disyunción se forma
insertado la palabra “o” entre los dos enunciados y es verdadera cuando por lo menos
uno de los enunciados es verdadero. La implicación se construye al combinar dos
enunciados utilizando las palabras “si” al inicio del primero y “entonces” en medio de los
dos. Como característica de los símbolos primitivos, se cuenta con los signos de
puntuación los cuales están conformados por paréntesis “( )”, llaves “{ }” y corchetes
“[ ]”, con la finalidad de agrupar los enunciados que a su vez podrían estar conformados
por otros enunciados compuestos, la diferencia de puntuación puede generar
variaciones en el valor de la verdad [CITATION Cop131 \p 366-372 \l 2058 ].

Uno de los métodos más sencillos y conocidos de la lógica formal es la tabla de

verdad sirve para determinar las condiciones de verdad de un enunciado, es decir, su
significado en función de las condiciones de sus elementos atómicos. En otras
palabras, la tabla de verdad nos dice en qué situaciones el enunciado es verdadero y
en cuales es falso [ CITATION Lud22 \l 8202 ].

Para la construcción de la tabla de verdad se recomienda aplicar el método del

diagrama en donde se analiza los valores de verdad de proposiciones aplicando las
siguientes reglas:
 Las tablas de verdad proporcionan todas las posibles asignaciones de verdad, y el
método de comprobar la validez de cualquier inferencia es el siguiente: Primero, se
escriben todas las combinaciones posibles de valores de verdad para las proposiciones
atómicas incluidas en el ejemplo anterior. Segundo, se determinan los valores de
verdad para todas las premisas y de la conclusión del razonamiento. Tercero, se
buscan las líneas que presentan todas las premisas como proposiciones ciertas; si la
conclusión es también cierta para cada una de estas líneas, entonces el razonamiento
es válido. Pero si hay alguna línea para la que tomas las premisas son ciertas y la
conclusión es falsa, el razonamiento no es válido y la conclusión no es una
consecuencia lógica [CITATION Sup88 \p 164-165 \l 8202 ].

Una forma enunciativa que tiene únicamente instancias de sustitución verdaderas es

una forma enunciativa tautológica, otra forma enunciativa que únicamente tiene
instancias de sustitución falsas se dice que autocontradictoria, o una contradicción y es
lógicamente falsa y por ultimo las que tienen enunciados verdaderos y falsos entre sus
instancias de sustitución se llaman formas enunciativas contingentes [CITATION
Cop131 \p 409 \l 8202 ].

En conclusión, las tablas de verdad nos permiten analizar cualquier fórmula y

encontrar sus valores de verdad. Nos dice si una fórmula es certeza. Si un
razonamiento es válido o no. Constituye un procedimiento de decisión que en un
número finito de pasos nos dices si una fórmula es una tautología o no.
Referencias
Copi, I. M. (2013). Introducción a la lógica. Mexico: Limusa.

Deaño, A. (2009). Introducción a la lógica formal. Madrid: Alianza Editorial.

Suppes, P., & Hill, S. (1988). Primer Curso de Lógica Matemática. Bogotá: Editorial
Reverté.

Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. Austria: HARCOURT, BRACE

& COMPANY, INC.