聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 关于模态命题公式的一种布尔值
出处:中山大学学报:社会科学版 2003年第S1期,共4页
摘要:文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。 显示全部
关键词: 布尔值 模态命题逻辑 正规系统
找到1条结果
`