#noindex
##=포뮬러,formula =,formula .
식-, ([[식,expression]] 과 겹침)
으로만 보통 번역되는 듯 한데... 
mk [[식,formula]] ?
공식으로도. [[공식,formula]] - [[VG:공식,formula]]

Sub:
[[원자식,atom]] (= atomic formula)

MKL
[[식,expression]]
[[적형식,wff]] - formula with [[wellformedness]]? chk
[[텀,term]] = [[항,term]]
[[문장,sentence]]
[[명제,proposition]]
[[술어,predicate]]
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation

----
<<tableofcontents>>
= propositional formula =
[[propositional_formula]] =,propositional_formula =,propositional_formula . propositional_formula
{
propositional formula

WtEn:propositional_formula = https://en.wiktionary.org/wiki/propositional_formula x [[Date(2023-12-01T21:06:22)]]

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

aka  sentential formula [* MathWorld:Formula]

"propositional formula"
Ggl:"propositional formula" Naver:"propositional formula" Bing:"propositional formula"
}

[[명제,proposition]]

= sentential formula =
[[sentential_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'''."
}

[[문장,sentence]]

= open vs closed formula =
open vs closed formula
"open vs closed formula"
Ggl:"open vs closed formula"

== open formula ==
[[open_formula]] =,open_formula =,open_formula . open_formula
 WtEn:open_formula ?
 https://en.wikipedia.org/wiki/Open_formula

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

= 화학 =
== 구조식 structural formula ==
[[화학,chemistry]]에서 [[분자,molecule]]에 대해
[[구조식,structural_formula]]

= Vieta's formula — so-called '근과계수의관계' =
[[비에트_공식,Vieta_formula]] ? =비에트_공식,Vieta_formula =,Vieta_formula 비에트_공식 Vieta_formula
{
'''Vieta's formula'''

(같은 사람의 이름 붙은 다른 것 있으므로 주의)

[[WpEn:Vieta's_formulas]] = https://en.wikipedia.org/wiki/Vieta's_formulas
[[WpKo:비에트_정리]] = https://ko.wikipedia.org/wiki/비에트_정리
 ...한국에선 [[정리,theorem]]로 부름...
[[관계,relation]] or [[관련,relationship]]?
https://ja.wikipedia.org/wiki/根と係数の関係
[[MathNote:근과_계수와의_관계]] = http://wiki.mathnt.net/index.php?title=근과_계수와의_관계
[[MW:VietasFormulas]] = https://mathworld.wolfram.com/VietasFormulas.html
https://encyclopediaofmath.org/wiki/Viète_theorem — ''on roots''
 ....eom도 theorem으로 부름.
https://planetmath.org/vietasformula

} // "Vieta's formula" ... Ggl:"Vieta's formula" Bing:"Vieta's formula"


----
[[MathWorld:Formula]]
= https://mathworld.wolfram.com/Formula.html

[[WpSp:Formula]]
= https://simple.wikipedia.org/wiki/Formula