Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 02:04, 18 May 2008

38 bytes added , 02:04, 18 May 2008

Line 1,394: Line 1,394:

<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.

+

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="background:lightcyan; text-align:left; width:96%"

Jon Awbrey

12,080

edits