In logic, this operator selects terms from expressions.
The term forming operator i
is used to pick out a (grammatically) singular term referring to a unique item such that some formula is true. That is,
ix (…x…)
picks out a singular item that refers to the unique x
such that (…x…)
is true. Here, (…x…)
is a sentence containing a x
free. For example,
ix (x is the president of USA in 1999)
refers to Bill Clinton.
This is used in various logics.
'<refnotes> notes-separator: none </refnotes>