Differential Logic • 8

Posted on April 8, 2020 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.

Table A1.  Propositional Forms on Two Variables

Table A1. Propositional Forms on Two Variables

cc: Cybernetics • Ontolog • Peirce List (1) (2) • Structural Modeling • Systems Science

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, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

Gravatar
WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out /  Change )

Google photo

You are commenting using your Google account. ( Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. ( Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out /  Change )

Cancel

Connecting to %s

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