论文部分内容阅读
王国俊提出了命题真度的概念，它与命题逻辑等价的概念不同，但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系，给出了二值命题逻辑中命题真度相同与逻辑等价的关系．
二值命题逻辑中命题真度相同与逻辑等价的关系
【摘 要】
：
王国俊提出了命题真度的概念，它与命题逻辑等价的概念不同，但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系，给出了二值命题逻辑中命题真度相同与逻辑等价的
【机 构】
：
陕西师范大学数学与信息科学学院,西安文理学院数学系,长安大学理学院
【出 处】
：
西安文理学院学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
国家自然科学基金资助项目（NO.10331010）
其他文献
Z igBee技术是近年来通信领域中的研究热点,具有低成本、低功耗、低速率、低复杂度的特点和高可靠性、组网简单、灵活的优势,被称为无线传感器网络的国际标准.鉴于犯人外出劳
用B270玻璃烧制出满足需要的螺旋基底,并对其进行检测.利用智能式烘箱设置合适的程序来控制玻璃的升温、恒温和降温,得到了合乎要求的玻璃螺旋面基底,并利用三坐标测量系统进
研究了具有异常波动的金融市场中的最优投资消费问题，考虑投资者的消费对象同时包括可存品与非可存品的情况．首先建立了最优投资消费问题的随机控制模型，然后运用动态规划原理，对
改进了基于最优小波包基的信号去噪算法，该算法以小波包分析为基础，根据最小代价原理搜索信号分解的最优基，然后对高频和低频系数采用不同的阈值算法进行量化，用量化后的系数重构