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.
entailment 와 유사하다는 서술이 보이는데... cmp
조건,condition과 유사한데 chk
내포,intension과 비슷해보이는데 chk
{
내포
Intension
opp. 외연,extension { rel. 외연성,extensionality { rel. duck_typing Twins: 외연성 Extensionality } Extension_(predicate_logic) https://ncatlab.org/nlab/show/extension+(semantics) }
}
IMPLY_gate - 논리게이트logic_gate 논리게이트,logic_gate
aka logical_implication? 항상 logic의? .. 여기서는 자연어natural_language 의 implication (아직) 다루지 않고 logic의 implication만 다루므로 현재는 syn.
implication
논리결과,logical_consequence - 유사?? 암튼 cmp CLEARLY."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라 하네? .. 구분이 무의미한가?
logical_implication어디선 proposition이라 하고 여기선 (그걸 이루어주는) connective라 하네? .. 구분이 무의미한가?
항목 없음 at 2023-08-04
entailment 와 유사하다는 서술이 보이는데... cmp
조건,condition과 유사한데 chk
내포,intension과 비슷해보이는데 chk
{
내포
Intension
opp. 외연,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-29
conditional proposition
conditional proposition
conditional 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