MyWikiBiz, Author Your Legacy — Friday November 21, 2025
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. |