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

三值R0命题逻辑系统的随机化
引用本文:惠小静.三值R0命题逻辑系统的随机化[J].应用数学学报,2009,32(1).
作者姓名:惠小静
作者单位:延安大学数学与计算机科学学院,延安,716000
基金项目:国家自然科学基金,陕西省教育厅资助项目 
摘    要:利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.

关 键 词:随机数序  随机真度  随机逻辑度量空间

Randomization of R0 3-valued Propositional Logic System
HUI XIAOJING.Randomization of R0 3-valued Propositional Logic System[J].Acta Mathematicae Applicatae Sinica,2009,32(1).
Authors:HUI XIAOJING
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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