Differential Propositional Calculus • 4

Casual Introduction (cont.)

In Figure 3 we saw how the basis of description for the universe of discourse X could be extended to a set of two qualities \{q, \mathrm{d}q\} while the corresponding terms of description could be extended to an alphabet of two symbols \{``q", ``\mathrm{d}q"\}.

Any propositional calculus over two basic propositions allows for the expression of 16 propositions all together.  Salient among those propositions in the present setting are the four which single out the individual sample points at the initial moment of observation.  Table 4 lists the initial state descriptions, using overlines to express logical negations.

\text{Table 4. Initial State Descriptions}
Initial State Descriptions / ¬q and ¬dq describes a / ¬q and dq describes d / q and ¬dq describes b / q and dq describes c /

Resources

cc: Academia.eduCyberneticsStructural ModelingSystems Science
cc: Conceptual GraphsLaws of FormMathstodonResearch Gate

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Topology, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Differential Propositional Calculus • 4

  1. Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry

  2. Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry

  3. Pingback: Survey of Differential Logic • 8 | Inquiry Into Inquiry

  4. Pingback: Survey of Differential Logic • 8 | Systems Community of Inquiry

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.