MyWikiBiz

Changes

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

Revision as of 17:08, 20 November 2008

770 bytes added ,  17:08, 20 November 2008
no edit summary
Line 484: Line 484:  
|}<br>
 
|}<br>
   −
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
+
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
 
|+ '''Table 5.  Qualifiers of Implication Ordering:&nbsp; <math>\beta_i f = \Upsilon (f \Rightarrow f_i)</math>'''
 
|+ '''Table 5.  Qualifiers of Implication Ordering:&nbsp; <math>\beta_i f = \Upsilon (f \Rightarrow f_i)</math>'''
 
|- style="background:ghostwhite"
 
|- style="background:ghostwhite"
−
| align="right" | ''x'' : || 1100 || ''f''
+
| align="right" | <math>x:</math><br><math>y:</math>
−
|&beta;||&beta;||&beta;||&beta;||&beta;||&beta;||&beta;||&beta;
+
| 1100<br>1010
−
|&beta;||&beta;||&beta;||&beta;||&beta;||&beta;||&beta;||&beta;
+
| <math>f\!</math>
−
|- style="background:ghostwhite"
+
| <math>\beta_0</math>
−
| align="right" | ''y'' : || 1010 || &nbsp;
+
| <math>\beta_1</math>
−
|0||1||2||3||4||5||6||7||8||9||10||11||12||13||14||15
+
| <math>\beta_2</math>
 +
| <math>\beta_3</math>
 +
| <math>\beta_4</math>
 +
| <math>\beta_5</math>
 +
| <math>\beta_6</math>
 +
| <math>\beta_7</math>
 +
| <math>\beta_8</math>
 +
| <math>\beta_9</math>
 +
| <math>\beta_{10}</math>
 +
| <math>\beta_{11}</math>
 +
| <math>\beta_{12}</math>
 +
| <math>\beta_{13}</math>
 +
| <math>\beta_{14}</math>
 +
| <math>\beta_{15}</math>
 
|-
 
|-
−
| ''f<sub>0</sub> || 0000 || ( )
+
| <math>f_0</math> || 0000 || <math>(~)</math>
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
|-
 
|-
−
| ''f<sub>1</sub> || 0001 || (x)(y)
+
| <math>f_1</math> || 0001 || <math>(x)(y)\!</math>
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>2</sub> || 0010 || (x) y  
+
| <math>f_2</math> || 0010 || <math>(x) y\!</math>
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|-
 
|-
−
| ''f<sub>3</sub> || 0011 || (x)  
+
| <math>f_3</math> || 0011 || <math>(x)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>4</sub> || 0100 || x (y)
+
| <math>f_4</math> || 0100 || <math>x (y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|-
 
|-
−
| ''f<sub>5</sub> || 0101 || (y)
+
| <math>f_5</math> || 0101 || <math>(y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>6</sub> || 0110 || (x, y)
+
| <math>f_6</math> || 0110 || <math>(x, y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|-
 
|-
−
| ''f<sub>7</sub> || 0111 || (x y)
+
| <math>f_7</math> || 0111 || <math>(x y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>8</sub> || 1000 || x y  
+
| <math>f_8</math> || 1000 || <math>x y\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
|-
 
|-
−
| ''f<sub>9</sub> || 1001 || ((x, y))
+
| <math>f_9</math> || 1001 || <math>((x, y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1    ||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>10</sub> || 1010 || y
+
| <math>f_{10}</math> || 1010 || <math>y\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;|| 1    || 1    ||&nbsp;||&nbsp;|| 1    || 1
 
|-
 
|-
−
| ''f<sub>11</sub> || 1011 || (x (y))
+
| <math>f_{11}</math> || 1011 || <math>(x (y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;||&nbsp;||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>12</sub> || 1100 || x
+
| <math>f_{12}</math> || 1100 || <math>x\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|-
 
|-
−
| ''f<sub>13</sub> || 1101 || ((x) y)
+
| <math>f_{13}</math> || 1101 || <math>((x) y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    ||&nbsp;|| 1
 
|-
 
|-
−
| ''f<sub>14</sub> || 1110 || ((x)(y))
+
| <math>f_{14}</math> || 1110 || <math>((x)(y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1
 
|-
 
|-
−
| ''f<sub>15</sub> || 1111 || (( ))
+
| <math>f_{15}</math> || 1111 || <math>((~))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1
Line 866: Line 879:     
===Inquiry and Analogy===
 
===Inquiry and Analogy===
 +
 +
{| width="100%"
 +
| align="left"  | Author:
 +
| align="center" | Jon Awbrey
 +
| align="right"  | November 1, 1995
 +
|-
 +
| align="left"  | Course:
 +
| align="center" | Engineering 690, Graduate Project
 +
| align="right"  | Cont'd from Winter 1995
 +
|-
 +
| align="left"  | Supervisors:
 +
| align="center" | F. Mili & M.A. Zohdy
 +
| align="right"  | Oakland University
 +
|}
    
<pre>
 
<pre>
 
| Version:  Draft 3.25
 
| Version:  Draft 3.25
 
| Created:  01 Jan 1995
 
| Created:  01 Jan 1995
 +
| Relayed:  01 Nov 1995
 
| Revised:  24 Dec 2001
 
| Revised:  24 Dec 2001
 
| Revised:  12 Mar 2004
 
| Revised:  12 Mar 2004
Line 876: Line 904:  
===Functional Logic===
 
===Functional Logic===
   −
====Ontology List &mdash; March 2004====
+
====Ontology List====
    
* http://suo.ieee.org/ontology/thrd2.html#05480
 
* http://suo.ieee.org/ontology/thrd2.html#05480
Line 886: Line 914:  
# http://suo.ieee.org/ontology/msg05485.html
 
# http://suo.ieee.org/ontology/msg05485.html
   −
====Inquiry List &mdash; March 2004====
+
====Inquiry List====
    
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1256
 
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1256
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/73540"