排序方式: 共有7条查询结果,搜索用时 0 毫秒
1
1.
2.
经典命题逻辑的Boole语义理论 总被引:3,自引:2,他引:1
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。 相似文献
3.
Theory of truth degrees of propositions in two-valued logic 总被引:20,自引:0,他引:20
By means of infinite product of evenly distributed probabilistic spaces of cardinal 2 this paper introduces the concepts of
truth degrees of formulas and similarity degrees among formulas, and a pseudo-metric on the set of formulas is derived therefrom,
this offers a possible framework for developing an approximate reasoning theory of propositions in two-valued logic. 相似文献
4.
采用有限元数值方法计算了理想和实际结构混响室的本征频率,将其本征频率间隔分布与量子混沌理论不同系综的理论分布进行对比分析,证明了实际结构混响室的系综为高斯正交系综,混响室为混沌系统。在此基础上,利用随机平面波假设将理想金属混响室内电场矢量本征函数表示为随机平面波的线性叠加,进而将混响室内电场表示为与横电磁波两种可能的极化方式对应的矢量本征函数展开式。根据矢量本征函数的概率分布得到了电场任一笛卡尔坐标分量服从2自由度的Rayleigh分布,总场服从6自由度的Rayleigh分布。用ETS HI-6105光纤电场探头对某混响室进行了电场分量值测量,比较了测量数据与理论模型的累积概率分布。结果表明,试验结果与理论模型符合较好,证明了电场统计分布模型的有效性。 相似文献
5.
采用有限元数值方法计算了理想和实际结构混响室的本征频率,将其本征频率间隔分布与量子混沌理论不同系综的理论分布进行对比分析,证明了实际结构混响室的系综为高斯正交系综,混响室为混沌系统。在此基础上,利用随机平面波假设将理想金属混响室内电场矢量本征函数表示为随机平面波的线性叠加,进而将混响室内电场表示为与横电磁波两种可能的极化方式对应的矢量本征函数展开式。根据矢量本征函数的概率分布得到了电场任一笛卡尔坐标分量服从2自由度的Rayleigh分布,总场服从6自由度的Rayleigh分布。用ETS HI-6105光纤电场探头对某混响室进行了电场分量值测量,比较了测量数据与理论模型的累积概率分布。结果表明,试验结果与理论模型符合较好,证明了电场统计分布模型的有效性。 相似文献
6.
7.
1