12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 20:14, 30 July 2008
, 20:14, 30 July 2008→Intentional Propositions: Try It Yet Another Way (TIYAW)
& = & \{ a_1^{\prime\prime}, \ldots, a_n^{\prime\prime} \}
& = & \{ a_1^{\prime\prime}, \ldots, a_n^{\prime\prime} \}
& = & \mathcal{A}^{\prime\prime} \\
& = & \mathcal{A}^{\prime\prime} \\
\cdots & & \cdots & \\
\end{array}</math></p>
\end{array}</math></p>
<p><math>\begin{array}{lll}
<p><math>\begin{array}{lll}
\operatorname{p}^k \mathcal{A}
\operatorname{p}^k \mathcal{A}
& = & \{\operatorname{p}^k a_1, \ldots, \operatorname{p}^k a_n\} \\
& = & \{\operatorname{p}^k a_1, \ldots, \operatorname{p}^k a_n\} \\
\cup \mathcal{A}'
\cup \mathcal{A}'
\cup \mathcal{A}'' \\
\cup \mathcal{A}'' \\
\ldots & & \ldots \\
\cdots & & \cdots \\
\operatorname{Q}^k \mathcal{A}
\operatorname{Q}^k \mathcal{A}
& = & \mathcal{A}
& = & \mathcal{A}