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: Cybernetics • Ontolog • Peirce List (1) (2) • Structural Modeling • Systems Science