MKLINK [[전제,presupposition]] =전제,presupposition =,presupposition . { rel. 함축 implication ? [[WpKo:전제_(언어학)]] = https://ko.wikipedia.org/wiki/전제_%28언어학%29 WpEn:Presupposition = https://en.wikipedia.org/wiki/Presupposition Ndict:전제 Ndict:presupposition Ggl:전제 } or [[전제,premise]] { [[삼단논법,syllogism]]에 나옴. 비교: [[결론,conclusion]] ... Twins: [[WpKo:전제_(논리학)]] = https://ko.wikipedia.org/wiki/전제_%28논리학%29 "'''전제조건'''이라고도 한다." } [[결론,conclusion]] { 비교: [[전제,premise]] ... Twins: Zeta:결론 Naver:결론 Naver:conclusion Google:conclusion } [[후건,consequent]] [[명제,preposition]] - [[VG:명제,proposition]] { 가언명제 WpKo:가언_명제 선언명제 AKA 선언지 WpKo:선언_명제 정언명제 WpKo:정언명제 MV TO [[VG:명제,proposition]] } [[가설,hypothesis]] - [[VG:가설,hypothesis]] [[조건,condition]] { Sub: [[필요조건,necessary_condition]] [[충분조건,sufficient_condition]] [[필요충분조건,necessary_and_sufficient_condition]] [[Namu:필요조건과%20충분조건]] [[WpKo:필요충분조건]] ... Google:필요충분조건 [[조건문,conditional_statement]] Zeta:조건문 = https://zetawiki.com/wiki/조건문 MKLINK [[조건부,conditional]] - [[VG:조건부,conditional]] Zeta:조건 } ---- related? [[가정법,subjunctive_mood]] = 이상 언어(일상언어 및 언어학)에서의 가정이었고... 이하 과학 = [[마르코프_가정,Markov_assumption]] { MKLINK [[마르코프_성질,Markov_property]] ... = [[VG:무기억성,memorylessness]] = [[무기억성질,memoryless_property]]([[무기억성,memoryless_property]])? CHK ... Google:Markov+Assumption Naver:Markov+Assumption 다음과 명백히 disambig [[마르코프_결정과정,Markov_decision_process,MDP]] [[마르코프_과정,Markov_process]] [[마르코프_성질,Markov_property]] [[마르코프_연쇄,Markov_chain]] } = 논리학에서의 가정? = rule of assumption rule_of_assumption assumption_rule https://proofwiki.org/wiki/Rule_of_Assumption https://proofwiki.org/wiki/Definition:Assumption ---- Twins: Zeta:가정