他不能确定自己理解是否正确，尽管该理论的逻辑推理引起了他的兴趣。
He wasn't sure he'd got it right, although the theory attracted him by its logic.
当直觉可能引发的错误显而易见时尤其如此，特别是正确答案依赖于逻辑和抽象推理时——这些能力IQ测试测量得很好。
This is particularly true when any intuitive pitfalls are obvious, especially if a correct answer depends on logic or abstract reasoning - abilities that IQ tests measure well.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
因为逻辑是正确的推理的研究，这是一个认识论和在任何哲学的系统里的优先权的基本的分部。
Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system.
由于类BAN逻辑缺乏明确而清晰的语义，其语法规则和推理的正确性就受到了质疑。
For lack of explicit and definite semantics in BAN like logics, their correctness of syntax rules and reasoning is under suspicion.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
应用推荐