'''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''
aka  sentential formula [* MathWorld:Formula]

[[sentential_formula]] =,sentential_formula . sentential_formula
{
sentential formula

[[로직,logic]] 이론에서 "[[포뮬러,formula]]"라 하면 보통 '''sentential formula'''(같은 말: propositional formula , 다시 말해 [[propositional_calculus]](=[[propositional_logic]])의 formula)를 말한다.[* mw Formula]


WtEn:sentential_formula x ([[Date(2023-08-18T16:36:21)]])
WpEn:Sentential_formula redir to WpEn:Propositional_formula
 "A '''propositional formula''' may also be called a '''propositional expression, a sentence,''' or a '''sentential formula'''."
}

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

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

https://mathworld.wolfram.com/Formula.html

}