Difference between r1.9 and the current
@@ -16,7 +16,7 @@
[[명제,proposition]]
[[술어,predicate]]
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
<<tableofcontents>>
= propositional formula =
[[술어,predicate]]
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
Not in kn, [[Date(2024-06-26T17:49:19)]]. 포뮬레이션 ?
----<<tableofcontents>>
= propositional formula =
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 - 단어 매우 비슷....
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
Not in kn, 2024-06-27. 포뮬레이션 ?
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]
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}5. Vieta's formula — so-called '근과계수의관계' ¶
(같은 사람의 이름 붙은 다른 것 있으므로 주의)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
...한국에선 정리,theorem로 부름...
관계,relation or 관련,relationship?https://ja.wikipedia.org/wiki/根と係数の関係
![MathNote: MathNote:](/wiki/imgs/interwiki/mathnote-16.png)
![MW: MW:](/wiki/imgs/interwiki/mw-16.png)
https://encyclopediaofmath.org/wiki/Viète_theorem — on roots
....eom도 theorem으로 부름.
https://planetmath.org/vietasformula