论文部分内容阅读
可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例.
可拓逻辑的可满足性问题研究
【摘 要】
：
可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示
【机 构】
：
广东技术师范学院计算机科学学院;
【出 处】
：
数学的实践与认识
【发表日期】
：
2015年12期
【基金项目】
：
广东省教育厅科研项目(2013KJCX0117)
其他文献
为获得接近太阳光的自然发光效果,制备了Eu2+掺杂的硅基氮化物系列荧光粉,并对其发光特性及原理进行研究.采用碳热还原氮化法制备了Eu2+掺杂Sr Si O3-Sr2Si5N8-Sr Si2O2N2红
在城市中,有效的安排警车巡逻对于降低犯罪率,预防潜在犯罪案件发生和及时处理案件具有十分重要的意义.通过一些必要简化首先确定了巡逻方案应当满足的条件以及方案的评价体
应急物流环境的动态性与复杂性决定了应急物流网络应具有高度敏捷性与柔性.将应急物流系统的运行划分为四个不同阶段,分析了不同阶段应急物流所追求的目标重要性的变化趋势,
以传统酱类的发酵过程为考察对象,研究传统酱类自然发酵过程中的菌相变化规律,测定不同发酵阶段的菌相种类及比例,为研制合适的酱类人工接种发酵剂打基础。
多传感器数据融合技术是未来军事电子领域一个重要趋势.根据6个观测雷达的观测数据进行了数据融合算法的研究.在提取目标航迹对时,对每个雷达的数据依据一定的判定条件(时间
针对消费者信心指数(CCI)与CPI、CPI分类指数构建了长期自回归分布滞后模型和短期误差修正模型.实证结果表明,一方面,CCI和CPI、各个CPI分类指数之间不仅存在时滞性的长期均
为揭示新疆不同区域房地产市场价格波动的区域差异,采用多元线性回归模型从房地产市场价格的供给与需求两个方面分析影响新疆北疆、南疆、东疆三个地区房地产市场价格区域波
随着原油对外依存度的提高,我国的成品油价格受国际油价的潜在影响也逐步增大.为了平衡油价高企对国内各方面的影响,2009年我国推出了新的成品油定价机制,以期在一定程度上能