논리결과,logical_consequence

논리 귀결, 논리 결과, 논리적 귀결, 논리적 결과
aka entailment (wpko)
kms: logical consequence = 논리적 결과 - https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=consequence