12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 02:45, 6 July 2008
, 02:45, 6 July 2008→A Functional Conception of Propositional Calculus
| <math>A\!</math>
| <math>A\!</math>
|
|
<math>\langle \mathcal{A} \rangle</math><br>
<p><math>\langle \mathcal{A} \rangle</math></p>
<math>\langle a_1, \ldots, a_n \rangle</math><br>
<p><math>\langle a_1, \ldots, a_n \rangle</math></p>
<math>\{(a_1, \ldots, a_n)\}</math><br>
<p><math>\{(a_1, \ldots, a_n)\}</math></p>
<math>A_1 \times \ldots \times A_n</math><br>
<p><math>A_1 \times \ldots \times A_n</math></p>
<math>\textstyle \prod_i A_i</math>
<p><math>\textstyle \prod_{i=1}^n A_i</math></p>
|
|
<math>\operatorname{Set~of~cells},</math><br>
<p><math>\operatorname{Set~of~cells},</math></p>
<math>\operatorname{coordinate~tuples},</math><br>
<p><math>\operatorname{coordinate~tuples},</math></p>
<math>\operatorname{points,~or~vectors}</math><br>
<p><math>\operatorname{points,~or~vectors}</math></p>
<math>\operatorname{in~the~universe}</math><br>
<p><math>\operatorname{in~the~universe}</math></p>
<math>\operatorname{of~discourse}</math>
<p><math>\operatorname{of~discourse}</math></p>
| <math>\mathbb{B}^n</math>
| <math>\mathbb{B}^n</math>
|-
|-
| <math>A^\circ</math>
| <math>A^\circ</math>
|
|
<math>[\mathcal{A}]</math><br>
<p><math>[\mathcal{A}]</math></p>
<math>(A, A^\uparrow)</math><br>
<p><math>(A, A^\uparrow)</math></p>
<math>(A\ +\!\to \mathbb{B})</math><br>
<p><math>(A\ +\!\to \mathbb{B})</math></p>
<math>(A, (A \to \mathbb{B}))</math><br>
<p><math>(A, (A \to \mathbb{B}))</math></p>
<math>[a_1, \ldots, a_n]</math>
<p><math>[a_1, \ldots, a_n]</math></p>
|
|
<math>\operatorname{Universe~of~discourse}</math><br>
<p><math>\operatorname{Universe~of~discourse}</math></p>
<math>\operatorname{based~on~the~features}</math><br>
<p><math>\operatorname{based~on~the~features}</math></p>
<math>\{a_1, \ldots, a_n\}</math>
<p><math>\{a_1, \ldots, a_n\}</math></p>
|
|
<math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>
<p><math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math></p>
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<p><math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math></p>
<math>[\mathbb{B}^n]</math>
<p><math>[\mathbb{B}^n]</math></p>
|}
|}
<br>
<br>