## Differential Logic • 8

### 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

cc: CyberneticsOntolog • Peirce List (1) (2)Structural ModelingSystems Science

### 1 Response to Differential Logic • 8

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