蕴涵算子是逻辑学研究中的重点和难点。
The study of implication operator is important and difficult in the study of logic.
逻辑学研究必须结合思维内容。符合客观实际是逻辑学研究的原则标准。
The study of logic must be combined with the content of thinking and its principles and criteria must apply to objective reality.
本课题以文献法、专家访谈法、逻辑学研究法等理论方法进行理论性研究。
The paper adopts literature method, expert interview method and logical study method to make the theoretical investigation.
应用推荐