期刊文献+

关于蕴函置换法的讨论

The Discvssion on The Implication Permvtation
下载PDF
导出
摘要 定义了命题逻辑中蕴函置换的概念,建立了蕴涵置换法。 In this pater, the concept of the implication permutation in logic of propostions is defined,the method for the inmplication permutation is establishedFinally,the applicable categories of the metyod.
作者 李建湘
机构地区 邵阳高专教务处
出处 《邵阳高专学报》 1998年第4期241-244,共4页
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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