Changes

|          |          |          |          |

|          |          |          |          |

o-----------o-----------o-----------o-----------o

o-----------o-----------o-----------o-----------o

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

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