排序方式： 共有25条查询结果，搜索用时 359 毫秒
1.
姚从军 《重庆广播电视大学学报》2009,21(3):34-36
由于传统的二值逻辑无法解决诸多命题,三值逻辑乃至其他多值逻辑理论得到了迅速发展,其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和“困难”,这并非语义解释自身存在着矛盾,而是因为人们在解释三值逻辑时仍然惯常于使用形而上学的思维方式。 相似文献
2.
为了探索Kripke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念。首先,在Kripke模型上定义了互模拟与有界互模拟,并给出了模态逻辑的非良基模型定义和知识结构模型定义,证明后两类模型分别表达了Kripke模型的互模拟类和有界互模拟类;其次,证明了有界互模拟怎样被无穷模态逻辑的特定部分所刻画和通过Ehrenfeucht游戏来刻画;最后,给出了一些学者在不同的情景下证明的一些结果,使用互模拟和有界互模拟概念证明它们之间的关系。 相似文献
3.
姚从军 《湖南科技学院学报》2010,31(2):81-83
现代教育技术应用于教育、教学是教育现代化的时代要求,也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。在逻辑教学中引入了LPL软件,可构造真值表的和一阶逻辑形式证明,学生网上提交并检查作业,增强了学生学习的主动性和创造性,激发了学生学习兴趣,大大提高了学习效率,节省了学习时间。 相似文献
4.
丢掉任意的大小限制,就回到结构的前集合论观点,由此得到点图的一个类对应物:点系统概念。定义点系统之间的观察等价性概念有不同设想,利用结构打开思想是一个更具现实性的选择。打开概念真正刻画了有关一个集合的所有的东西,也就是它的元素;如果两个对象(集合,类或者点系统)的所有打开是一致的,那么这两个对象是观察等价的。打开具有相对极大性,它们聚合了一个集合及其元素在第α层可以得到的所有信息。模态语句与相应的打开真正地刻画了相同的信息,这就使观察等价性关系和到α层的等价关系很容易根据模态语句来表达。 相似文献
5.
姚从军 《零陵师范高等专科学校学报》2010,(2):81-83
现代教育技术应用于教育、教学是教育现代化的时代要求,也是实施素质教育的重要举措。逻辑学教育技术是关于学习过程和学习资源的设计、开发、利用、管理和评价的理论与实践。在逻辑教学中引入了LPL软件,可构造真值表的和一阶逻辑形式证明,学生网上提交并检查作业,增强了学生学习的主动性和创造性,激发了学生学习兴趣,大大提高了学习效率,节省了学习时间。 相似文献
6.
揭示了卢卡西维茨创造三值逻辑的基本原则：严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区：a、当｜p｜=1/2时,｜（＊p） ｜=1/2是遵循这一基本原则进行运算的结果,没有任何其他原因;b、当｜ p ｜=1/2,｜ q｜=1/2时,｜p→q｜=1/2也是遵循同样的原则进行运算的必然结果,没有任何其他目的,即不是为了捍卫同一律而人为规定的. 相似文献
7.
柳宗元是为世人称道的文学家、哲学家、散文家、思想家。柳宗元的淡然情怀深刻内涵是在身居朝堂时，生活一帆风顺的顺境中能够洁身自好，淡泊名利，其表现在对民生民情的人文关怀；在无奈被贬永州、柳州的逆境之时，仍能淡然处之，以一颗宁静自然之心笑对生活。柳子之淡然情怀体现在柳子之学。在当今，这个物欲横流的社会里，研读柳子之淡然情怀对我们当代大学生具有极其重要的意义。 相似文献
8.
姚从军 《湖南科技学院学报》2008,29(9)
模态命题逻辑的自然推理系统T^N、S4^N、S5^N与古典命题逻辑的自然推理系统P^N相比：形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力大大增强。 相似文献
9.
LPM与Lp相比：由于□的引入,导致了初始符号与形成规则的扩张;从而引起了LPM的合式公式、原子公式、元语言变项和常项的取值范围,比Lp中相应部分的取值范围大大扩张;K、D、T、B、S4、S5与P相比：公理数量增多;变形规则增加,且相同变形规则的作用范围扩大;可推出的定理数量大大增加;推理能力大大增强。首次提出,模态命题逻辑系统的定理（公理）均是在古典命题逻辑系统的定理（公理）的子公式前用不同的方式添加模态词（包括空模态词）而得到。 相似文献
10.
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力. 相似文献