| Line 1: | 
Line 1: | 
|   | + | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].  | 
|   | + |  | 
|   | A '''boolean domain''' <math>\mathbb{B}</math> is a generic 2-element [[set]], say, <math>\mathbb{B} = \{ 0, 1 \},</math> whose elements are interpreted as [[logical value]]s, typically, <math>0 = \operatorname{false}</math> and <math>1 = \operatorname{true}.</math>  |   | A '''boolean domain''' <math>\mathbb{B}</math> is a generic 2-element [[set]], say, <math>\mathbb{B} = \{ 0, 1 \},</math> whose elements are interpreted as [[logical value]]s, typically, <math>0 = \operatorname{false}</math> and <math>1 = \operatorname{true}.</math>  | 
|   |  |   |  | 
| Line 4: | 
Line 6: | 
|   |  |   |  | 
|   | ==Syllabus==  |   | ==Syllabus==  | 
|   | + |  | 
|   | + | ===Focal nodes===  | 
|   | + |  | 
|   | + | * [[Inquiry Live]]  | 
|   | + | * [[Logic Live]]  | 
|   | + |  | 
|   | + | ===Peer nodes===  | 
|   | + |  | 
|   | + | * [http://intersci.ss.uci.edu/wiki/index.php/Boolean_domain Boolean Domain @ InterSciWiki]  | 
|   | + | * [http://mywikibiz.com/Boolean_domain Boolean Domain @ MyWikiBiz]  | 
|   | + | * [http://ref.subwiki.org/wiki/Boolean_domain Boolean Domain @ Subject Wikis]  | 
|   | + | * [http://en.wikiversity.org/wiki/Boolean_domain Boolean Domain @ Wikiversity]  | 
|   | + | * [http://beta.wikiversity.org/wiki/Boolean_domain Boolean Domain @ Wikiversity Beta]  | 
|   |  |   |  | 
|   | ===Logical operators===  |   | ===Logical operators===  | 
| Line 28: | 
Line 43: | 
|   | * [[Boolean function]]  |   | * [[Boolean function]]  | 
|   | * [[Boolean-valued function]]  |   | * [[Boolean-valued function]]  | 
|   | + | * [[Differential logic]]  | 
|   | {{col-break}}  |   | {{col-break}}  | 
|   | * [[Logical graph]]  |   | * [[Logical graph]]  | 
| − | * [[Logical matrix]]
  |   | 
|   | * [[Minimal negation operator]]  |   | * [[Minimal negation operator]]  | 
|   | + | * [[Multigrade operator]]  | 
|   | + | * [[Parametric operator]]  | 
|   | * [[Peirce's law]]  |   | * [[Peirce's law]]  | 
|   | {{col-break}}  |   | {{col-break}}  | 
|   | * [[Propositional calculus]]  |   | * [[Propositional calculus]]  | 
|   | + | * [[Sole sufficient operator]]  | 
|   | * [[Truth table]]  |   | * [[Truth table]]  | 
|   | * [[Universe of discourse]]  |   | * [[Universe of discourse]]  | 
| Line 40: | 
Line 58: | 
|   | {{col-end}}  |   | {{col-end}}  | 
|   |  |   |  | 
| − | ==Document history==  | + | ===Relational concepts===  | 
|   | + |    | 
|   | + | {{col-begin}}  | 
|   | + | {{col-break}}  | 
|   | + | * [[Continuous predicate]]  | 
|   | + | * [[Hypostatic abstraction]]  | 
|   | + | * [[Logic of relatives]]  | 
|   | + | * [[Logical matrix]]  | 
|   | + | {{col-break}}  | 
|   | + | * [[Relation (mathematics)|Relation]]  | 
|   | + | * [[Relation composition]]  | 
|   | + | * [[Relation construction]]  | 
|   | + | * [[Relation reduction]]  | 
|   | + | {{col-break}}  | 
|   | + | * [[Relation theory]]  | 
|   | + | * [[Relative term]]  | 
|   | + | * [[Sign relation]]  | 
|   | + | * [[Triadic relation]]  | 
|   | + | {{col-end}}  | 
|   | + |    | 
|   | + | ===Information, Inquiry===  | 
|   | + |    | 
|   | + | {{col-begin}}  | 
|   | + | {{col-break}}  | 
|   | + | * [[Inquiry]]  | 
|   | + | * [[Dynamics of inquiry]]  | 
|   | + | {{col-break}}  | 
|   | + | * [[Semeiotic]]  | 
|   | + | * [[Logic of information]]  | 
|   | + | {{col-break}}  | 
|   | + | * [[Descriptive science]]  | 
|   | + | * [[Normative science]]  | 
|   | + | {{col-break}}  | 
|   | + | * [[Pragmatic maxim]]  | 
|   | + | * [[Truth theory]]  | 
|   | + | {{col-end}}  | 
|   |  |   |  | 
| − | Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
  | + | ===Related articles===  | 
|   |  |   |  | 
|   | {{col-begin}}  |   | {{col-begin}}  | 
|   | {{col-break}}  |   | {{col-break}}  | 
| − | * [http://mywikibiz.com/Boolean_domain Boolean Domain], [http://mywikibiz.com/ MyWikiBiz]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]  | 
| − | * [http://beta.wikiversity.org/wiki/Boolean_domain Boolean Domain], [http://beta.wikiversity.org/ Beta Wikiversity]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]  | 
| − | * [http://planetmath.org/encyclopedia/BooleanDomain.html Boolean Domain], [http://planetmath.org/ PlanetMath]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]  | 
|   | + | {{col-break}}  | 
|   | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]  | 
|   | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]  | 
|   | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]  | 
|   | {{col-break}}  |   | {{col-break}}  | 
| − | * [http://www.wikinfo.org/index.php/Boolean_domain Boolean Domain], [http://www.wikinfo.org/ Wikinfo]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]  | 
| − | * [http://www.textop.org/wiki/index.php?title=Boolean_domain Boolean Domain], [http://www.textop.org/wiki/ Textop Wiki]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]  | 
| − | * [http://en.wikipedia.org/w/index.php?title=Boolean_domain&oldid=71168300 Boolean Domain], [http://en.wikipedia.org/ Wikipedia]  | + | * [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]  | 
|   | {{col-end}}  |   | {{col-end}}  | 
|   |  |   |  | 
| − | <br><sharethis />
  | + | ==Document history==  | 
|   | + |    | 
|   | + | Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.  | 
|   | + |    | 
|   | + | * [http://intersci.ss.uci.edu/wiki/index.php/Boolean_domain Boolean Domain], [http://intersci.ss.uci.edu/ InterSciWiki]  | 
|   | + | * [http://mywikibiz.com/Boolean_domain Boolean Domain], [http://mywikibiz.com/ MyWikiBiz]  | 
|   | + | * [http://planetmath.org/BooleanDomain Boolean Domain], [http://planetmath.org/ PlanetMath]  | 
|   | + | * [http://wikinfo.org/w/index.php/Boolean_domain Boolean Domain], [http://wikinfo.org/w/ Wikinfo]  | 
|   | + | * [http://en.wikiversity.org/wiki/Boolean_domain Boolean Domain], [http://en.wikiversity.org/ Wikiversity]  | 
|   | + | * [http://beta.wikiversity.org/wiki/Boolean_domain Boolean Domain], [http://beta.wikiversity.org/ Wikiversity Beta]  | 
|   | + | * [http://en.wikipedia.org/w/index.php?title=Boolean_domain&oldid=71168300 Boolean Domain], [http://en.wikipedia.org/ Wikipedia]  | 
|   |  |   |  | 
|   | + | [[Category:Inquiry]]  | 
|   | + | [[Category:Open Educational Resource]]  | 
|   | + | [[Category:Peer Educational Resource]]  | 
|   | [[Category:Combinatorics]]  |   | [[Category:Combinatorics]]  | 
|   | [[Category:Computer Science]]  |   | [[Category:Computer Science]]  |