En la lógica clásica, los valores de verdad indican si una declaración lógica es verdadera o falsa. La variable booleana utiliza este principio para hacer verificables las declaraciones lógicas en el código del programa.
Una afirmación que es válida en el sentido de la lógica clásica es siempre verdadera o no. Tiene el llamado valor de verdad. En la lógica clásica, el valor de verdad solo puede asumir uno de los dos valores permitidos: verdadero y falso. También hay sistemas lógicos con lógica multivalor en los que se proporcionan más de dos valores de verdad.
Dado que el valor de verdad de un enunciado en lógica clásica siempre debe ser verdadero o falso, se puede determinar claramente, por ejemplo, si un enunciado como «Hay un número natural entre 1 y 10 que es divisible por 7» es verdadero o falso.
Leer: ¿Qué son los contenedores Docker?
Variable booleana en el desarrollo de software
Las variables booleanas son un tipo de datos importante en el desarrollo de software con el que se puede verificar la verdad de una declaración lógica. Se pueden vincular con operadores lógicos para verificar declaraciones y relaciones más complejas.
Como regla general, al programar, se asume que las variables booleanas solo pueden tomar dos valores de verdad. Son verdaderos o falsos. Dependiendo del lenguaje de programación, los posibles valores de verdad son por ejemplo: verdadero y falso o 1 y 0. La mayoría de los lenguajes tienen su propio tipo de datos que sirve como una variable booleana, booleano o bool.
Lógica difusa: lógica de dos valores con incertidumbre
Un caso especial es la lógica difusa o la lógica de incertidumbre. En pocas palabras, el enfoque permite que los valores de entrada imprecisos se registren y se formulen matemáticamente de tal manera que puedan ser procesados posteriormente por la máquina. Por lo general, se trata de capturar las formas humanas de pensar con la mayor precisión posible.
Las personas pueden tomar decisiones con relativa rapidez y facilidad incluso cuando tienen información incompleta o ambigua. Y pueden expresar matices verbalmente: el apartamento es de tamaño medio, grande, muy grande, no particularmente grande, bastante pequeño, etc.
Esta falta de claridad no se puede capturar en la lógica clásica de dos valores, razón por la cual la lógica borrosa todavía lleva a cabo una especie de ponderación de los valores individuales. Se intenta derivar un modelo matemático con la mayor precisión posible a partir del modelo verbal humano de una función, que se acerca a la función deseada.