原子文（げんしぶん、）とは、論理学および分析哲学において、真か偽のいずれかである平叙文（命題、言明、真理の担い手とも呼ばれる）の一種であって、それより単純な他の文へと分解できないものをいう。例えば「その犬は走った」は原子的であるが、「その犬は走り、その猫は隠れた」は自然言語においては分子的である。
論理的分析の観点からは、文の真理は次の二つのものだけによって決定される。
文の論理形式。 その基礎にある原子文の真理。
すなわち、例えば「ジョンはギリシャ人であり、かつジョンは幸福である」という文の真理は、「かつ」の意味と、「ジョンはギリシャ人である」「ジョンは幸福である」という原子文の真理値との関数である。しかしながら、原子文の真理は、論理それ自体の範囲内にある事柄ではなく、むしろ、その原子文の内容がたまたま語っている当の技芸ないし科学が扱う事柄であるThe Philosophy of Logic by Willard Van Orman Quine (1970).。
論理学は、文計算や述語計算のような人工言語を発展させてきたが、その目的の一部は、自然言語の言明の基礎にある論理を明らかにすることにあった。自然言語の表層的な文法は、その基礎にある論理構造を隠していることがあるからである。これらの人工言語において、原子文とは、自然言語における基本的な文を表現しうる記号列であり、次のように定義できる。形式言語において、整論理式（wff）とは、その言語の統語規則に従って構成された記号列である。項とは、変数、個体定項、ないし n 個の項を後続させた n 項関数記号である。原子論理式とは、文字、ないし n 個の項を後続させた n 項述語文字のいずれかからなる wff である。文とは、いかなる変数も束縛されている wff である。原子文とは、変数を含まない原子論理式である。したがって、原子文は論理結合子、変数、量化子を含まない。一つ以上の文と論理結合子からなる文は、複合（ないし分子）文である。
例
前提 以下の例においては、
F、G、H を述語文字とする。 a、b、c を個体定項とする。 x、y、z を変数とする。
原子文 これらの wff は原子文である。自由変数も連言も含まない。
F(a) G(a, b) H(a, b, c)
原子論理式 これらの wff は原子論理式だが、自由変数を含むため（原子文であれそうでなかれ）文ではない。
F(x) G(a, z) H(x, y, z)
複合文
これらの wff は複合文である。文ではあるが、原子論理式ではないため原子文ではない。
∀x (F(x)) ∃z (G(a, z)) ∃x ∀y ∃z (H(x, y, z)) ∀x ∃z (F(x) ∧ G(a, z)) ∃x ∀y ∃z (G(a, z) ∨ H(x, y, z))
複合論理式 これらの wff は複合論理式である。原子論理式ではないが、論理結合子を用いて原子論理式から構成される。また、自由変数を含むため文でもない。
F(x) ∧ G(a, z) G(a, z) ∨ H(x, y, z)
解釈
文は、論理変数に値を割り当てる解釈のもとで、真か偽のいずれかである。例えば、次のような割り当てを行うことができる。
個体定項
a: ソクラテス b: プラトン c: アリストテレス
述語
Fα: α は眠っている Gαβ: α は β を憎んでいる Hαβγ: α は β に γ を殴らせた
文変数
p: 雨が降っている。
この解釈のもとで、上で論じた文は次の日本語の言明を表すことになる。
p: 「雨が降っている。」 F(a): 「ソクラテスは眠っている。」 H(b, a, c): 「プラトンはソクラテスにアリストテレスを殴らせた。」 ∀x (F(x)): 「すべての人が眠っている。」 ∃z (G(a, z)): 「ソクラテスは誰かを憎んでいる。」 ∃x ∀y ∃z (H(x, y, z)): 「誰かがすべての人に誰かを殴らせた。」（彼らは皆が同じ人物 z を殴ったとは限らないが、皆が同じ人物 x のゆえにそうした。） ∀x ∃z (F(x) ∧ G(a, z)): 「すべての人が眠っており、かつソクラテスは誰かを憎んでいる。」 ∃x ∀y ∃z (G(a, z) ∨ H(x, y, z)): 「ソクラテスが誰かを憎んでいるか、または誰かがすべての人に誰かを殴らせたかのいずれかである。」
自然言語から人工言語への文の翻訳 自然言語の文は曖昧でありうるが、文論理および述語論理の言語は厳密である。翻訳はそのような曖昧さを明らかにし、意図された意味を厳密に表現しうる。
例えば、英語の文「テッド神父はジャックとジルを結婚させた（Father Ted married Jack and Jill）」を取り上げよう。これはジャックがジルと結婚したことを意味するのか。翻訳にあたって、次のような割り当てを行うことができる。
個体定項
a: テッド神父 b: ジャック c: ジル
述語:
Mαβγ: α は β と γ の結婚を執り行った
これらの割り当てを用いると、上の文は次のように翻訳できる。
M(a, b, c): テッド神父はジャックとジルの結婚を執り行った。 ∃x ∃y (M(a, b, x) ∧ M(a, c, y)): テッド神父はジャックと誰かの結婚を執り行い、かつテッド神父はジルと誰かの結婚を執り行った。 ∃x ∃y (M(x, a, b) ∧ M(y, a, c)): 誰かがテッド神父とジャックの結婚を執り行い、かつ誰かがテッド神父とジルの結婚を執り行った。
「テッド神父はジャックとジルを結婚させた」の正しい翻訳がどれであるかを確定するには、話者に正確に何を意味したのかを尋ねる必要があるだろう。
哲学的意義
原子文は哲学的論理学および真理の理論において特別な関心の対象であり、それに対応する原子的事実が存在すると論じられてきた。
原子文（ないしおそらく原子文の意味）は、ルートヴィヒ・ウィトゲンシュタインによって要素命題と呼ばれ、バートランド・ラッセルによって原子命題と呼ばれる。
4.2 命題の意義とは、事態の存立および非存立の可能性との一致および不一致である。4.21 最も単純な種類の命題、すなわち要素命題は、一つの事態の存立を主張する。 — ウィトゲンシュタイン『論理哲学論考』 ある原子的事実を主張する（真または偽の）命題は、原子命題と呼ばれる。 — ラッセル「『論理哲学論考』への序論」 とりわけラッセルとウィトゲンシュタインによって論じられた要素命題および原子命題についてはおよびも参照のこと。
要素命題／原子命題と原子的事実との区別に注意せよ。
いかなる原子文も他の原子文から演繹（含意）されえず、いかなる二つの原子文も両立不可能ではなく、いかなる原子文の集合も自己矛盾しない。ウィトゲンシュタインは『論考』においてこの点を重視した。もし原子文が存在するならば、そのうち真であるものに対応する「原子的事実」が存在しなければならず、すべての真なる原子文の連言は、成立しているすべてを語ることになる。すなわち「世界」である。ウィトゲンシュタインによれば「世界は成立していることのすべてである」（TLP:1）からである。同様に、すべての原子文の集合からなる集合は、すべての可能世界（成立しうるすべて）の集合に対応する。
アルフレト・タルスキによって提唱された真理の理論を体現するT図式は、原子文の真理から任意の文の真理を定義する。 出典
参考文献 Benson Mates, Elementary Logic, Oxford University Press, 1972. Elliott Mendelson, Introduction to Mathematical Logic, Van Nostrand Reinhold Company, 1964.