Line 1: |
Line 1: |
| + | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. |
| + | |
| A '''finitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is a [[boolean domain]] and where <math>k\!</math> is a nonnegative integer. In the case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math> | | A '''finitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is a [[boolean domain]] and where <math>k\!</math> is a nonnegative integer. In the case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math> |
| | | |
Line 4: |
Line 6: |
| | | |
| ==Syllabus== | | ==Syllabus== |
| + | |
| + | ===Focal nodes=== |
| + | |
| + | {{col-begin}} |
| + | {{col-break}} |
| + | * [[Inquiry Live]] |
| + | {{col-break}} |
| + | * [[Logic Live]] |
| + | {{col-end}} |
| + | |
| + | ===Peer nodes=== |
| + | |
| + | {{col-begin}} |
| + | {{col-break}} |
| + | * [http://mywikibiz.com/Boolean_function Boolean Function @ MyWikiBiz] |
| + | * [http://mathweb.org/wiki/Boolean_function Boolean Function @ MathWeb Wiki] |
| + | * [http://netknowledge.org/wiki/Boolean_function Boolean Function @ NetKnowledge] |
| + | {{col-break}} |
| + | * [http://wiki.oercommons.org/mediawiki/index.php/Boolean_function Boolean Function @ OER Commons] |
| + | * [http://p2pfoundation.net/Boolean_Function Boolean Function @ P2P Foundation] |
| + | * [http://semanticweb.org/wiki/Boolean_function Boolean Function @ SemanticWeb] |
| + | {{col-end}} |
| | | |
| ===Logical operators=== | | ===Logical operators=== |
Line 28: |
Line 52: |
| * [[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]] |
| * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| {{col-end}} | | {{col-end}} |
| + | |
| + | ===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]] |
| + | * [[Logic of information]] |
| + | {{col-break}} |
| + | * [[Descriptive science]] |
| + | * [[Normative science]] |
| + | {{col-break}} |
| + | * [[Pragmatic maxim]] |
| + | * [[Pragmatic theory of truth]] |
| + | {{col-break}} |
| + | * [[Semeiotic]] |
| + | * [[Semiotic information]] |
| + | {{col-end}} |
| + | |
| + | ===Related articles=== |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”] |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”] |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”] |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] |
| + | |
| + | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] |
| + | |
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”] |
| | | |
| ==Document history== | | ==Document history== |
Line 47: |
Line 127: |
| {{col-break}} | | {{col-break}} |
| * [http://mywikibiz.com/Boolean_function Boolean Function], [http://mywikibiz.com/ MyWikiBiz] | | * [http://mywikibiz.com/Boolean_function Boolean Function], [http://mywikibiz.com/ MyWikiBiz] |
− | * [http://beta.wikiversity.org/wiki/Boolean_function Boolean Function], [http://beta.wikiversity.org/ Beta Wikiversity] | + | * [http://mathweb.org/wiki/Boolean_function Boolean Function], [http://mathweb.org/ MathWeb Wiki] |
| * [http://planetmath.org/encyclopedia/BooleanFunction.html Boolean Function], [http://planetmath.org/ PlanetMath] | | * [http://planetmath.org/encyclopedia/BooleanFunction.html Boolean Function], [http://planetmath.org/ PlanetMath] |
| + | * [http://planetphysics.org/encyclopedia/BooleanFunction.html Boolean Function], [http://planetphysics.org/ PlanetPhysics] |
| {{col-break}} | | {{col-break}} |
− | * [http://www.wikinfo.org/index.php/Boolean_function Boolean Function], [http://www.wikinfo.org/ Wikinfo] | + | * [http://beta.wikiversity.org/wiki/Boolean_function Boolean Function], [http://beta.wikiversity.org/ Wikiversity Beta] |
− | * [http://www.textop.org/wiki/index.php?title=Boolean_function Boolean Function], [http://www.textop.org/wiki/ Textop Wiki] | + | * [http://wikinfo.org/index.php/Boolean_function Boolean Function], [http://wikinfo.org/ Wikinfo] |
| + | * [http://textop.org/wiki/index.php?title=Boolean_function Boolean Function], [http://textop.org/wiki/ Textop Wiki] |
| * [http://en.wikipedia.org/w/index.php?title=Boolean_function&oldid=60886833 Boolean Function], [http://en.wikipedia.org/ Wikipedia] | | * [http://en.wikipedia.org/w/index.php?title=Boolean_function&oldid=60886833 Boolean Function], [http://en.wikipedia.org/ Wikipedia] |
| {{col-end}} | | {{col-end}} |
Line 58: |
Line 140: |
| | | |
| [[Category:Inquiry]] | | [[Category:Inquiry]] |
| + | [[Category:Open Educational Resource]] |
| [[Category:Peer Educational Resource]] | | [[Category:Peer Educational Resource]] |
| [[Category:Combinatorics]] | | [[Category:Combinatorics]] |