Explore relationships

Term (logic)

In mathematical logic, a term is an arrangement of dependent/bound symbols that denotes a mathematical object within an expression/formula. In particular, terms appear as components of a formula.

Use + to expand a branch. Click a topic name to open its summary.