首页 | 本学科首页   官方微博 | 高级检索  
     检索      

用BASIC语言判定命题推理的有效性
引用本文:黄万徽.用BASIC语言判定命题推理的有效性[J].华中师范大学学报(自然科学版),1987,26(2):0-0.
作者姓名:黄万徽
作者单位:华中师范大学数学系
摘    要:本文利用BASIC语言中较少为人所用的逻辑运算功能.来判定命题推理的有效性。

关 键 词:命题公式  BASIC表达式  有效性
收稿时间:1987-02-25

DECISION OF THE VALIDITY OF THE PROPOSITIONAL INFERENCE BY BASIC LINGUISTICS
Huong Wanhui.DECISION OF THE VALIDITY OF THE PROPOSITIONAL INFERENCE BY BASIC LINGUISTICS[J].Journal of Central China Normal University(Natural Sciences),1987,26(2):0-0.
Authors:Huong Wanhui
Institution:Department of mathematies
Abstract:In this paper, we use BASIC Linguistics, without establishing any formal system, for the decision of the validity of the propositional inference.
Keywords:propositional formula  BASIC expression  validity
本文献已被 CNKI 等数据库收录!
点击此处可从《华中师范大学学报(自然科学版)》浏览原始摘要信息
点击此处可从《华中师范大学学报(自然科学版)》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号