'''atomic formula''', 줄여서 간단히 '''atom'''

모든 '''원자식'''은 [[적형식,wff]]임.


[[WpEn:Atomic_formula]]

Compare: [[WpEn:Atomic_sentence]] 원자문장?

----
'''atomic_formula''' =,atomic_formula .

같은 영단어:
[[아톰,atom]] [[원자,atom]]

Up: [[포뮬러,formula]] =포뮬러,formula =,formula .
{

propositional_formula
''[[명제식,propositional_formula]] exists''

open_formula
https://en.wikipedia.org/wiki/Open_formula

closed_formula
 => sentence ~= [[문장,sentence]] - via [[WpEn:Sentence_(mathematical_logic)]]
 WtEn:closed_formula
 (no free_variable) 

}