MyWikiBiz, Author Your Legacy — Friday May 17, 2024
Jump to navigationJump to search
232 bytes added
, 17:09, 12 June 2009
Line 205: |
Line 205: |
| ==Note 2== | | ==Note 2== |
| | | |
| + | We have just met with the fact that the differential of the '''''and''''' is the '''''or''''' of the differentials. |
| + | |
| + | {| align="center" cellpadding="6" width="90%" |
| + | | align="center" | |
| + | <math>p ~\operatorname{and}~ q \quad \xrightarrow{~\operatorname{Diff}~} \quad \operatorname{d}p ~\operatorname{or}~ \operatorname{d}p</math> |
| + | |- |
| + | | align="center" | |
| <pre> | | <pre> |
− | We have just met with the fact that
| |
− | the differential of the "and" is
| |
− | the "or" of the differentials.
| |
− |
| |
− | p and q --Diff--> dp or dq.
| |
− |
| |
| o-------------------------------------------------o | | o-------------------------------------------------o |
| | | | | | | |
Line 224: |
Line 225: |
| | p q --Diff--> ((dp) (dq)) | | | | p q --Diff--> ((dp) (dq)) | |
| o-------------------------------------------------o | | o-------------------------------------------------o |
| + | </pre> |
| + | |} |
| | | |
| + | <pre> |
| It will be necessary to develop a more refined analysis of | | It will be necessary to develop a more refined analysis of |
| this statement directly, but that is roughly the nub of it. | | this statement directly, but that is roughly the nub of it. |