Atomic formula

原子論理式（げんしろんりしき、（）英: atomic formula）または素論理式（そろんりしき）は、それを構成する部分論理式を持たない論理式である。何をもって原子論理式とするかは論理体系による。たとえば命題論理における原子論理式は命題変数である。 原子論理式は論理システムにおける最も単純な論理式

は実質的に同じものである。この二つの量はいつでも、モル質量定数の乗除により互いに換算できる。 一方、その名に反して原子量 (atomic weight) と原子質量 (atomic mass) は区別されるべきものである。原子量は対象試料中の原子質量の平均（を mu

google.com/books?id=6wUmteTIc18C&q=empirical+formula&pg=PA288 27 October 2020閲覧。  ^ “ChemTeam: Empirical Formula”. www.chemteam.info. 19 January

\,\cdots ,\,t_{n})} と表される記号列を原子論理式 (atomic formula) と呼ぶ。 原子論理式を用いて、論理式 (well-formed formula, wff) あるいは式 (formula) は次のように帰納的に定義される： 原子論理式は論理式である。 ϕ {\displaystyle

invariant and ergodic measure for the action on the circle either Lebesgue or atomic? Margulis conjecture — Measure classification for diagonalizable actions