함의,implication (rev. 1.17)
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)
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.
implication
logical_implication
논리결과,logical_consequence
조건,condition과 유사한데 chk
내포,intension과 비슷해보이는데 chk
{
내포
Intension
opp. 외연,extension { rel. 외연성,extensionality { rel. duck_typing Twins:외연성 Extensionality } Extension_(predicate_logic) ![[https]](/wiki/imgs/https.png)
https://ncatlab.org/nlab/show/extension+(semantics) }
}
IMPLY_gate - 논리게이트logic_gate 논리게이트,logic_gate
aka logical_implication? 항상 logic의? .. 여기서는 자연어natural_language 의 implication (아직) 다루지 않고 logic의 implication만 다루므로 현재는 syn.
implication"The connective(연결사,connective 논리연결사,logical_connective) in propositional_calculus(curr. 
명제논리,propositional_logic) that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true"."
어디선 proposition이라 하고 여기선 (그걸 이루어주는) connective라 하네? .. 구분이 무의미한가?
명제논리,propositional_logic) that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true"."어디선 proposition이라 하고 여기선 (그걸 이루어주는) connective라 하네? .. 구분이 무의미한가?
logical_implication항목 없음 at 2023-08-04
조건,condition과 유사한데 chk
내포,intension과 비슷해보이는데 chk
{
내포Intensionopp. 외연,extension { rel. 외연성,extensionality { rel. duck_typing Twins:
외연성 Extensionality } Extension_(predicate_logic) https://ncatlab.org/nlab/show/extension+(semantics) }}
IMPLY_gate - 논리게이트logic_gate 논리게이트,logic_gate
Twins:
조건명제 = 함의? 
조건명제 함의
conditional_proposition ?? x 2023-10-29
conditional proposition
conditional proposition
conditional proposition
조건부,conditional 명제,proposition = 함의,implication? chk
조건명제 함의conditional_proposition ?? x 2023-10-29conditional propositionconditional propositionconditional proposition조건부,conditional 명제,proposition = 함의,implication? chk
https://encyclopediaofmath.org/wiki/Implication
여기서 말한 건 material_implication
todo 다른 implication s 와의 명확한 관계 mk
https://proofwiki.org/wiki/Definition:Logical_Implicationtodo 다른 implication s 와의 명확한 관계 mk
