Changes

Table 2 exhibits the scheme of notation I use to formalize the domain of propositional calculus, corresponding to the logical content of truth tables and venn diagrams.  Although it overworks the square brackets a bit, I also use either one of the equivalent notations [''n''] or '''''n''''' to denote the data type of a finite set on n elements.

Table 2 exhibits the scheme of notation I use to formalize the domain of propositional calculus, corresponding to the logical content of truth tables and venn diagrams.  Although it overworks the square brackets a bit, I also use either one of the equivalent notations [''n''] or '''''n''''' to denote the data type of a finite set on n elements.

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"

|+ '''Table 2.  Fundamental Notations for Propositional Calculus'''

|+ '''Table 2.  Fundamental Notations for Propositional Calculus'''

| [''n''] = '''n'''

| [''n''] = '''n'''

|-

|-

| ''A''_''i''

| <math>A_i\!</math>

| <math>\{ (a_i), a_i \}\!</math>

| <math>\{ (a_i), a_i \}\!</math>

| Dimension ''i''

| Dimension ''i''

| '''B'''

| <math>\mathbb{B}</math>

|-

|-

| ''A''

| <math>A\!</math>

|

|

〈<math>\mathcal{A}</math>〉<br>

〈<math>\mathcal{A}</math>〉<br>

〈<math>a_1, \ldots, a_n</math>〉<br>

〈<math>a_1, \ldots, a_n</math>〉<br>

{‹<math>a_1, \ldots, a_n</math>›}<br>

{‹<math>a_1, \ldots, a_n</math>›}<br>

''A''₁ &times; &hellip; &times; ''A''_''n''<br>

<math>A_1 \times \ldots \times A_n</math><br>

&prod;_''i'' ''A''_''i''

&prod;_''i'' ''A''_''i''

|

|

in the universe<br>

in the universe<br>

of discourse

of discourse

| '''B'''^''n''

| <math>\mathbb{B}^n</math>

|-

|-

| ''A''*

| ''A''*

| (''A'' &rarr; '''B''')

| (''A'' &rarr; '''B''')

| Boolean functions

| Boolean functions

| '''B'''^''n'' &rarr; '''B'''

| <math>\mathbb{B}^n \to \mathbb{B}</math>

|-

|-

| ''A''^&bull;

| ''A''^&bull;

<math>\{ a_1, \ldots, a_n \}</math>

<math>\{ a_1, \ldots, a_n \}</math>

|

|

('''B'''^''n'', ('''B'''^''n'' &rarr; '''B'''))<br>

<math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>

('''B'''^''n'' +&rarr; '''B''')<br>

<math>(\mathbb{B}^n + \to \mathbb{B})</math><br>

['''B'''^''n'']

<math>[\mathbb{B}^n]</math>

|}

|}

</font><br>

<br>