Changes

Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)

Revision as of 20:34, 18 November 2008

282 bytes added , 20:34, 18 November 2008

HTML → LaTeX

Line 575: Line 575:

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

|+ '''Table 7. Syllogistic Premisses as Higher Order Indicator Functions'''

−

| A

+

| <math>\mathrm{A}\!</math>

| align=left | Universal Affirmative

| align=left | All

−

| x || is || y

+

| <math>x\!</math> || is || <math>y\!</math>

−

| align=left | Indicator of " x (y)" = 0

+

| align=left | Indicator of <math>x (\!| y |\!) = 0</math>

|-

−

| E

+

| <math>\mathrm{E}\!</math>

| align=left | Universal Negative

| align=left | All

−

| x || is || (y)

+

| <math>x\!</math> || is || <math>(\!| y |\!)</math>

−

| align=left | Indicator of " x y " = 0

+

| align=left | Indicator of <math>x\ y = 0\!</math>

|-

−

| I

+

| <math>\mathrm{I}\!</math>

| align=left | Particular Affirmative

| align=left | Some

−

| x || is || y

+

| <math>x\!</math> || is || <math>y\!</math>

−

| align=left | Indicator of " x y " = 1

+

| align=left | Indicator of <math>x\ y = 1\!</math>

|-

−

| O

+

| <math>\mathrm{O}\!</math>

| align=left | Particular Negative

| align=left | Some

−

| x || is || (y)

+

| <math>x\!</math> || is || <math>(\!| y |\!)</math>

−

| align=left | Indicator of " x (y)" = 1

+

| align=left | Indicator of <math>x (\!| y |\!) = 1</math>

−

|}~~<br>~~

+

|}

Tables 8 and 9 develop these ideas in more detail.

Jon Awbrey

12,140

edits