MKL
식,expression
적형식,wff - formula with wellformedness? chk
텀,term = 항,term
문장,sentence
명제,proposition
술어,predicate
formulation - 단어 매우 비슷.... formulation formulation formulation
식,expression
적형식,wff - formula with wellformedness? chk
텀,term = 항,term
문장,sentence
명제,proposition
술어,predicate
formulation - 단어 매우 비슷.... formulation formulation formulation
1. propositional formula ¶
propositional_formula =,propositional_formula =,propositional_formula . propositional_formula
{
propositional formula
{
propositional formula
명제식,propositional_formula exists
aka sentential formula [1]
2. sentential formula ¶
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
Sentential_formula redir to Propositional_formula
"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}5. Vieta's formula — so-called '근과계수의관계' ¶
Vieta's formula
Vieta's_formulas = https://en.wikipedia.org/wiki/Vieta's_formulas
비에트_정리 = https://ko.wikipedia.org/wiki/비에트_정리
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
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