first-order term

项

Foundations & Logic · Undergraduate · Mathematics Resources editorial compilation (AI-assisted)

Translation evidence: Literature usage

Meaning in context

An expression naming a domain value, built from variables, constants and correctly applied function symbols in a first-order language.

一阶语言中由变元、常数符号和按元数正确使用的函数符号构成、用于指称论域元素的表达式。

Example

f(c)f(c) is a term when ff is unary and cc a constant.

Usage and distinctions

Terms denote objects; formulas assert conditions and have truth values after interpretation.

Recommended reading in this subject · Preparation & skip guidance

Definition sources

  1. Avigad, Hua, Lewis and van Doorn — Logic and Proof§7.1 Functions, Predicates, and Relations, compound expressions called terms · Checked 2026-10-14
  2. 杨睿之（复旦大学）— 数理逻辑，第11讲PDF pp.13–14「项」：变元、常数及按元数应用函数符号的递归定义 · Checked 2026-10-14

Translation sources

  1. 杨睿之（复旦大学）— 数理逻辑，2021年秋季PDF pp.13–14「项」 · Checked 2026-10-14
Edit source / propose a PRReport a correction

Original encyclopedia and terminology content: CC BY-SA 4.0. Contribute or report a correction.