식-, (
식,expression
과 겹침)
으로만 보통 번역되는 듯 한데...
mk
식,formula
?
공식으로도.
공식,formula
-
공식,formula
Sub:
원자식,atom
(= atomic formula)
MKL
식,expression
적형식,wff
- formula with
wellformedness
? chk
텀,term
=
항,term
문장,sentence
명제,proposition
술어,predicate
formulation
- 단어 매우 비슷....
formulation
formulation
formulation
Contents
1
.
propositional formula
2
.
sentential formula
3
.
open vs closed formula
3.1
.
open formula
3.2
.
closed formula
4
.
화학
4.1
.
구조식 structural formula
5
.
Vieta's formula — so-called '근과계수의관계'
[
edit
]
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
[
edit
]
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
[
edit
]
3
.
open vs closed formula
¶
open vs closed formula
"open vs closed formula"
open vs closed formula
[
edit
]
3.1
.
open formula
¶
open_formula
=,open_formula =,open_formula . open_formula
open_formula
?
https://en.wikipedia.org/wiki/Open_formula
[
edit
]
3.2
.
closed formula
¶
closed_formula
=,closed_formula =,closed_formula . closed_formula
=> sentence ~=
문장,sentence
- via
Sentence_(mathematical_logic)
closed_formula
(no free_variable)
[
edit
]
4
.
화학
¶
[
edit
]
4.1
.
구조식 structural formula
¶
화학,chemistry
에서
분자,molecule
에 대해
구조식,structural_formula
[
edit
]
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
----
[1]
Formula
[2]
mw Formula
Retrieved from http://red-ruby.com/wiki/wiki.php/포뮬러,formula
last modified 2024-03-01 20:35:16