排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
本文基于中介命题逻辑的扩张系统MP之命题联结词含量的完全性结果,进上步证明了Lukasiwicz三值逻辑L3、Post三值逻辑系统P3、Slupecki三值逻辑系统S3和Woodruff三值逻辑系统W3等的命题联结词的含量也是完全的,从而着眼于形式系统,可知MP、L3、P3、S3、W3的语言表达的能力也都是等效的,又若这些三值系统都是可靠的完备的,则可进上步证明这些三值系统立足于形式揄也都是互相等 相似文献
4.
5.
6.
本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 . 相似文献
7.
采用实验的方法,研究了在较宽的不凝气体含量范围内,煤油蒸汽在不同几何结构的螺旋扁管管束外的冷凝换热现象,得出了螺旋扁管的几何结构对冷凝换热的影响规律,并与同样条件下的光管管束的冷凝换热进行了分析比较。 相似文献
8.
9.
文[1]中张老师通过生花妙笔为我们真实再现了自己对这一道题目的思考过程,让我们零距离感受了一位特级教师是如何展开解题思维活动并付诸实施的,读后获益匪浅.文[1]以解题思路的形成为旨归,值得我们进一步研究的是,解题后我们又该做些什么工作呢?在此基础上,笔者又有一些想法,行之成文,权作文[1]的补充,希望对同学们能有所启发. 相似文献
1