#noindex
##=====시퀀트,sequent =,sequent 시퀀트 sequent
writing

번역?
 NdEn:sequent
 NN:sequent .... [[Date(2024-04-04T21:44:44)]]: 없다, "참고로 시퀀트 캘큘러스([[sequent_calculus]] WtEn:sequent_calculus WpEn:Sequent_calculus )라는 증명시스템에서는 가설집합은 시퀀트의 집합이고 결론도 시퀀트이다."라는 언급은 있다 -  수학백과 [[가설,hypothesis]] page에.
 Ggl:sequent+번역

----
[[formula]]s 이 있는데 premise들과 conclusion(들)이 있고
'''sequent'''의 형태는
> [[전제,premise]](들) -> [[결론,conclusion]](들)
'''sequent'''는 [[conditional_assertion]] 의 일종.
 { '''conditional assertion''' Ggl:"conditional assertion" Up: [[조건부,conditional]] [[assertion]] ([[단언,assertion]] or [[주장,assertion]] or ...? ) } // conditional assertion
----
MKL
[[전건,antecedent]]
 KmsE:antecedent 는 앞항. [[앞항,antecedent]]
 WtEn:antecedent
[[후건,consequent]]
 KmsE:consequent 는 '이어지는' ... (not suitable for pagename...)
 WtEn:consequent

----
Words/Topics/Glossary:

succedent (writing)
 via [[WtEn:succedent]]:
 '''sequent'''의 RHS에 있는 [[formula]]s.
 QQQ conditional_statement 에서 후건 ?

antecedent (writing)
 via [[WtEn:antecedent]]:
 Noun
 4. (logic) The conditional_part of a hypothetical_proposition([[가설,hypothesis]]적/가언적 명제? [[명제proposition]]), i.e. p → q, where p is the antecedent, and q is the [[consequent]]. //// 전건 ?
 5. (logic) The first of two subsets of a '''sequent''', consisting of all the sequent's [[formula]]e which are valuated as true.

----
Sub:

[[sequent_notation]] =,sequent_notation =,sequent_notation . sequent_notation
{
'''''curr. [[VG:증명,proof]]'''''
시퀀트표기법 

시퀀트 표기법

WtEn:sequent_notation
Ndict:"시퀀트 표기법"
Naver:"시퀀트 표기법"
Bing:"시퀀트 표기법"
"시퀀트 표기법"

Up: [[시퀀트,sequent]] [[표기법,notation]]
}

sequent calculus
[[sequent_calculus]] =,sequent_calculus =,sequent_calculus . sequent_calculus (writing)
{
sequent calculus
sequent calculi (pl.)

번역들
"정식열 계산(sequent calculus)"[* https://terms.naver.com/entry.naver?docId=5668917&cid=60207&categoryId=60207]

MKLINK
[[연역,deduction]]
[[자연연역,natural_deduction]] - 대비됨, 비교.
[[증명,proof]]
[[proof_theory]]

Twins:
WtEn:sequent_calculus
https://www.pls-lab.org/en/Sequent_calculus
WpKo:시퀀트_계산
WpEn:Sequent_calculus
https://encyclopediaofmath.org/wiki/Sequent_calculus

Up: [[시퀀트,sequent]] [[칼큘러스,calculus]] [[deductive_system]] =,deductive_system =,deductive_system . deductive_system { WtEn:deductive_system  Ggl:deductive_system Naver:deductive_system Bing: deductive_system iiiiiiiiiiiiiiii }

Ndict:"sequent calculus"
Ggl:"sequent calculus"
"sequent calculus"
}

hypersequent
[[hypersequent]] =,hypersequent =,hypersequent . hypersequent
{
하이퍼시퀀트
초시퀀트 ??

[[WtEn:hypersequent]] = https://en.wiktionary.org/wiki/hypersequent : "A multidimensional generalization of a sequent" ([[Date(2023-09-13T15:32:34)]])

https://www.pls-lab.org/en/Hypersequents

Ndict:hypersequent x [[Date(2023-09-13T15:32:34)]]
Naver:hypersequent
Bing:hypersequent
Ggl:hypersequent

Naver:하이퍼시퀀트
Ggl:하이퍼시퀀트
}

----
MKLINK
[[식,expression]]
[[전제,premise]]
[[결론,conclusion]] { https://proofwiki.org/wiki/Definition:Conclusion }
[[전건,antecedent]]
[[succedent]] =,succedent =,succedent . succedent - writing
{
WtEn:succedent

KmsE:succedent

Ndict:succedent

Naver:succedent

Ggl:succedent
}

발음이/철자가 비슷한단어
1. 아마관계있??
[[consequence]]
[[sequence]]
왜이렇게생각하냐면
||sequence    ||'''sequent''' ||
||consequence ||consequent ||
i.e.
||WtEn:sequence    ||'''WtEn:sequent''' ||
||WtEn:consequence ||WtEn:consequent ||
i.e.
||NdEn:sequence   [[수열,sequence]] [[시퀀스,sequence]] ||NdEn:sequent kms : x    ||
||NdEn:consequence [[br]] (KmsE:consequence - '결과', ) [[br]] [[consequence]]([[결과,consequence]](같은한국어로번역되는단어: [[결과,result]]) or [[귀결,consequence]]. curr - [[논리결과,logical_consequence]] ||NdEn:consequent [[br]] (KmsE:consequent - '이어지는', ) ||
... or, 아무관계없고 그냥 우연이면 그역시 tbw

[[sequential]] =,sequential =,sequential . sequential (adj./prefix)
{
WtEn:sequential
NdEn:sequential

Naver:sequential 발음 보면 시퀜셜 에 가까운데 ... 시퀀셜 이라는 transliteration을 훨 많이 본 듯 하다.
kornorms? [[Date(2023-09-13T15:32:34)]] 에 찾아보니 'sequential access' 항목 있음, quote:
> 시퀜셜액세스(o) / 시퀜셜 액쎄스(X),시퀀셜 액세스(X),시퀀셜 액쎄스(X)
> 『컴』 =순차적 접근 방식. 파일에 기록되어 있는 순서에 따라서 데이터를 검색하거나 처리하는 방식. (표준국어대사전)
[[sequential_access]] =,sequential_access =,sequential_access . sequential_access
{
sequential access
WtEn:sequential_access
WpSp:sequential_access
WpEn:sequential_access
Srch:sequential_access
Ndict:"sequential access"
Ggl:"sequential access"
"sequential access"
[[sequential]] [[접근,access]]
}

CategoryPrefix
"sequential"
}

2. 

----
Twins:
https://proofwiki.org/wiki/Definition:Sequent
WpSp:Sequent
WpEn:Sequent

WtEn:sequent

Up:
[[수리논리,mathematical_logic]] - curr [[VG:수리논리,mathematical_logic]]