Propositional Forms on Two Variables
To broaden our experience with simple examples, let’s examine the sixteen functions of concrete type and abstract type Our inquiry into the differential aspects of logical conjunction will pay dividends as we study the actions of and 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: Category Theory • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form • Peirce (1) (2) (3) (4)
Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry
Pingback: Genus, Species, Pie Charts, Radio Buttons • Discussion 2 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 5 | Inquiry Into Inquiry