MyWikiBiz, Author Your Legacy — Friday October 24, 2025
Jump to navigationJump to search
404 bytes added
, 15:14, 19 April 2008
| Line 1: |
Line 1: |
| | {{DISPLAYTITLE:Differential Propositional Calculus}} | | {{DISPLAYTITLE:Differential Propositional Calculus}} |
| | + | |
| | + | A '''differential propositional calculus''' is a [[propositional calculus extended]] by a set of terms that may be interpreted as denoting changes, differences, or variations that affect the universe of discourse described by the initial set of terms. |
| | + | |
| | + | A concrete example is best on first approach. |
| | + | |
| | + | ==Casual introduction== |
| | + | |
| | + | … |
| | + | |
| | + | ==Formal development== |
| | + | |
| | + | … |
| | + | |
| | + | ==Expository examples== |
| | + | |
| | + | … |
| | | | |
| | ==Differential Logic : Series A== | | ==Differential Logic : Series A== |