Sub:
적형식,wff
명세언어,specification_language

MKLINK
logical_language
형식문법,formal_grammar - 형식문법,formal_grammar
형식체계,formal_system - 형식체계,formal_system
formal_method formal_method
{
형식적 방법?
정형기법 or 형식수법 (wpko)

MKLINK
명세,specification
formalization_method // 혹은 이것자체를 mv to formalization formalization
bmks
Formal Methods Wiki
https://formalmethods.fandom.com/wiki/Formal_Methods_Wiki

Key ppl:
Eric_Hehner Eric_Hehner
{
다음 비디오에서 다룸... 20분. 논리,logic와 산술,arithmetic을 어떻게 결합할 것인가
How to unify logic & arithmetic - YouTube
https://www.youtube.com/watch?v=niqqm1DRTkE

먼저 symbols:
binary logic에 순서,order 주기, (=ordering)?
∧ AND
⊥ ∧ ⊤ = ⊥

AND ∧	⊥	⊤
⊥	⊥	⊥
⊤	⊥	⊤

⊥ < ⊤
and : minimum

∨ OR
⊥ ∨ ⊤ = ⊤

OR ∨	⊥	⊤
⊥	⊥	⊤
⊤	⊤	⊤

or : maximum

반대인 top/bot 기호는 위아래반대로.
commutative operation인 and/or 기호를 좌우대칭으로. (의도된 것)

x<4 ⇒ x<6
이건
(x<4) is stricter than→ (x<6),
(x<4) is less true than→ (x<6)
로 볼 수 있다. 그렇다면
⊥ → … → (x<4) → (x<6) → … → ⊤
여기서 가장 오른쪽에 있는 ⊤가 '정리,theorem' 지위를 가진다.
‘When a 진술,statement is true(top), we call it a theorem.’

⊥ → −∞ (false → negative infinity)
T → +∞ (true → positive infinity)

$\displaystyle \sum$ 대신 $\displaystyle +\langle ... \rangle$
$\displaystyle \prod$ 대신 $\displaystyle \times\langle ... \rangle$

그 외 많고 특히 표기법,notation에 대한 many clever ideas. etc.
}

Twins:
https://foldoc.org/formal methods
정형_기법
= https://ko.wikipedia.org/wiki/정형_기법
Formal_methods
= https://en.wikipedia.org/wiki/Formal_methods
https://formalmethods.fandom.com/wiki/Formal_methods
}

Intr:

https://namu.wiki/w/형식 언어

형식_언어
= https://ko.wikipedia.org/wiki/형식_언어

Formal_language
= https://en.wikipedia.org/wiki/Formal_language

https://encyclopediaofmath.org/wiki/Formal_language - in mathematical linguistics

https://proofwiki.org/wiki/Definition:Formal_Language

Up:
언어,language
형식,form? formal?
[[
{

}