atomic proposition（原子命题）：在逻辑（尤其是命题逻辑）中，不可再分解为更简单命题的最基本命题单位，通常用符号如 P、Q、R 表示。它本身不含有“且/或/非/如果……则……”等逻辑连接词。
（在一些语境中也会涉及谓词逻辑里的“原子公式/原子句”，但最常见用法是指命题逻辑中的最小命题。）
/əˈtɑːmɪk ˌprɑːpəˈzɪʃən/
P is an atomic proposition.
P 是一个原子命题。
If P and Q are atomic propositions, then (P → Q) is a compound proposition formed with a connective.
如果 P 和 Q 是原子命题，那么 (P → Q) 就是用连接词构成的复合命题。
atomic 来自希腊语 atomos，意为“不可切分的”（a- “不” + tomos “切割”），引申为“最小单位”。proposition 来自拉丁语 propositio，意为“提出的陈述”。合起来，“atomic proposition”字面意思就是“不可再分的陈述/命题”，对应其在逻辑中的“基本命题单位”含义。
Select Language