This site is supported by donations to The OEIS Foundation.

Differential Propositional Calculus • Appendices

From OeisWiki
Jump to: navigation, search

Author: Jon Awbrey


OverviewPart 1Part 2AppendicesReferences


Contents

Appendices

Appendix 1. Propositional Forms and Differential Expansions

Table A1. Propositional Forms on Two Variables


       
       


Table A2. Propositional Forms on Two Variables


       
       


Table A3. Ef Expanded Over Differential Features


 


Table A4. Df Expanded Over Differential Features


 


Table A5. Ef Expanded Over Ordinary Features


 


Table A6. Df Expanded Over Ordinary Features


 


Appendix 2. Differential Forms

The actions of the difference operator and the tangent operator on the 16 bivariate propositions are shown in Tables A7 and A8.

Table A7 expands the differential forms that result over a logical basis:

This set consists of the singular propositions in the first order differential variables, indicating mutually exclusive and exhaustive cells of the tangent universe of discourse. Accordingly, this set of differential propositions may also be referred to as the cell-basis, point-basis, or singular differential basis. In this setting it is frequently convenient to use the following abbreviations:

    and    

Table A8 expands the differential forms that result over an algebraic basis:

This set consists of the positive propositions in the first order differential variables, indicating overlapping positive regions of the tangent universe of discourse. Accordingly, this set of differential propositions may also be referred to as the positive differential basis.

Table A7. Differential Forms Expanded on a Logical Basis


 


Table A8. Differential Forms Expanded on an Algebraic Basis


 


Table A9. Tangent Proposition as Pointwise Linear Approximation



Table A10. Taylor Series Expansion Df = df + d²f



Table A11. Partial Differentials and Relative Differentials


 


Table A12. Detail of Calculation for the Difference Map


 


Appendix 3. Computational Details

Operator Maps for the Logical Conjunction f8u, v

Computation of εf8



Computation of Ef8




Computation of Df8




Computation of df8



Computation of rf8



Computation Summary for Conjunction



Operator Maps for the Logical Equality f9u, v

Computation of εf9



Computation of Ef9



Computation of Df9




Computation of df9



Computation of rf9



Computation Summary for Equality



Operator Maps for the Logical Implication f11u, v

Computation of εf11



Computation of Ef11



Computation of Df11




Computation of df11



Computation of rf11



Computation Summary for Implication



Operator Maps for the Logical Disjunction f14u, v

Computation of εf14



Computation of Ef14



Computation of Df14




Computation of df14



Computation of rf14



Computation Summary for Disjunction



Appendix 4. Source Materials


Appendix 5. Various Definitions of the Tangent Vector



OverviewPart 1Part 2AppendicesReferences