| 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> |