# DesignWIKI

Fil Salustri's Design Site

# COLLECTIONS

2015.01.09 11:13
research:term-forming_operator

# 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.

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