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.

Resources

• Logic Syllabus
• Minimal Negation Operator
• Survey of Differential Logic
• Survey of Animated Logical Graphs

cc: Academia.edu • Cybernetics • Laws of Form • Ma^thstodon (1) (2)
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

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