Tablas de verdad

Tablas 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 de 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 quehaga 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 unCircuito de conmutación.

Verdadero
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.Falso
El valor falso se representa con la letra 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 variablelógica A, B, C, ... que pueden ser
verdaderas V, o falsas F, los operadores fundamentales se
definen así:

Negación
La negación es un 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 opera sobre
dos valores de verdad, típicamente los valores
de verdad de dosproposiciones, 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
La tabla de verdad de laconjunción es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

Disyunción
La disyunción es un operador que opera
sobre dos valores de verdad, típicamente
los...