Changes

MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search
270 bytes removed ,  03:12, 1 July 2009
Line 388: Line 388:  
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
|
+
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
<pre>
  −
o-------------------o
  −
|                   |
  −
|        a  b    |
  −
|        o---o    |
  −
|        |        |
  −
|        @        |
  −
|                  |
  −
o-------------------o
  −
</pre>
   
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
 
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
 
|
 
|
 
<math>\begin{matrix}
 
<math>\begin{matrix}
 
a \Rightarrow b
 
a \Rightarrow b
\\[6pt]
+
\\[2pt]
 
a ~\operatorname{implies}~ b.
 
a ~\operatorname{implies}~ b.
\\[6pt]
+
\\[2pt]
 
\operatorname{if}~ a ~\operatorname{then}~ b.
 
\operatorname{if}~ a ~\operatorname{then}~ b.
\\[6pt]
+
\\[2pt]
 
\operatorname{not}~ a ~\operatorname{without}~ b.
 
\operatorname{not}~ a ~\operatorname{without}~ b.
 
\end{matrix}</math>
 
\end{matrix}</math>
Line 765: Line 755:  
| <math>a \land b \land c</math>
 
| <math>a \land b \land c</math>
 
|-
 
|-
|
+
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
<pre>
  −
o-------------------o
  −
|                   |
  −
|        a  b    |
  −
|        o---o    |
  −
|        |        |
  −
|        @        |
  −
|                  |
  −
o-------------------o
  −
</pre>
   
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
 
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
 
| <math>a \Rightarrow b</math>
 
| <math>a \Rightarrow b</math>
12,080

edits

Navigation menu