포뮬러,formula

Difference between r1.9 and the current

@@ -16,7 +16,7 @@
[[명제,proposition]]
[[술어,predicate]]
[[formulation]] - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
Not in kn, [[Date(2024-06-26T17:49:19)]]. 포뮬레이션 ?
----
<<tableofcontents>>
= propositional formula =
@@ -67,6 +67,15 @@
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]]에 대해


식-, (식,expression 과 겹침)
으로만 보통 번역되는 듯 한데...
mk 식,formula ?
공식으로도. 공식,formula - VG:공식,formula

Sub:
원자식,atom (= atomic formula)

MKL
식,expression
적형식,wff - formula with wellformedness? chk
텀,term = 항,term
문장,sentence
명제,proposition
술어,predicate
formulation - 단어 매우 비슷.... NdEn:formulation Ggl:formulation Ndict:formulation
Not in kn, 2024-06-27. 포뮬레이션 ?

1. propositional formula

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



aka sentential formula [1]



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]


WtEn:sentential_formula x (2023-08-19)
WpEn:Sentential_formula redir to WpEn:Propositional_formula
"A propositional formula may also be called a propositional expression, a sentence, or a sentential formula."
}


3. open vs closed formula

open vs closed formula
"open vs closed formula"
Ggl:open vs closed formula

3.1. open formula

open_formula =,open_formula =,open_formula . open_formula

3.2. closed formula

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

4. 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 얘기 중 언급.


5. 화학

5.1. 구조식 structural formula

----