MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
412 bytes added
, 17:58, 11 December 2008
Line 428: |
Line 428: |
| | | |
| ===Functional quantifiers=== | | ===Functional quantifiers=== |
| + | |
| + | The '''relative umpire operator''' <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B})^2 \to \mathbb{B}</math> takes two propositions of type <math>\mathbb{B}^2 \to \mathbb{B}</math> as arguments and gives the value <math>1\!</math> if and only if the first implies the second. In symbols: |
| + | |
| + | <br> |
| + | <center> |
| + | <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff} \quad e \Rightarrow f.</math> |
| + | </center> |
| + | <br> |
| | | |
| ====Tables==== | | ====Tables==== |