Changes

User:Jon Awbrey/TABLE (view source)

Revision as of 15:32, 13 December 2008

66 bytes added , 15:32, 13 December 2008

→‎Functional Quantifiers: use table numbering from inquiry & analogy paper

Line 3,405: Line 3,405:

</table></center>

−

==~~Functional Quantifiers~~==

+

==Inquiry and Analogy==

===Test Patterns===

Line 3,449: Line 3,449:

|}

−

===Table 1===

+

===Table 10===

+

===Table 11===

+

===Table 12===

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

−

|+ '''Table 1. Higher Order Propositions (''n'' = 2)'''

+

|+ '''Table 12. Higher Order Propositions (''n'' = 2)'''

|- style="background:ghostwhite"

| align="right" | <math>x:</math> <math>y:</math>

Line 3,563: Line 3,567:

|}

−

===Table 2===

+

===Table 13===

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

−

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

+

|+ '''Table 13. 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,909: Line 3,913:

|}

−

===Table 3===

+

===Table 14===

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

−

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

+

|+ '''Table 14. 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,255: Line 4,259:

|}

−

===Table 4===

+

===Figure 15===

+

===Table 16-1===

{| 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 16-1. Simple Qualifiers of Propositions (Version 1)'''

|- style="background:ghostwhite"

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

Line 4,465: Line 4,471:

|}

−

===Table 5===

+

===Table 16-2===

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

−

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

+

|+ '''Table 16-2. Simple Qualifiers of Propositions (Version 2)'''

|- style="background:ghostwhite"

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

Line 4,675: Line 4,681:

|}

−

===Table 6===

+

===Table 17===

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

−

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

+

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

|- style="background:ghostwhite"

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

Jon Awbrey

12,080

edits