Changes

</pre>

</pre>

Next question: .What is the difference between the value of the proposition ''xy'' "over there" and the value of the proposition ''xy'' where you are, all expressed as general formula, of course? .Here 'tis:

Next question: What is the difference between the value of the proposition <math>xy\!</math> "over there" and the value of the proposition <math>xy\!</math> where you are, all expressed as general formula, of course? Here it is:

<pre>

<pre>

</pre>

</pre>

Oh, I forgot to mention: .Computed over '''B''', plus and minus are the very same operation. .This will make the relationship between the differential and the integral parts of the resulting calculus slightly stranger than usual, but never mind that now.

Computed over <math>\mathbb{B},</math> plus and minus are the very same operation. This will make the relationship between the differential and the integral parts of the resulting calculus slightly stranger than usual, but never mind that now.

Last question, for now: .What is the value of this expression from your current standpoint, that is, evaluated at the point where ''xy'' is true? .Well, substituting 1 for ''x'' and 1 for ''y'' in the graph amounts to the same thing as erasing those labels:

Last question, for now: What is the value of this expression from your current standpoint, that is, evaluated at the point where <math>xy\!</math> is true? Substituting 1 for <math>x\!</math> and 1 for <math>y\!</math> in the graph amounts to the same thing as erasing those labels:

<pre>

<pre>

</pre>

</pre>

We have just met with the fact that the differential of the "and" is the "or" of the differentials.

We have just met with the fact that the differential of the <math>\operatorname{and}</math> is the <math>\operatorname{or}</math> of the differentials. Briefly summarized:

: ''x'' and ''y'' .--Diff--> .''dx'' or ''dy''.

: <math>x\ \operatorname{and}\ y\ \xrightarrow{\operatorname{Diff}}\ \operatorname{d}x \ \operatorname{or}\ \operatorname{d}y</math>

<pre>

<pre>