首页> 中文会议>第四届全国逻辑系统、智能科学与信息科学学术会议 >命题逻辑的文氏图方法

命题逻辑的文氏图方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法.通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据.给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例.应用Euler公式给出了文氏图方法对命题变元个数的适用范围.

著录项

来源
《第四届全国逻辑系统、智能科学与信息科学学术会议》|2008年|25-29|共5页
会议地点贵州
作者
Chen Yongming; 陈勇明; Wang Lu; 王璐;
展开▼
作者单位

贵州省科协;

贵州省社会科学界联合会;

贵州制约逻辑学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数理逻辑（符号逻辑）;
关键词
命题逻辑; 文氏图方法; 抽象性; 命题变元;

相似文献

中文文献
外文文献
专利

1. 欧拉图和文氏图有何不同 [J] . 金成樑 . 湖南教育：上旬 . 1996,第006期
2. 文氏图在概率求解过程中的误导 [J] . 吴香华 ,陈以祺 . 试题与研究 . 2021,第017期
3. 不画“导图”不读书——文氏图在英语读后活动中的探索与应用 [J] . 胡曼蓉 . 试题与研究：教学论坛 . 2020,第33期
4. 文氏图在计量统计类课程教学中的应用——以多重共线性内容为例 [J] . 陈军 . 长沙航空职业技术学院学报 . 2019,第002期
5. 文氏图法分析售后租回形成的经营租赁 [J] . 王放 ,张蕾 . 中国农业会计 . 2014,第011期
6. 运用中国传统文化精髓理念演绎现代文饰美容技术方法--方氏文绣艺术主要特点 [C] . 方红星 . 第九届东南亚地区医学美容学术大会 . 2005
7. 组合优化中的命题逻辑——以图顶点染色问题为研究介质 [A] . 黄冲 . 2011

命题逻辑的文氏图方法

摘要

著录项

相似文献

相关主题

期刊订阅