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 <math>[n]\!</math> or <math>\mathbf{n}</math> to denote the data type of a finite set on <math>n\!</math> 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 <math>[n]\!</math> or <math>\mathbf{n}</math> to denote the data type of a finite set on <math>n\!</math> elements.

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

|+ '''Table 2. Propositional Calculus : Basic Notation'''

 

|- style="background:ghostwhite"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; width:90%"

! Symbol

|+ <math>\text{Table 2.}~~\text{Propositional Calculus : Basic Notation}</math>

! Notation

|- style="background:#f0f0ff"

! Description

| <math>\text{Symbol}\!</math>

! Type

| <math>\text{Notation}\!</math>

| <math>\text{Description}\!</math>

| <math>\text{Type}\!</math>

|-

|-

| <math>\mathfrak{A}</math>

| <math>\mathfrak{A}</math>

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

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

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

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

|}<br>

|}

 

<br>

===Qualitative Logic and Quantitative Analogy===

===Qualitative Logic and Quantitative Analogy===