Difference between r1.3 and the current
@@ -3,6 +3,7 @@
식-, ([[식,expression]] 과 겹침)
으로만 보통 번역되는 듯 한데...
mk [[식,formula]] ?
Sub:
[[원자식,atom]] (= atomic formula)
으로만 보통 번역되는 듯 한데...
mk [[식,formula]] ?
공식으로도. [[공식,formula]] - [[VG:공식,formula]]
Sub:
[[원자식,atom]] (= atomic formula)
@@ -14,18 +15,28 @@
[[문장,sentence]]
[[명제,proposition]]
[[술어,predicate]]
{
''[[명제식,propositional_formula]] exists''
aka sentential formula [* MathWorld:Formula]
{
sentential formula
[[명제,proposition]]
[[술어,predicate]]
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
Not in kn, [[Date(2024-06-26T17:49:19)]]. 포뮬레이션 ?
----<<tableofcontents>>
= propositional formula =
[[propositional_formula]] =,propositional_formula =,propositional_formula . propositional_formula{
propositional formula
WtEn:propositional_formula dddddddd
WtEn:propositional_formula = https://en.wiktionary.org/wiki/propositional_formula x [[Date(2023-12-01T21:06:22)]]
''[[명제식,propositional_formula]] exists''
aka sentential formula [* MathWorld:Formula]
"propositional formula"
Ggl:"propositional formula" Naver:"propositional formula" Bing:"propositional formula"
}[[명제,proposition]]
= sentential formula =
[[sentential_formula]] =,sentential_formula =,sentential_formula . sentential_formula{
sentential formula
@@ -38,22 +49,62 @@
"A '''propositional formula''' may also be called a '''propositional expression, a sentence,''' or a '''sentential formula'''."
}
"open vs closed formula"
Ggl:"open vs closed formula"
WtEn:open_formula ?
https://en.wikipedia.org/wiki/Open_formula
=> sentence ~= [[문장,sentence]] - via [[WpEn:Sentence_(mathematical_logic)]]
WtEn:closed_formula
(no free_variable)
[[구조식,structural_formula]]
----
[[MathWorld:Formula]]
= https://mathworld.wolfram.com/Formula.html
}
[[문장,sentence]]
= open vs closed formula =
open vs closed formula"open vs closed formula"
Ggl:"open vs closed formula"
== open formula ==
[[open_formula]] =,open_formula =,open_formula . open_formulaWtEn:open_formula ?
https://en.wikipedia.org/wiki/Open_formula
== closed formula ==
[[closed_formula]] =,closed_formula =,closed_formula . closed_formula=> sentence ~= [[문장,sentence]] - via [[WpEn:Sentence_(mathematical_logic)]]
WtEn:closed_formula
(no free_variable)
= pseudoformula =
'''pseudoformula'''
WtEn:pseudoformula x 2024-07
via WpKo:분지_유형_이론#논리식
저기선 '유사 논리식'으로 번역, ramified_type_theory { ramified type theory (RTT) }// ramified type theory ... Naver:"ramified type theory" Bing:"ramified type theory" Ggl:"ramified type theory" 얘기 중 언급.
Naver:pseudoformula Ggl:pseudoformula Bing:pseudoformula
= 화학 =
== 구조식 structural formula ==
[[화학,chemistry]]에서 [[분자,molecule]]에 대해[[구조식,structural_formula]]
= Vieta's formula — so-called '근과계수의관계' =
[[비에트_공식,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]]로 부름...
[[관계,relation]] or [[관련,relationship]]?
https://ja.wikipedia.org/wiki/根と係数の関係
[[MathNote:근과_계수와의_관계]] = http://wiki.mathnt.net/index.php?title=근과_계수와의_관계
[[MW: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" ... Ggl:"Vieta's formula" Bing:"Vieta's formula"
[[MathWorld:Formula]]
= https://mathworld.wolfram.com/Formula.html
[[WpSp:Formula]]
= https://simple.wikipedia.org/wiki/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 - 단어 매우 비슷....
formulation formulation formulationNot 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]
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."
}4. pseudoformula ¶
via 
분지_유형_이론#논리식
저기선 '유사 논리식'으로 번역, ramified_type_theory { ramified type theory (RTT) }// ramified type theory ...
ramified type theory 
ramified type theory ramified type theory 얘기 중 언급.
분지_유형_이론#논리식저기선 '유사 논리식'으로 번역, ramified_type_theory { ramified type theory (RTT) }// ramified type theory ...
ramified type theory ramified type theory ramified type theory 얘기 중 언급.6. Vieta's formula — so-called '근과계수의관계' ¶
(같은 사람의 이름 붙은 다른 것 있으므로 주의)
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.htmlhttps://encyclopediaofmath.org/wiki/Viète_theorem — on roots
....eom도 theorem으로 부름.
https://planetmath.org/vietasformula
