Changes

Talk:Logical graph (view source)

Revision as of 22:45, 11 December 2008

68 bytes added , 22:45, 11 December 2008

→‎Tables: add dyadic umpire formulas to table captions

Line 460: Line 460:

{| 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 \Rightarrow f \rangle</math>'''

+

|+ '''Table 1. 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>p:</math><br><math>q:</math>

Line 550: Line 550:

{| 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 \Rightarrow f_i \rangle</math>'''

+

|+ '''Table 2. 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>p:</math><br><math>q:</math>

Jon Awbrey

12,080

edits