12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday January 09, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 21:16, 29 June 2008
, 21:16, 29 June 2008→Tacit Extensions: HTML → TeX
On formal occasions, such as the present context of definition, the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> is explicitly symbolized by the operator <math>\epsilon</math> : (〈<font face="lucida calligraphy">X</font>〉 → '''B''') → (〈<font face="lucida calligraphy">Y</font>〉 → '''B'''), where the appropriate alphabets <font face="lucida calligraphy">X</font> and <font face="lucida calligraphy">Y</font> are understood from context, but normally one may leave the "<math>\epsilon</math>" silent.
On formal occasions, such as the present context of definition, the tacit extension from <font face="lucida calligraphy">X</font> to <font face="lucida calligraphy">Y</font> is explicitly symbolized by the operator <math>\epsilon</math> : (〈<font face="lucida calligraphy">X</font>〉 → '''B''') → (〈<font face="lucida calligraphy">Y</font>〉 → '''B'''), where the appropriate alphabets <font face="lucida calligraphy">X</font> and <font face="lucida calligraphy">Y</font> are understood from context, but normally one may leave the "<math>\epsilon</math>" silent.
Let's explore what this means for the present Example. Here, <font face="lucida calligraphy">X</font> = {''A''} and <font face="lucida calligraphy">Y</font> = E<font face="lucida calligraphy">X</font> = {''A'', d''A''}. For each of the propositions ''f''<sub>''i''</sub> over ''X'', specifically, those whose expression ''e''<sub>''i''</sub> lies in the collection {0, (''A''), ''A'', 1}, the tacit extension <math>\epsilon</math>''f'' of ''f'' to E''X'' can be phrased as a logical conjunction of two factors, ''f''<sub>''i''</sub> = ''e''<sub>''i''</sub> '''·''' <math>\tau</math> , where <math>\tau</math> is a logical tautology that uses all the variables of <font face="lucida calligraphy">Y</font> – <font face="lucida calligraphy">X</font>. Working in these terms, the tacit extensions <math>\epsilon</math>''f'' of ''f'' to E''X'' may be explicated as shown in Table 15.
Let's explore what this means for the present Example. Here, <math>\mathcal{X} = \{ A \}</math> and <math>\mathcal{Y} = \operatorname{E}\mathcal{X} = \{ A, \operatorname{d}A \}.</math> For each of the propositions <math>f_i\!</math> over <math>X\!,</math> specifically, those whose expression <math>e_i\!</math> lies in the collection <math>\{ 0, (A), A, 1 \},</math> the tacit extension <math>\epsilon f\!</math> of <math>f\!</math> to <math>\operatorname{E}X</math> can be phrased as a logical conjunction of two factors, <math>f_i = e_i \cdot \tau\ ,</math> where <math>\tau\!</math> is a logical tautology that uses all the variables of <math>\mathcal{Y} - \mathcal{X}.</math> Working in these terms, the tacit extensions <math>\epsilon f\!</math> of <math>f\!</math> to <math>\operatorname{E}X</math> may be explicated as shown in Table 15.
<font face="courier new">
<font face="courier new">
