Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Boolean domain

From Wikipedia, the free encyclopedia
Concept in mathematical logic
Not to be confused withBinary Domain.

Inmathematics andabstract algebra, aBoolean domain is aset consisting of exactly two elements whose interpretations includefalse andtrue. Inlogic, mathematics andtheoretical computer science, a Boolean domain is usually written as {0, 1},[1][2][3][4][5] orB.{\displaystyle \mathbb {B} .}[6][7]

Thealgebraic structure that naturally builds on a Boolean domain is theBoolean algebra with two elements. Theinitial object in thecategory ofbounded lattices is a Boolean domain.

Incomputer science, a Boolean variable is avariable that takes values in some Boolean domain. Someprogramming languages featurereserved words or symbols for the elements of the Boolean domain, for examplefalse andtrue. However, many programming languages do not have aBoolean data type in the strict sense. InC orBASIC, for example, falsity is represented by the number 0 and truth is represented by the number 1 or −1, and all variables that can take these values can also take any other numerical values.

Generalizations

[edit]

The Boolean domain {0, 1} can be replaced by theunit interval[0,1], in which case rather than only taking values 0 or 1, any value between and including 0 and 1 can be assumed. Algebraically, negation (NOT) is replaced with1x,{\displaystyle 1-x,} conjunction (AND) is replaced with multiplication (xy{\displaystyle xy}), and disjunction (OR) is defined viaDe Morgan's law to be1(1x)(1y)=x+yxy{\displaystyle 1-(1-x)(1-y)=x+y-xy}.

Interpreting these values as logicaltruth values yields amulti-valued logic, which forms the basis forfuzzy logic andprobabilistic logic. In these interpretations, a value is interpreted as the "degree" of truth – to what extent a proposition is true, or the probability that the proposition is true.

See also

[edit]

References

[edit]
  1. ^van Dalen, Dirk (2004).Logic and Structure. Springer. p. 15.
  2. ^Makinson, David (2008).Sets, Logic and Maths for Computing. Springer. p. 13.Bibcode:2008slmc.book.....M.
  3. ^Boolos, George S.;Jeffrey, Richard C. (1980).Computability and Logic.Cambridge University Press. p. 99.
  4. ^Mendelson, Elliott (1997).Introduction to Mathematical Logic (4 ed.).Chapman & Hall/CRC. p. 11.
  5. ^Hehner, Eric C. R. (2010) [1993].A Practical Theory of Programming. Springer. p. 3.
  6. ^Parberry, Ian (1994).Circuit Complexity and Neural Networks.MIT Press. pp. 65.ISBN 978-0-262-16148-0.
  7. ^Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (2002).Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Series in Advanced Microelectronics. Vol. 8.Springer-Verlag Berlin Heidelberg New York. p. 73.ISBN 3-540-43152-7.ISSN 1437-0387.

Further reading

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Boolean_domain&oldid=1328365638"
Category:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp