Fil Salustri's Design Site

Site Tools


Table of Contents

Term-Forming Operator

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.

See Also


'<refnotes> notes-separator: none </refnotes>

research/term-forming_operator.txt · Last modified: 2020.03.12 13:30 (external edit)