Changes

<br>

<br>

I am going to put off explaining Table&mdash;2, that presents a sample of what I call ''interpretive categories'' for higher order propositions, until after we get beyond the 1-dimensional case, since these lower dimensional cases tend to be a bit ''condensed'' or ''degenerate'' in their structures, and a lot of what is going on here will almost automatically become clearer as soon as we get even two logical variables into the mix.

I am going to put off explaining Table&nbsp;2, that presents a sample of what I call ''interpretive categories'' for higher order propositions, until after we get beyond the 1-dimensional case, since these lower dimensional cases tend to be a bit ''condensed'' or ''degenerate'' in their structures, and a lot of what is going on here will almost automatically become clearer as soon as we get even two logical variables into the mix.

{| 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%"

====Higher Order Propositions and Logical Operators (''n'' = 2)====

====Higher Order Propositions and Logical Operators (''n'' = 2)====

By way of reviewing notation and preparing to extend it to higher order universes of discourse, let us first consider the universe of discourse ''X''° = [''X''] = [''x''₁, ''x''₂] = [''x'', ''y''], based on two logical features or boolean variables ''x'' and ''y''.

By way of reviewing notation and preparing to extend it to higher order universes of discourse, let us first consider the universe of discourse <math>X^\circ = [X] = [x_1, x_2] = [x, y],</math> based on two logical features or boolean variables <math>x\!</math> and <math>y.\!</math>

{|

{|

| align=right width=36 | 1.

| align=right width=36 | 1.

| The points of ''X''° are collected in the space:

| The points of <math>X^\circ</math> are collected in the space:

|-

|-

| &nbsp;

| &nbsp;