分享到:

模糊问句与超命题逻辑

首先将问句数学化,然后探讨了问句中的模糊性,由此定义了模  (本文共5页) 阅读全文>>

《课堂内外(高考金刊)》2016年11期
课堂内外(高考金刊)

抽丝剥茧,直击立几命题逻辑

【选题意图】如何作出二面角的平面角,并能求出二面角的大小,是高中立体几何的重点,...  (本文共2页) 阅读全文>>

《逻辑学研究》2015年02期
逻辑学研究

论正规命题逻辑的析取性质(英文)

析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段。本文研...  (本文共11页) 阅读全文>>

《泰山学院学报》2013年06期
泰山学院学报

命题逻辑与数学证明方法(Ⅱ)

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和...  (本文共7页) 阅读全文>>

《电子世界》2013年19期
电子世界

命题逻辑的计算机实现

命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就...  (本文共1页) 阅读全文>>

《高师理科学刊》2000年04期
高师理科学刊

连续命题逻辑及其应用(二)

给出了连续命题逻辑的基础 ,...  (本文共3页) 阅读全文>>