Changes

27 bytes removed ,  18:26, 11 December 2008
Line 431: Line 431:  
The '''relative umpire operator''' <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B})^2 \to \mathbb{B}</math> takes two propositions as arguments and gives the value <math>1\!</math> if and only if the first implies the second.  In symbols:
 
The '''relative umpire operator''' <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B})^2 \to \mathbb{B}</math> takes two propositions as arguments and gives the value <math>1\!</math> if and only if the first implies the second.  In symbols:
   −
<br>
+
: <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff} \quad e \Rightarrow f.</math>
<center>
  −
<math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff} \quad e \Rightarrow f.</math>
  −
</center>
  −
<br>
      
===Tables===
 
===Tables===
12,080

edits