聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 论逻辑系统
出处:哲学研究 2003年第9期 90-95,共6页
摘要:在日常生活中,一个有效的推理通常可以用形式表示为“如果p,那么q;p,所以q”。也可以用符号表示为(p→q... 显示全部
关键词: 逻辑系统 公理系统 初始符号 自然演绎系统 模态逻辑系统
在线阅读 下载全文
期刊文章 谈谈模态逻辑
出处:现代哲学 1986年第1期51-55,共5页
摘要:模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述... 显示全部
关键词: 模态逻辑系统 数理逻辑 亚里士多德 模态命题 模态三段论 真值蕴涵 严格蕴涵系统 模态词 可能世界 模态系统
在线阅读 下载全文
找到2条结果
`