Difference between r1.5 and the current
@@ -6,9 +6,8 @@
MKLINK
[[함의,implication]]
[[결과,result]]
WpKo:논리적_귀결
= https://ko.wikipedia.org/wiki/논리적_귀결
[[함의,implication]]
[[결과,result]]
[[entailment]] - syn.
[[consequence]] - [[결과,consequence]] [[귀결,consequence]] - syn.
[[entailment]] - syn. { WtEn:entailment }
[[consequence]] - [[결과,consequence]] [[귀결,consequence]] - syn. { WtEn:consequence }
----WpKo:논리적_귀결
= https://ko.wikipedia.org/wiki/논리적_귀결
논리 귀결, 논리 결과, 논리적 귀결, 논리적 결과
aka entailment (wpko)
kms: logical consequence = 논리적 결과 - https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=consequence
aka entailment (wpko)
kms: logical consequence = 논리적 결과 - https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=consequence
MKLINK
함의,implication
결과,result
entailment - syn. {
entailment }
consequence - 결과,consequence 귀결,consequence - syn. {consequence }
함의,implication
결과,result
entailment - syn. {
entailment }consequence - 결과,consequence 귀결,consequence - syn. {
consequence }
Up: 논리학,logic