- 결과,result
[[논리결과,logical_consequence]]
- 귀결,consequence
[[논리결과,logical_consequence]]
- 논리학,logic
[[논리결과,logical_consequence]]
- 동치,equivalence
2.2. 논리적 동치 - [[문장,sentence]] P가 문장 Q의 논리적귀결([[논리결과,logical_consequence]])이며 또한 Q가 P의 논리적 귀결이면, P와 Q 간에 논리적동치([[논리동치,logical_equivalence]])가 성립한다고 말함
- 명제논리,propositional_logic
[[논리결과,logical_consequence]]
- 시퀀트,sequent
||NdEn:consequence [[br]] (KmsE:consequence - '결과', ) [[br]] [[consequence]]([[결과,consequence]](같은한국어로번역되는단어: [[결과,result]]) or [[귀결,consequence]]. curr - [[논리결과,logical_consequence]] ||NdEn:consequent [[br]] (KmsE:consequent - '이어지는', ) ||
- 함의,implication
[[논리결과,logical_consequence]] - 유사?? 암튼 cmp CLEARLY.
Found 7 matching pages out of 2031 total pages
You can also click here to search title.