Changes

1,079 bytes removed ,  01:30, 23 August 2009
Line 509: Line 509:  
<p><math>\mathcal{L}_4</math></p>
 
<p><math>\mathcal{L}_4</math></p>
 
<p><math>\text{Cactus}</math></p>
 
<p><math>\text{Cactus}</math></p>
| width="25%" |
  −
<p><math>\mathcal{L}_5</math></p>
  −
<p><math>\text{English}</math></p>
  −
| width="15%" |
  −
<p><math>\mathcal{L}_6</math></p>
  −
<p><math>\text{Ordinary}</math></p>
   
|- style="background:#f0f0ff"
 
|- style="background:#f0f0ff"
 
| &nbsp;
 
| &nbsp;
 
| align="right" | <math>p\colon\!</math>
 
| align="right" | <math>p\colon\!</math>
 
| <math>1~1~0~0\!</math>
 
| <math>1~1~0~0\!</math>
| &nbsp;
  −
| &nbsp;
   
| &nbsp;
 
| &nbsp;
 
|- style="background:#f0f0ff"
 
|- style="background:#f0f0ff"
Line 526: Line 518:  
| align="right" | <math>q\colon\!</math>
 
| align="right" | <math>q\colon\!</math>
 
| <math>1~0~1~0\!</math>
 
| <math>1~0~1~0\!</math>
| &nbsp;
  −
| &nbsp;
   
| &nbsp;
 
| &nbsp;
 
|-
 
|-
Line 601: Line 591:  
\\[4pt]
 
\\[4pt]
 
(p~~q)
 
(p~~q)
\end{matrix}</math>
  −
|
  −
<math>\begin{matrix}
  −
\text{false}
  −
\\[4pt]
  −
\text{neither}~ p ~\text{nor}~ q
  −
\\[4pt]
  −
q ~\text{without}~ p
  −
\\[4pt]
  −
\text{not}~ p
  −
\\[4pt]
  −
p ~\text{without}~ q
  −
\\[4pt]
  −
\text{not}~ q
  −
\\[4pt]
  −
p ~\text{not equal to}~ q
  −
\\[4pt]
  −
\text{not both}~ p ~\text{and}~ q
  −
\end{matrix}</math>
  −
|
  −
<math>\begin{matrix}
  −
0
  −
\\[4pt]
  −
\lnot p \land \lnot q
  −
\\[4pt]
  −
\lnot p \land q
  −
\\[4pt]
  −
\lnot p
  −
\\[4pt]
  −
p \land \lnot q
  −
\\[4pt]
  −
\lnot q
  −
\\[4pt]
  −
p \ne q
  −
\\[4pt]
  −
\lnot p \lor \lnot q
   
\end{matrix}</math>
 
\end{matrix}</math>
 
|-
 
|-
Line 710: Line 664:  
\\[4pt]
 
\\[4pt]
 
((~))
 
((~))
\end{matrix}</math>
  −
|
  −
<math>\begin{matrix}
  −
p ~\text{and}~ q
  −
\\[4pt]
  −
p ~\text{equal to}~ q
  −
\\[4pt]
  −
q
  −
\\[4pt]
  −
\text{not}~ p ~\text{without}~ q
  −
\\[4pt]
  −
p
  −
\\[4pt]
  −
\text{not}~ q ~\text{without}~ p
  −
\\[4pt]
  −
p ~\text{or}~ q
  −
\\[4pt]
  −
\text{true}
  −
\end{matrix}</math>
  −
|
  −
<math>\begin{matrix}
  −
p \land q
  −
\\[4pt]
  −
p = q
  −
\\[4pt]
  −
q
  −
\\[4pt]
  −
p \Rightarrow q
  −
\\[4pt]
  −
p
  −
\\[4pt]
  −
p \Leftarrow q
  −
\\[4pt]
  −
p \lor q
  −
\\[4pt]
  −
1
   
\end{matrix}</math>
 
\end{matrix}</math>
 
|}
 
|}
12,089

edits