助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   modern logic with traditional logic 的翻译结果: 查询用时:0.176秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

modern logic with traditional logic
相关语句
  现代逻辑与传统逻辑
     arrange the general logic textbook system according to modern logic, The solution of the four technique problems can merge modern logic with traditional logic and the two can benefit one another.
     以现代逻辑为纲来安排普通逻辑教材的体系。 解决了这四个技术问题,现代逻辑与传统逻辑即可相互融合,相得益彰。
短句来源
  相似匹配句对
     On the Application of Modern Logic
     论现代逻辑的应用
短句来源
     MODERN IT
     摩登数码
短句来源
     The logic of Zen and modern physics
     禅宗逻辑与现代物理学
短句来源
     Modern;
     教育现代化是中国现代化之母。
短句来源
     traditional logical and modern symbolic logic.
     究其实,争论是由逻辑观———传统形式逻辑和现代数理逻辑的不同引起的。
短句来源
查询“modern logic with traditional logic”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


There exist four technique problems in modernizing the logic textbooks: promote"if not p, then not q" as the type of standard expression, which is hypothetical proposition of necessary condition; introduce duality and pluralism connective into the expression of the exclusive disjunctive proposition; step up the problem of main phrase from presupposition to the prescription in premises; arrange the general logic textbook system according to modern logic, The solution of the four technique problems can merge modern...

There exist four technique problems in modernizing the logic textbooks: promote"if not p, then not q" as the type of standard expression, which is hypothetical proposition of necessary condition; introduce duality and pluralism connective into the expression of the exclusive disjunctive proposition; step up the problem of main phrase from presupposition to the prescription in premises; arrange the general logic textbook system according to modern logic, The solution of the four technique problems can merge modern logic with traditional logic and the two can benefit one another.

传统逻辑教材现代化的进程中存在以下四个技术问题:把“如果非p那么非q”提升为必要条件假言命题的标准表达式;引入二元和多元斥取词以表达不相容选言命题;把主词存在问题由预设提升为明设;以现代逻辑为纲来安排普通逻辑教材的体系。解决了这四个技术问题,现代逻辑与传统逻辑即可相互融合,相得益彰。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关modern logic with traditional logic的内容
在知识搜索中查有关modern logic with traditional logic的内容
在数字搜索中查有关modern logic with traditional logic的内容
在概念知识元中查有关modern logic with traditional logic的内容
在学术趋势中查有关modern logic with traditional logic的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社