English Dictionary

In first-order logic, atomic formulas serve as the basic building blocks from which more complex formulas are constructed.

一階述語論理では、原子命題がより複雑な式を構成するための基本的な構成要素として機能します。