Changes

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

Revision as of 14:40, 2 June 2008

60 bytes added , 14:40, 2 June 2008

→‎Formal development: shade table heading

Line 193: Line 193:

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

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

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

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

−

|-

+

|- style="background:ghostwhite"

! Symbol

! Symbol

! Notation

! Notation

Line 255: Line 255:

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

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

|+ '''Table 5. Differential Extension : Basic Notation'''

|+ '''Table 5. Differential Extension : Basic Notation'''

−

|-

+

|- style="background:ghostwhite"

! Symbol

! Symbol

! Notation

! Notation

12,122

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/67623"