Dominio booleano - Boolean domain
En matemáticas y álgebra abstracta , un dominio booleano es un conjunto que consta de exactamente dos elementos cuyas interpretaciones incluyen falso y verdadero . En lógica , matemáticas e informática teórica , un dominio booleano suele escribirse como {0, 1} o
La estructura algebraica que se basa naturalmente en un dominio booleano es el álgebra booleana con dos elementos . El objeto inicial en la categoría de celosías delimitadas es un dominio booleano.
En informática , una variable booleana es una variable que toma valores en algún dominio booleano. Algunos lenguajes de programación cuentan con palabras o símbolos reservados para los elementos del dominio booleano, por ejemplo false y true . Sin embargo, muchos lenguajes de programación no tienen un tipo de datos booleano en sentido estricto. En C o BASIC , por ejemplo, la falsedad está representada por el número 0 y la verdad está representada por el número 1 o -1, y todas las variables que pueden tomar estos valores también pueden tomar cualquier otro valor numérico.
Generalizaciones
El dominio booleano {0, 1} se puede reemplazar por el intervalo unitario [0,1] , en cuyo caso, en lugar de tomar solo los valores 0 o 1, se puede asumir cualquier valor entre 0 y 1 inclusive. Algebraicamente, la negación (NOT) se reemplaza con la conjunción (Y) se reemplaza con la multiplicación ( ), y la disyunción (OR) se define a través de la ley de De Morgan como .
La interpretación de estos valores como valores lógicos de verdad produce una lógica de valores múltiples , que forma la base de la lógica difusa y la lógica probabilística . En estas interpretaciones, un valor se interpreta como el "grado" de verdad: hasta qué punto una proposición es verdadera o la probabilidad de que la proposición sea verdadera.
Ver también
Referencias
Otras lecturas
- Steinbach, Bernd , ed. (1 de abril de 2014) [25 de septiembre de 2013]. Progreso reciente en el dominio booleano (1 ed.). Newcastle upon Tyne, Reino Unido: Cambridge Scholars Publishing . ISBN 978-1-4438-5638-6 . Consultado el 4 de agosto de 2019 . [1] (455 páginas) [2] (NB. Contiene versiones ampliadas de los mejores manuscritos del 10º Taller internacional sobre problemas booleanos celebrado en la Technische Universität Bergakademie Freiberg, Alemania el 21 de septiembre de 2012).
- Steinbach, Bernd , ed. (1 de mayo de 2016). Problemas y nuevas soluciones en el dominio booleano (1 ed.). Newcastle upon Tyne, Reino Unido: Cambridge Scholars Publishing . ISBN 978-1-4438-8947-6 . Consultado el 4 de agosto de 2019 . (480 páginas) [3] (NB. Contiene versiones ampliadas de los mejores manuscritos del XI Taller Internacional sobre Problemas Booleanos celebrado en la Technische Universität Bergakademie Freiberg, Alemania el 19 de septiembre de 2014).
- Steinbach, Bernd , ed. (1 de enero de 2018). Más mejoras en el dominio booleano (1 ed.). Newcastle upon Tyne, Reino Unido: Cambridge Scholars Publishing . ISBN 978-1-5275-0371-7 . Consultado el 4 de agosto de 2019 . [4] (536 páginas) [5] (NB. Contiene versiones ampliadas de los mejores manuscritos del 12º Taller Internacional sobre Problemas Booleanos celebrado en la Technische Universität Bergakademie Freiberg, Alemania el 23 de septiembre de 2016).
- Drechsler, Rolf ; Soeken, Mathias, eds. (2020) [Marzo de 2019]. Escrito en Bremen, Alemania. Técnicas booleanas avanzadas: artículos seleccionados del 13º Taller internacional sobre problemas booleanos (1 ed.). Cham, Suiza: Springer Nature Switzerland AG . doi : 10.1007 / 978-3-030-20323-8 . ISBN 978-3-030-20322-1 . (vii + 265 + 7 páginas) [6] (NB. Contiene versiones ampliadas de los mejores manuscritos del XIII Taller Internacional sobre Problemas Booleanos (IWSBP 2018) celebrado en Bremen, Alemania el 21 de septiembre de 2018).
- Drechsler, Rolf ; Große, Daniel, eds. (30 de abril de 2021). Hallazgos recientes en técnicas booleanas: artículos seleccionados del 14º taller internacional sobre problemas booleanos (1 ed.). Springer Nature Switzerland AG . ISBN 978-3-030-68070-1 . (204 páginas) [7] (NB. Contiene versiones ampliadas de los mejores manuscritos del 14º Taller Internacional sobre Problemas Booleanos (IWSBP 2020) celebrado virtualmente el 25 de septiembre de 2020) .