期刊文献+

命题逻辑中的蕴涵置换法

下载PDF
导出
摘要 引进了命题逻辑中的蕴涵置换的概念 ,建立了蕴涵置换法 。
出处 《数学理论与应用》 2003年第4期31-33,共3页 Mathematical Theory and Applications
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部