模态命题演算相关论文
讨论在科学研究中的发明创造思维的数学模型,对Polyá提出的“论证推理模式”与“归纳推理模式”作形式化处理,在古典逻辑系统中引进模态......
探讨了模态逻辑系统S5的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。......
模态判断与性质判断周强林“模态”有广义、狭义之分,就狭义的模态而言,一般的逻辑著作中又将其分为三类判断,并具体分成六个种类,即“......
<正> 回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认......