12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search→Functional Quantifiers
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:
: <math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff} \quad e \Rightarrow f.</math>
<math>\Upsilon \langle e, f \rangle = 1 \quad \operatorname{iff} \quad e \Rightarrow f.</math>
===Tables===
===Tables===
