12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday May 10, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 20:08, 17 January 2008
, 20:08, 17 January 2008→3.1.1.2. Partitions : Genus and Species: markup
Especially useful is the facility this notation provides for expressing partition constraints, or relations of mutual exclusion and exhaustion among logical features. For example,
Especially useful is the facility this notation provides for expressing partition constraints, or relations of mutual exclusion and exhaustion among logical features. For example,
: ((p1),(p2),(p3))
: ((''p''<sub>1</sub>),(''p''<sub>2</sub>),(''p''<sub>3</sub>))
says that the universe is partitioned among the three properties p1, p2, p3. Finally,
says that the universe is partitioned among the three properties ''p''<sub>1</sub>, ''p''<sub>1</sub>, ''p''<sub>1</sub>. Finally,
: (g,(s1),(s2),(s3))
: (''g'' , (''s''<sub>1</sub>),(''s''<sub>2</sub>),(''s''<sub>3</sub>))
says that the genus g is partitioned into the three species s1, s2, s3. Its Venn diagram looks like a pie chart. This style of expression is also useful in representing the behavior of devices, for example: finite state machines, which must occupy exactly one state at a time; and Turing machines, whose tape head must engage just one tape cell at a time.
says that the genus ''g'' is partitioned into the three species ''s''<sub>1</sub>, ''s''<sub>2</sub>, ''s''<sub>3</sub>. Its venn diagram looks like a pie chart. This style of expression is also useful in representing the behavior of devices, for example: finite state machines, which must occupy exactly one state at a time; and Turing machines, whose tape head must engage just one tape cell at a time.
=====3.1.1.3. Vacuous Connectives and Constant Values=====
=====3.1.1.3. Vacuous Connectives and Constant Values=====
