论文部分内容阅读
要用计算机或数学方法解决推理问题，命题符号化是关键。本文深刻剖析了自然语言中的“或”在命题符号化中的意义和作用及与逻辑联结词“析取”的关系。
“或”与“析取”之辨析
【摘 要】
：
要用计算机或数学方法解决推理问题，命题符号化是关键。本文深刻剖析了自然语言中的“或”在命题符号化中的意义和作用及与逻辑联结词“析取”的关系。
【机 构】
：
哈尔滨师范大学阿城学院计算机系
【出 处】
：
中国科技信息
【发表日期】
：
2007年2期
其他文献
通过对深圳居民收入与购买汽车情况进行的问卷调查以及对所得数据进行整理分析，对人均小汽车拥有率进行研究，得出深圳居民的收入与小汽车拥有率的相关关系。研究表明，深圳目前户
本文围绕工程质量的监督问题,分析了目前我国工程质量监督中存在的弊病,并探讨了一种新的监督模式,一是要建立健全工程质量监督告知制度,提高监督执法的透明度,使工程质量监
采用随机方向法寻求优化值,用三次线性插值法再进行一维搜索求得最优值;以小型挖掘机最终传动圆柱齿轮体积最小为目标函数对其进行计算机辅助设计。