Changes

2,903 bytes added ,  16:52, 21 June 2007
Line 5,733: Line 5,733:  
o-----------o-------------o-------------oo-------------o---------o-------------o
 
o-----------o-------------o-------------oo-------------o---------o-------------o
 
</pre>
 
</pre>
 +
 +
<br>
 +
{| align="center" style="width:96%"
 +
|+ '''Tables 23-i and 23-ii.  Thematics of Disjunction and Equality (1)'''
 +
|
 +
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
 +
|+ '''Table 23-i.  Disjunction ''f'' '''
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
 +
| ''u'' || ''v'' || ''f''
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
 +
| ''x'' || &phi;
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 0 || &rarr;
 +
|-
 +
| 0 || 1 || &rarr;
 +
|-
 +
| 1 || 0 || &rarr;
 +
|-
 +
| 1 || 1 || &rarr;
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 1
 +
|-
 +
| 1 || 1
 +
|-
 +
| 1 || 1
 +
|-
 +
| 1 || 1
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 0 || &nbsp;&nbsp;
 +
|-
 +
| 0 || 1 || &nbsp;&nbsp;
 +
|-
 +
| 1 || 0 || &nbsp;&nbsp;
 +
|-
 +
| 1 || 1 || &nbsp;&nbsp;
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 1 || 0
 +
|-
 +
| 0 || 0
 +
|-
 +
| 0 || 0
 +
|-
 +
| 0 || 0
 +
|}
 +
|}
 +
|
 +
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
 +
|+ '''Table 23-ii.  Equality ''g'' '''
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
 +
| ''u'' || ''v'' || ''g''
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
 +
| ''y'' || &gamma;
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 0 || &rarr;
 +
|-
 +
| 0 || 1 || &rarr;
 +
|-
 +
| 1 || 0 || &rarr;
 +
|-
 +
| 1 || 1 || &rarr;
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 1 || 1
 +
|-
 +
| 0 || 1
 +
|-
 +
| 0 || 1
 +
|-
 +
| 1 || 1
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 0 || &nbsp;&nbsp;
 +
|-
 +
| 0 || 1 || &nbsp;&nbsp;
 +
|-
 +
| 1 || 0 || &nbsp;&nbsp;
 +
|-
 +
| 1 || 1 || &nbsp;&nbsp;
 +
|}
 +
|
 +
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
 +
| 0 || 0
 +
|-
 +
| 1 || 0
 +
|-
 +
| 1 || 0
 +
|-
 +
| 0 || 0
 +
|}
 +
|}
 +
|}
 +
<br>
    
===Formula Display 9===
 
===Formula Display 9===
12,080

edits