Changes

User:Jon Awbrey/TABLE (view source)

Revision as of 14:48, 13 December 2008

15 bytes added , 14:48, 13 December 2008

→‎Functional Quantifiers: make room for new table

Line 3,450: Line 3,450:

===Table 1===

+

===Table 2===

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

−

|+ '''Table 1. Qualifiers of Implication Ordering:  <math>\alpha_i f = \Upsilon \langle f_i, f \rangle = \Upsilon \langle f_i \Rightarrow f \rangle</math>'''

+

|+ '''Table 2. Qualifiers of Implication Ordering:  <math>\alpha_i f = \Upsilon \langle f_i, f \rangle = \Upsilon \langle f_i \Rightarrow f \rangle</math>'''

|- style="background:ghostwhite"

| align="right" | <math>u:</math> <math>v:</math>

Line 3,795: Line 3,797:

|}

−

===Table 2===

+

===Table 3===

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

−

|+ '''Table 2. Qualifiers of Implication Ordering:  <math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle</math>'''

+

|+ '''Table 3. Qualifiers of Implication Ordering:  <math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle</math>'''

|- style="background:ghostwhite"

| align="right" | <math>u:</math> <math>v:</math>

Line 4,141: Line 4,143:

|}

−

===Table 3===

+

===Table 4===

{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

−

|+ '''Table 3. Simple Qualifiers of Propositions (''n'' = 2)'''

+

|+ '''Table 4. Simple Qualifiers of Propositions (''n'' = 2)'''

|- style="background:ghostwhite"

| align="right" | <math>u:</math> <math>v:</math>

Line 4,351: Line 4,353:

|}

−

===Table 4===

+

===Table 5===

{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

−

|+ '''Table 4. Simple Qualifiers of Propositions (''n'' = 2)'''

+

|+ '''Table 5. Simple Qualifiers of Propositions (''n'' = 2)'''

|- style="background:ghostwhite"

| align="right" | <math>u:</math> <math>v:</math>

Line 4,561: Line 4,563:

|}

−

===Table 5===

+

===Table 6===

{| align="center" border="1" cellpadding="2" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

−

|+ '''Table 5. Relation of Quantifiers to Higher Order Propositions'''

+

|+ '''Table 6. Relation of Quantifiers to Higher Order Propositions'''

|- style="background:ghostwhite"

| <math>\text{Mnemonic}</math>

Jon Awbrey

12,080

edits