MyWikiBiz, Author Your Legacy — Friday November 01, 2024
Jump to navigationJump to search
12 bytes removed
, 18:16, 8 July 2009
Line 217: |
Line 217: |
| ===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, is to start thinking about, and even to start computing, the differentials of these functions or propositions.
| + | An efficient calculus for boolean functions and logical propositions makes it feasible to compute the finite differences and the differentials of those functions and 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:
| + | For example, consider a proposition of the form <math>{}^{\backprime\backprime} p ~\operatorname{and}~ q \, {}^{\prime\prime}</math> that is graphed as two letters attached to a root node: |
| | | |
| {| align="center" cellpadding="10" | | {| align="center" cellpadding="10" |