MyWikiBiz

Changes

Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 18:38, 2 December 2015

124 bytes added ,  18:38, 2 December 2015
→‎Logical Cacti
Line 1: Line 1: −
==Discussion Area==
+
==Work Area • Logical Cacti==
−
 
  −
…
  −
 
  −
==Logical Cacti==
      
; Theme One Program — Logical Cacti
 
; Theme One Program — Logical Cacti
Line 88: Line 84:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
−
| <math>\texttt{(} a, b \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 101: Line 97:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 114: Line 110:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
−
| <math>\texttt{(} a, b, c \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 125: Line 121:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
−
| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 136: Line 132:  
|-
 
|-
 
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
−
| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
+
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 217: Line 213:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
−
| <math>\texttt{(} a, b \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 230: Line 226:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 243: Line 239:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
−
| <math>\texttt{(} a, b, c \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 254: Line 250:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b, c \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 265: Line 261:  
|-
 
|-
 
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
 
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
−
| <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math>
+
| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 498: Line 494:     
===Tables===
 
===Tables===
−
  −
<br>
      
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
Line 550: Line 544:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
−
| <math>\texttt{(} a, b \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 565: Line 559:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 580: Line 574:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
−
| <math>\texttt{(} a, b, c \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 622: Line 616:  
|-
 
|-
 
| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]
 
| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]
−
| <math>\texttt{(} a, \texttt{(} b, c \texttt{))}</math>
+
| <math>\texttt{(} a \texttt{,(} b \texttt{,} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 645: Line 639:  
|-
 
|-
 
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
 
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
−
| <math>\texttt{(} x, \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
+
| <math>\texttt{(} x \texttt{,(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 719: Line 713:  
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
−
| <math>\texttt{(} a, b \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
 
| <math>a \neq b</math>
 
| <math>a \neq b</math>
−
| <math>a   = b\!</math>
+
| <math>a = b\!</math>
 
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
−
| <math>a   = b\!</math>
+
| <math>a = b\!</math>
 
| <math>a \neq b\!</math>
 
| <math>a \neq b\!</math>
 
|-
 
|-
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
 
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
−
| <math>\texttt{(} a, b, c \texttt{)}</math>
+
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 748: Line 742:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
−
| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 767: Line 761:  
|-
 
|-
 
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
−
| <math>\texttt{((} a, b, c \texttt{))}</math>
+
| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 786: Line 780:  
|-
 
|-
 
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
 
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
−
| <math>\texttt{(((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{)))}</math>
+
| <math>\texttt{(((} a \texttt{),(} b \texttt{),(} c \texttt{)))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 805: Line 799:  
|-
 
|-
 
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
 
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
−
| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
+
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
Line 815: Line 809:  
|-
 
|-
 
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
 
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
−
| <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math>
+
| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>
 
| &nbsp;
 
| &nbsp;
 
|
 
|
Jon Awbrey
12,122

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/89140...467028"