弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
逻辑的一种形式。把命题作为一个整体，研究命题公式的真假关系及推理的逻辑系统。
【命的意思】：命 mìng（ㄇ一ㄥˋ） （一）、动植物的生活能力：生命。救命。逃命。拼命。命脉。性命。相依为命。（ 详情>
【题的意思】：题（題） tí（ㄊ一ˊ） （一）、写作或讲演内容的总名目：题目。主题。话题。题材。题旨。（二）、练习 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
• 基于泛逻辑学的柔性命题逻辑研究
• 命题逻辑公式集上的正则相似关系
• 直觉模糊命题逻辑公式的概率真度
• 经典命题逻辑是现代形式逻辑的基础。
• 扰动模糊命题逻辑的代数结构及其广义重言式性质
• 有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。
• 首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
• 在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。
