12,136
edits
Changes
MyWikiBiz, Author Your Legacy — Friday October 31, 2025
Jump to navigationJump to search→Functional quantifiers
===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:
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>
<br>
