1. propositional formula ¶

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

propositional_formula = https://en.wiktionary.org/wiki/propositional_formula x 2023-12-02

명제식,propositional_formula exists

aka sentential formula [1]

"propositional formula"
propositional formula propositional formula propositional formula
}

명제,proposition

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]

sentential_formula x (2023-08-19)
Sentential_formula redir to Propositional_formula

"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."

}

문장,sentence

3. open vs closed formula ¶

open vs closed formula
"open vs closed formula"
open vs closed formula

3.1. open formula ¶

open_formula =,open_formula =,open_formula . open_formula

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

3.2. closed formula ¶

closed_formula =,closed_formula =,closed_formula . closed_formula

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

4. 화학 ¶

4.1. 구조식 structural formula ¶

5. Vieta's formula — so-called '근과계수의관계' ¶

비에트_공식,Vieta_formula ? =비에트_공식,Vieta_formula =,Vieta_formula 비에트_공식 Vieta_formula
{
Vieta's formula

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

Vieta's_formulas = https://en.wikipedia.org/wiki/Vieta's_formulas
비에트_정리 = https://ko.wikipedia.org/wiki/비에트_정리

...한국에선 정리,theorem로 부름...

관계,relation or 관련,relationship?
https://ja.wikipedia.org/wiki/根と係数の関係
근과_계수와의_관계 = http://wiki.mathnt.net/index.php?title=근과_계수와의_관계
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" ... Vieta's formula Vieta's formula

---

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

Formula
= https://simple.wikipedia.org/wiki/Formula