PlanetMath: Boolean domain

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

Boolean domain

(Definition)

A Boolean domain $\mathbb{B}$ is a generic 2-element set, say, $\mathbb{B} = \{ 0, 1 \}$ , whose elements are interpreted as logical values, typically, $0 = \mathrm{false}$ and $1 = \mathrm{true}$ .

A Boolean variable is a variable that takes its value from a Boolean domain, as $x \in \mathbb{B}$ .

"Boolean domain" is owned by Jon Awbrey.

(view preamble)

See Also: Boolean-valued function

Also defines:

Boolean variable

Log in to rate this entry.
(view current ratings)

Cross-references: variable
There are 5 references to this entry.

This is version 3 of Boolean domain, born on 2008-04-03, modified 2008-04-04.
Object id is 10474, canonical name is BooleanDomain.
Accessed 376 times total.

Classification:

AMS MSC:	03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic)
	03C55 (Mathematical logic and foundations :: Model theory :: Set-theoretic model theory)
	03G05 (Mathematical logic and foundations :: Algebraic logic :: Boolean algebras)
	68P01 (Computer science :: Theory of data :: General)
	68Q01 (Computer science :: Theory of computing :: General)
	68R01 (Computer science :: Discrete mathematics in relation to computer science :: General)

Pending Errata and Addenda

None.[ View all 1 ]

Discussion

forum policy

No messages.

Interact