C.E.M.N.G.

Nuevo Amanecer
La Venta F.M.
Tema No 4 – I Parcial
Lógica Simbólica / II Bachillerato

Indicaciones: copie el contenido en su cuaderno y estudie.

Conectores Lógicos

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de
una proposición compuesta, para cada combinación de verdad que se pueda asignar.

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

Verdad

El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con un
uno: 1.

Falso

El valor falso F; si se emplea notación numérica se expresa con un cero: 0.

Para construir una tabla de verdad se debe tomar en cuenta lo siguiente:

• El número de filas está determinado por la expresión 2n siendo n el número de premisas; es
decir, si tenemos 2 premisas sería 22 = 4 filas, si tengo 3 premisas, sería 23 = 8 filas, etc.

• El número de columnas se determina sumando la cantidad de premisas más la cantidad de

conectores.
Variable (Premisa)

Para una variable lógica A, B, C, ... pueden ser verdaderas V, o falsas F, los operadores
fundamentales se definen así:

Negación

La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el

valor contradictorio de la proposición considerada.

Conjunción

La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones
son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando ambas son
verdaderas.

En términos más simples, será verdadera cuando las dos proposiciones son verdaderas.

La tabla de verdad de la conjunción es la siguiente:

Disyunción

La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

En términos más simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa.

La tabla de verdad de la disyunción es la siguiente:

Implicación o Condicional

El condicional material es un operador que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera
proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Equivalencia, doble implicación o Bicondicional

La bicondicional es una operación binaria lógica que asigna el valor verdadero cuando las dos
variables son iguales y el valor falso cuando son diferentes.

La tabla de verdad del bicondicional es la siguiente:

Tipos de proposiciones

Podemos clasificar las proposiciones compuestas en tres categorías diferentes usando las
características de sus tablas de verdad: tautologías, contradicciones y contingencias.

➢ Una tautología es una proposición cuya tabla de verdad siempre es VERDADERO para todos
los casos posibles, independientemente de los valores de verdad de las proposiciones que la
componen.

➢ Una contradicción es el caso opuesto a una tautología. Su valor de verdad es FALSO para
todos los valores de su tabla de verdad sin importar el valor de las proposiciones que la
forman.

➢ Una contingencia es cualquier proposición que no es una tautología o una contradicción, es

decir, su resultado es una combinación de valores verdaderos y falsos.

“Puedes hacerlo, deberías hacerlo, y si eres lo suficientemente valiente como para empezar, lo harás”
Stephen King.