12,136
edits
Changes
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 17:08, 11 November 2012
, 17:08, 11 November 2012→Current Work
==Current Work==
==Current Work==
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%"
|+ style="height:30px" |
<math>\text{Table 69.} ~~ \text{Schematism of Sequential Inference}\!</math>
|- style="height:40px; background:#f0f0ff"
| width="33%" | <math>\text{Initial Premiss}\!</math>
| width="33%" | <math>\text{Differential Premiss}\!</math>
| width="33%" | <math>\text{Inferred Sequel}\!</math>
|-
| valign="bottom" |
<math>\begin{matrix}
~x~ ~\operatorname{at}~ t
\\[4pt]
~x~ ~\operatorname{at}~ t
\\[4pt]
(x) ~\operatorname{at}~ t
\\[4pt]
(x) ~\operatorname{at}~ t
\end{matrix}</math>
| valign="bottom" |
<math>\begin{matrix}
~\operatorname{d}x~ ~\operatorname{at}~ t
\\[4pt]
(\operatorname{d}x) ~\operatorname{at}~ t
\\[4pt]
~\operatorname{d}x~ ~\operatorname{at}~ t
\\[4pt]
(\operatorname{d}x) ~\operatorname{at}~ t
\end{matrix}</math>
| valign="bottom" |
<math>\begin{matrix}
(x) ~\operatorname{at}~ t'
\\[4pt]
~x~ ~\operatorname{at}~ t'
\\[4pt]
~x~ ~\operatorname{at}~ t'
\\[4pt]
(x) ~\operatorname{at}~ t'
\end{matrix}</math>
|}
<br>
<br>