Changes

MyWikiBiz, Author Your Legacy — Thursday October 31, 2024
Jump to navigationJump to search
→‎Work Area: copy table to work area
Line 1,393: Line 1,393:  
|}
 
|}
 
<br>
 
<br>
 +
 +
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.
 +
 +
<font face="courier new">
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
 +
|+ '''Table 2.  Fundamental Notations for Propositional Calculus'''
 +
|- style="background:paleturquoise"
 +
! Symbol
 +
! Notation
 +
! Description
 +
! Type
 +
|-
 +
| <font face="lucida calligraphy">A<font>
 +
| {''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>}
 +
| Alphabet
 +
| [''n''] = '''n'''
 +
|-
 +
| ''A''<sub>''i''</sub>
 +
| {(''a''<sub>''i''</sub>), ''a''<sub>''i''</sub>}
 +
| Dimension ''i''
 +
| '''B'''
 +
|-
 +
| ''A''
 +
|
 +
〈<font face="lucida calligraphy">A</font>〉<br>
 +
〈''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>〉<br>
 +
{‹''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>›}<br>
 +
''A''<sub>1</sub> &times; &hellip; &times; ''A''<sub>''n''</sub><br>
 +
&prod;<sub>''i''</sub> ''A''<sub>''i''</sub>
 +
|
 +
Set of cells,<br>
 +
coordinate tuples,<br>
 +
points, or vectors<br>
 +
in the universe<br>
 +
of discourse
 +
| '''B'''<sup>''n''</sup>
 +
|-
 +
| ''A''*
 +
| (hom : ''A'' &rarr; '''B''')
 +
| Linear functions
 +
| ('''B'''<sup>''n''</sup>)* = '''B'''<sup>''n''</sup>
 +
|-
 +
| ''A''^
 +
| (''A'' &rarr; '''B''')
 +
| Boolean functions
 +
| '''B'''<sup>''n''</sup> &rarr; '''B'''
 +
|-
 +
| ''A''<sup>&bull;</sup>
 +
|
 +
[<font face="lucida calligraphy">A</font>]<br>
 +
(''A'', ''A''^)<br>
 +
(''A'' +&rarr; '''B''')<br>
 +
(''A'', (''A'' &rarr; '''B'''))<br>
 +
[''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>]
 +
|
 +
Universe of discourse<br>
 +
based on the features<br>
 +
{''a''<sub>1</sub>, &hellip;, ''a''<sub>''n''</sub>}
 +
|
 +
('''B'''<sup>''n''</sup>, ('''B'''<sup>''n''</sup> &rarr; '''B'''))<br>
 +
('''B'''<sup>''n''</sup> +&rarr; '''B''')<br>
 +
['''B'''<sup>''n''</sup>]
 +
|}
 +
</font><br>
12,080

edits

Navigation menu