12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 01, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:02, 8 July 2009
, 18:02, 8 July 2009→Differential Expansions of Propositions: trim
===Differential Expansions of Propositions===
===Differential Expansions of Propositions===
One of the first things that you can do, once you have a moderately efficient calculus for boolean functions or propositional logic, whatever you choose to call it, is to start thinking about, and even start computing, the differentials of these functions or propositions.
One of the first things that you can do, once you have a moderately efficient calculus for boolean functions or propositional logic, is to start thinking about, and even to start computing, the differentials of these functions or propositions.
Let us start with a proposition of the form <math>p ~\operatorname{and}~ q</math> that is graphed as two labels attached to a root node:
Let us start with a proposition of the form <math>p ~\operatorname{and}~ q</math> that is graphed as two labels attached to a root node:
