Line 5,990: |
Line 5,990: |
| | | |
| ==Current Work== | | ==Current Work== |
| + | |
| + | <br> |
| + | |
| + | <pre> |
| + | Table 41. Schematism of Sequential Inference |
| + | Initial Differential Inferred |
| + | Premiss Premiss Sequel |
| + | x @ t dx @ t (x) @ t' |
| + | x @ t (dx) @ t x @ t' |
| + | (x) @ t dx @ t x @ t' |
| + | (x) @ t (dx) @ t (x) @ t' |
| + | </pre> |
| | | |
| <br> | | <br> |