atomic formula

原子公式

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

Translation evidence: Literature usage

Meaning in context

A first-order formula obtained by applying a relation symbol to terms, or by equating two terms when equality is present.

由关系符号施用于适当个数的项，或在含等词时由两个项的等式形成的基本公式。

Example

R(f(c),x)R(f(c),x) is atomic for binary RR.

Usage and distinctions

Atomic refers to syntactic construction; a complex term inside it does not make the formula non-atomic.

Recommended reading in this subject · Preparation & skip guidance

Definition sources

  1. 杨睿之（复旦大学）— 数理逻辑，第11讲PDF p.15「原子公式」：关系符号作用于项及含等词时的项等式 · Checked 2026-10-14

Translation sources

  1. 杨睿之（复旦大学）— 数理逻辑，2021年秋季PDF p.15「原子公式」 · 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.