12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday September 11, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 17:03, 6 May 2008
, 17:03, 6 May 2008→Note 15: markup
| | | | |
| | | | |
o-----------o-----------o-----------o-----------o
o-----------o-----------o-----------o-----------o
</pre>
Given B = {charged, resting} the Table presents the appearance
Given <math>\mathbb{B} = \{ \mathrm{charged}, \mathrm{resting} \},</math> the Table presents the appearance of a function <math>f : \mathbb{B} \times \mathbb{B} \times \mathbb{B} \to \mathbb{B},</math> where <math>f(x, y, z) = (x, y, z).\!</math>
of a function f : B x B x B -> B, where f[x, y, z] = (x, y, z).
<pre>
If we make the identifications, charged = false, resting = true,
If we make the identifications, charged = false, resting = true,
in accord with the so-called "existential" interpretation, then
in accord with the so-called "existential" interpretation, then
