Difference between r1.9 and the current
@@ -29,16 +29,45 @@
먼저 symbols:
⊤ \top
⊥ \bot
⊤ \top WtEn:⊤ -> largest
⊥ \bot WtEn:⊥ -> smallest
binary logic에 [순서,order] 주기, (=ordering)?
∧ AND
⊥ ∧ ⊤ = ⊥
||AND ∧ ||⊥||⊤||
||⊥ ||⊥||⊥||
||⊤ ||⊥||⊤||
⊥ < ⊤
and : minimum
⊥ < T
⊥ -∞
T +∞
∨ 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)
$\sum$ 대신 $+\langle ... \rangle$
$\prod$ 대신 $\times\langle ... \rangle$
그 외 많고 특히 [[표기법,notation]]에 대한 many clever ideas. etc.
''PL syntax design에 helpful''
}
MKLINK
logical_language
형식문법,formal_grammar - 형식문법,formal_grammar
형식체계,formal_system - 형식체계,formal_system
formal_method formal_method
{
형식적 방법?
정형기법 or 형식수법 (wpko)
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
명세,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
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 : minimum
binary logic에 순서,order 주기, (=ordering)?
∧ AND
⊥ ∧ ⊤ = ⊥
AND ∧ | ⊥ | ⊤ |
⊥ | ⊥ | ⊥ |
⊤ | ⊥ | ⊤ |
and : minimum
∨ OR
⊥ ∨ ⊤ = ⊤
or : maximum
⊥ ∨ ⊤ = ⊤
OR ∨ | ⊥ | ⊤ |
⊥ | ⊥ | ⊤ |
⊤ | ⊤ | ⊤ |
반대인 top/bot 기호는 위아래반대로.
commutative operation인 and/or 기호를 좌우대칭으로. (의도된 것)
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.’
이건
(x<4)
(x<4)
로 볼 수 있다. 그렇다면
⊥ → … → (x<4) → (x<6) → … → ⊤
여기서 가장 오른쪽에 있는 ⊤가 '정리,theorem' 지위를 가진다.
‘When a 진술,statement is true(top), we call it a theorem.’
⊥ → −∞ (false → negative infinity)
T → +∞ (true → positive infinity)
T → +∞ (true → positive infinity)
$\displaystyle \sum$ 대신 $\displaystyle +\langle ... \rangle$
$\displaystyle \prod$ 대신 $\displaystyle \times\langle ... \rangle$
$\displaystyle \prod$ 대신 $\displaystyle \times\langle ... \rangle$
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
}
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://encyclopediaofmath.org/wiki/Formal_language - in mathematical linguistics
}