Changes

</pre>

</pre>

We may understand the enlarged proposition ''Ef'' as telling us all the different ways to reach a model of ''f'' from any point of the universe ''U''.

We may understand the enlarged proposition <math>\operatorname{E}f</math> as telling us all the different ways to reach a model of <math>f\!</math> from any point of the universe <math>U.\!</math>

To broaden our experience with simple examples, let us now contemplate the sixteen functions of concrete type ''X''&nbsp;&times;&nbsp;''Y''&nbsp;&rarr;&nbsp;'''B''' and abstract type '''B'''&nbsp;&times;&nbsp;'''B'''&nbsp;&rarr;&nbsp;'''B'''.  For future reference, I will set here a few tables that detail the actions of ''E'' and ''D'' and on each of these functions, allowing us to view the results in several different ways.

To broaden our experience with simple examples, let us now contemplate the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math> For future reference, I will set here a few Tables that detail the actions of <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on each of these functions, allowing us to view the results in several different ways.

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.

By way of initial orientation, Table&nbsp;1 lists equivalent expressions for the sixteen functions in a number of different languages for zeroth order logic.

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

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

|+ '''Table 1. .Propositional Forms on Two Variables'''

|+ '''Table 1. Propositional Forms on Two Variables'''

|- style="background:paleturquoise"

|- style="background:paleturquoise"

! style="width:15%" | L₁

! style="width:15%" | L₁