12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 20:34, 18 November 2008
, 20:34, 18 November 2008HTML → LaTeX
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
{| 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'''
|+ '''Table 7. Syllogistic Premisses as Higher Order Indicator Functions'''
| A
| <math>\mathrm{A}\!</math>
| align=left | Universal Affirmative
| align=left | Universal Affirmative
| align=left | All
| 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 | Universal Negative
| align=left | All
| 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 | Particular Affirmative
| align=left | Some
| 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 | Particular Negative
| align=left | Some
| 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.
Tables 8 and 9 develop these ideas in more detail.
