Differential Logic • 8

Posted on November 7, 2024 by Jon Awbrey

Propositional Forms on Two Variables

To broaden our experience with simple examples, let’s examine the sixteen functions of concrete type P \times Q \to \mathbb{B} and abstract type \mathbb{B} \times \mathbb{B} \to \mathbb{B}.  Our inquiry into the differential aspects of logical conjunction will pay dividends as we study the actions of \mathrm{E} and \mathrm{D} on this family of forms.

Table A1 arranges the propositional forms on two variables in a convenient order, giving equivalent expressions for each boolean function in several systems of notation.

\text{Table A1. Propositional Forms on Two Variables}

Table A1. Propositional Forms on Two Variables

Resources

cc: Academia.edu • Cybernetics • Structural Modeling • Systems Science
cc: Conceptual Graphs • Laws of Form • Mathstodon • Research Gate

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Cybernetics, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Time, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Differential Logic • 8

  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.