differential propositional calculus : appendix 2

\\PMlinkescapephrase

action\\PMlinkescapephraseAction\\PMlinkescapephraseactions\\PMlinkescapephraseActions\\PMlinkescapephrasealgebraic\\PMlinkescapephraseAlgebraic\\PMlinkescapephrasebasis\\PMlinkescapephraseBasis\\PMlinkescapephraseexpanded\\PMlinkescapephraseExpanded\\PMlinkescapephraseexpands\\PMlinkescapephraseExpands

The actions of the difference operator (http://planetmath.org/FiniteDifference) $\\operatorname{D}$ and the tangent operator (http://planetmath.org/TangentMap) $\\operatorname{d}$ on the 16 propositional forms in two variables are shown in the Tables below.

Table A7 expands the resulting differential forms over a logical basis:

$\\{(\\operatorname{d}x)(\\operatorname{d}y),\\ \\operatorname{d}x\\,(\\operatorname{d%}y),\\ (\\operatorname{d}x)\\,\\operatorname{d}y,\\ \\operatorname{d}x\\,%\\operatorname{d}y\\}.$

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:

$\\partial x=\\operatorname{d}x\\,(\\operatorname{d}y)$ and $\\partial y=(\\operatorname{d}x)\\,\\operatorname{d}y.$

Table A8 expands the resulting differential forms over an algebraic basis:

$\\{1,\\ \\operatorname{d}x,\\ \\operatorname{d}y,\\ \\operatorname{d}x\\,\\operatorname%{d}y\\}.$

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.

单词	DifferentialPropositionalCalculusAppendix2
释义	differential propositional calculus : appendix 2 \\PMlinkescapephrase action\\PMlinkescapephraseAction\\PMlinkescapephraseactions\\PMlinkescapephraseActions\\PMlinkescapephrasealgebraic\\PMlinkescapephraseAlgebraic\\PMlinkescapephrasebasis\\PMlinkescapephraseBasis\\PMlinkescapephraseexpanded\\PMlinkescapephraseExpanded\\PMlinkescapephraseexpands\\PMlinkescapephraseExpands The actions of the difference operator (http://planetmath.org/FiniteDifference) $\\operatorname{D}$ and the tangent operator (http://planetmath.org/TangentMap) $\\operatorname{d}$ on the 16 propositional forms in two variables are shown in the Tables below. Table A7 expands the resulting differential forms over a logical basis: $\\{(\\operatorname{d}x)(\\operatorname{d}y),\\ \\operatorname{d}x\\,(\\operatorname{d%}y),\\ (\\operatorname{d}x)\\,\\operatorname{d}y,\\ \\operatorname{d}x\\,%\\operatorname{d}y\\}.$ 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: $\\partial x=\\operatorname{d}x\\,(\\operatorname{d}y)$ and $\\partial y=(\\operatorname{d}x)\\,\\operatorname{d}y.$ Table A8 expands the resulting differential forms over an algebraic basis: $\\{1,\\ \\operatorname{d}x,\\ \\operatorname{d}y,\\ \\operatorname{d}x\\,\\operatorname%{d}y\\}.$ 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. Contents: 0.1 Table A7. Differential Forms Expanded on a Logical Basis 0.2 Table A8. Differential Forms Expanded on an Algebraic Basis 0.1 Table A7. Differential Forms Expanded on a Logical Basis 0.2 Table A8. Differential Forms Expanded on an Algebraic Basis
随便看	The PlanetMath FAQ ThePlanetMathFAQ1 ThePrimePowerDividingAFactorial the prime power dividing a factorial The principle of unique choice TheProofOfTheoremIsWrong The proof of theorem is wrong ThePropertyThatCompactSetsInASpaceAreClosedLiesStrictlyBetweenT1AndT2 The property that compact sets in a space are closed lies strictly between T1 and T2 TheRamificationIndexAndTheInertialDegreeAreMultiplicativeInTowers the ramification index and the inertial degree are multiplicative in towers TheRealHistoryOfGettingSettledToAccomplishStudies The Real History of Getting Settled To Accomplish Studies TheRealNumbersAreIndecomposableAsATopologicalSpace the real numbers are indecomposable as a topological space ThereAreAnInfiniteNumberOfPrimesequiv1modM ThereAreAnInfiniteNumberOfPrimesequivpm1pmod4 artinian ArtinMap Artin map ArtinReesTheorem Artin-Rees theorem ArtinsConjectureOnPrimitiveRoots Artin’s conjecture on primitive roots AscendingChainCondition

differential propositional calculus : appendix 2

Contents:

0.1 Table A7. Differential Forms Expanded on a Logical Basis

0.2 Table A8. Differential Forms Expanded on an Algebraic Basis