TABLA DE VERDAD

Una tabla de verdad, o tabla de valores de verdad, 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.

Definiciones en el cálculo lógico

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harán en función del fin que se pretenda al construir el sistema que haga posible la
formalización de argumentos:

 Como razonamientos deductivos lógico-lingüísticos

 Como construcción de un sistema matemático puro
 Como una aplicación lógica en un Circuito de conmutación.

verdad

El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con un
uno: 1; en un circuito eléctrico, el circuito está cerrado cuando esta presente la afirmación de V.

Falso

El valor falso F; si se emplea notación numérica se expresa con un cero: 0; en un circuito eléctrico,
el circuito está abierto.

Variable

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 mas simples, será verdadera cuando las dos proposiciones son verdaderas.

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

Que se corresponde con la columna 8 del algoritmo fundamental.

en simbología "^" hace referencia a el conector "y"

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 mas simples, será verdadera cuando por lo menos una de las proposiciones es
verdadera de lo contrario será falsa.