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.1
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:
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 variable ló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 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
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 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.
La tabla de verdad de la disyunción es la siguiente:
No hay comentarios.:
Publicar un comentario