期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
模态逻辑系统S5中的范式定理及其在知识系统中的应用
1
作者 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期1-6,共6页
研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题... 研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题. 展开更多
关键词 模态逻辑系统S5 范式定理 知识库 KB命题
下载PDF
关于一阶逻辑范式定理的几个等值式的一个注记
2
作者 王金华 钱李新 《浙江师大学报(自然科学版)》 1999年第3期16-18,共3页
以{→,~}为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词的一阶系统K 中的两个定理来证明了4 个等值式是两两等价的。
关键词 一阶逻辑 前束范式 范式定理 数理逻辑 等值式
下载PDF
逻辑代数基本定理的证明 被引量:2
3
作者 邹泽民 《贺州学院学报》 1999年第4期71-73,共3页
本文分别给出逻辑函数基本定理的三种论证方法
关键词 n元逻辑函数 范式定理 n元“与-或”范式 n元“或-与”范式 最小项
下载PDF
周易与逻辑
4
作者 律有权 《中国医学物理学杂志》 CSCD 1989年第4期13-18,共6页
《周易》是一部由符号体系和概念合成的一部古典精英;其64卦矩阵则是一个形式系统。本文试图从数理逻辑角度,对其结构、形成,及表示方法进行探究。一、周易的逻辑结构和形成周易的基本结构就是由64卦符组成的方阵,如图1所示。由图1可知... 《周易》是一部由符号体系和概念合成的一部古典精英;其64卦矩阵则是一个形式系统。本文试图从数理逻辑角度,对其结构、形成,及表示方法进行探究。一、周易的逻辑结构和形成周易的基本结构就是由64卦符组成的方阵,如图1所示。由图1可知,周易的基本要素就是“爻”。 展开更多
关键词 太极生两仪 最小项 形式系统 符号体系 概念合成 无妄 范式定理 易卦 金景 卡诺图
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部