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'' || φ |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%" |
| + | | 0 || 0 || → |
| + | |- |
| + | | 0 || 1 || → |
| + | |- |
| + | | 1 || 0 || → |
| + | |- |
| + | | 1 || 1 || → |
| + | |} |
| + | | |
| + | {| 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 || |
| + | |- |
| + | | 0 || 1 || |
| + | |- |
| + | | 1 || 0 || |
| + | |- |
| + | | 1 || 1 || |
| + | |} |
| + | | |
| + | {| 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'' || γ |
| + | |} |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%" |
| + | | 0 || 0 || → |
| + | |- |
| + | | 0 || 1 || → |
| + | |- |
| + | | 1 || 0 || → |
| + | |- |
| + | | 1 || 1 || → |
| + | |} |
| + | | |
| + | {| 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 || |
| + | |- |
| + | | 0 || 1 || |
| + | |- |
| + | | 1 || 0 || |
| + | |- |
| + | | 1 || 1 || |
| + | |} |
| + | | |
| + | {| 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=== |