포뮬러,formula

Difference between r1.8 and the current

@@ -73,7 +73,12 @@
[[구조식,structural_formula]]

= Vieta's formula — so-called '근과계수의관계' =
Vieta's formula
[[비에트_공식,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]]로 부름...
@@ -85,14 +90,12 @@
....eom도 theorem으로 부름.
https://planetmath.org/vietasformula

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


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

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


식-, (식,expression 과 겹침)
으로만 보통 번역되는 듯 한데...
mk 식,formula ?
공식으로도. 공식,formula - VG:공식,formula

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



1. propositional formula

propositional_formula =,propositional_formula =,propositional_formula . propositional_formula
{
propositional formula



aka sentential formula [1]



2. sentential formula

sentential_formula =,sentential_formula =,sentential_formula . sentential_formula
{
sentential formula

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


WtEn:sentential_formula x (2023-08-19)
WpEn:Sentential_formula redir to WpEn:Propositional_formula
"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}


3. open vs closed formula

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

3.1. open formula

open_formula =,open_formula =,open_formula . open_formula

3.2. closed formula

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

4. 화학

4.1. 구조식 structural formula

----