Verdad

Definición y algoritmo fundamental
Considérese dos proposiciones A y B.2 Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto,los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas sonfalsas. Esto puede expresarse con una tabla simple:

Considérese además a "•" como una operación o función lógica que realiza una función de verdad al tomar los valoresde verdad de A y de B, y devolver un único valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fácil construir una tabla que muestre qué devuelve cadafunción frente a las distintas combinaciones de valores de verdad de A y de B.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•B A•BA•B A•B A•B A•B
V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
Lasdos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lo tanto 4 líneas, y las 16 columnas despliegan todoslos posibles valores que puede devolver una función "•".De esta forma podemos conocer mecánicamente, mediante algoritmo, los posibles valores de verdad de cualquier conexiónlógica interpretada como función, siempre y cuando definamos los valores que devuelva la función.Se hace necesario, pues, definir las funciones que se utilizan en laconfección de un sistema lógico.De especial relevancia se consideran las definiciones para el Cálculo de deducción natural y las puertas lógicas en los circuitos electrónico.