Changes

{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%"

{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:60%"

|+ '''Table 2. .Truth Table for the Proposition ''q'' '''

|+ '''Table 2. Truth Table for the Proposition ''q'' '''

|- style="background:paleturquoise"

|- style="background:paleturquoise"

! style="width:20%" | ''u v w''

! style="width:20%" | ''u v w''

</pre>

</pre>

*<p>Working in the ''conjunctive product'' form of representation, if the conjunctive proposition <math>x\!</math> is a model of <math>q\!</math> in <math>X,\!</math> then one can construct a conjunctive proposition <math>\operatorname{e}x\!</math> as a model for <math>\operatorname{e}q\!</math> in <math>\operatorname{E}X\!</math> just by appending any combination of values for the differential variables in <math>\operatorname{d}\mathcal{X}.</math></p><p>The tacit extensions of <math>c\!</math> that are models of <math>\operatorname{e}q\!</math> in <math>\operatorname{E}X\!</math> are as follows:</p>

* <p>Working in the ''conjunctive product'' form of representation, if the conjunctive proposition <math>x\!</math> is a model of <math>q\!</math> in <math>X,\!</math> then one can construct a conjunctive proposition <math>\operatorname{e}x\!</math> as a model for <math>\operatorname{e}q\!</math> in <math>\operatorname{E}X\!</math> just by appending any combination of values for the differential variables in <math>\operatorname{d}\mathcal{X}.</math></p><p>The tacit extensions of <math>c\!</math> that are models of <math>\operatorname{e}q\!</math> in <math>\operatorname{E}X\!</math> are as follows:</p>

<pre>

<pre>