AKA '''함축, 내포'''

'''암시'''?

"P이면 Q이다" 형식의 [[명제,proposition]]를 '''함의'''라고 한다. 이걸 "P가 Q를 함의/함축한다"라고 다시 쓸 수 있다.
Propositions of the form "If P, then Q" are called '''implications'''. This is often rephrased as "P implies Q."
(mcs.pdf)

----
MKLINK
aka [[logical_implication]]? 항상 logic의? .. 여기서는 자연어natural_language 의 implication (아직) 다루지 않고 logic의 implication만 다루므로 현재는 syn.
 WtEn:implication
  "The connective([[연결사,connective]] [[논리연결사,logical_connective]]) in propositional_calculus(curr. [[VG:명제논리,propositional_logic]]) that, when joining two [[술어,predicate|predicate]]s A and B in that order, has the meaning "if A is true, then B is true"."
  ''어디선 proposition이라 하고 여기선 (그걸 이루어주는) connective라 하네? .. 구분이 무의미한가?''
 WtEn:logical_implication
  항목 없음 at [[Date(2023-08-03T17:34:16)]]
[[논리결과,logical_consequence]]
[[조건,condition]]과 유사한데 chk
[[내포,intension]]과 비슷해보이는데 chk
{
WpKo:내포
WpEn:Intension
opp. [[외연,extension]] { rel. [[외연성,extensionality]] { rel. [[duck_typing]] Twins: WpKo:외연성 WpEn:Extensionality } [[WpEn:Extension_(predicate_logic)]] [[https://ncatlab.org/nlab/show/extension+(semantics)]] }
}
[[IMPLY_gate]] - [[논리게이트logic_gate]] [[논리게이트,logic_gate]]

[[material_implication]]

Compare:
[[인과성,causality]]

----
Twins:

http://www.aistudy.com/logic/implication.htm
'조건명제' or '함의'

조건명제 = 함의? Ndict:조건명제 Ndict:함의 
WtEn:conditional_proposition ?? x [[Date(2023-10-28T20:54:45)]]
Ggl:"conditional proposition"
Ndict:"conditional proposition"
Naver:"conditional proposition"
[[조건부,conditional]] [[명제,proposition]] = '''함의,implication'''? chk

https://encyclopediaofmath.org/wiki/Implication
 여기서 말한 건 material_implication
 todo 다른 implication s 와의 명확한 관계 mk

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

Wiki:LogicalImplication
 = https://wiki.c2.com/?LogicalImplication

https://mathworld.wolfram.com/Implies.html

https://ncatlab.org/nlab/show/implication

...
Naver:함의+implication
Google:함의+implication

Up: [[연결사,connective]] [[논리연결사,logical_connective]]