导图社区 命题逻辑
这是一篇关于命题逻辑 的思维导图。命题逻辑，包含了命题符号化及连接词，命题公式。等着演算，范式，连接词全功能集的知识点内容。
这是一篇关于知识图谱技术综述的思维导图，知识图谱技术综述，详细总结了知识图谱定义与框架，大规模知识库，知识图谱关键技术，知识图谱的典型应用。
社区模板帮助中心，点此进入>>
妈妈必读：一张0-1岁孩子认知发展的精确时间表
党章建设思维导图
人际关系处理
人际交往思维导图
人生导航
处理人际关系6项原则
进行头脑风暴的准则的思维导图
自卑与超越
超强思维训练课
逻辑填空
命题逻辑
命题符号化及连接词
命题
真/假
简单命题/原子命题
命题常项/命题常元
命题变项/命题变元
复合命题
否定式
Ø 是否定联结词
合取式
Ù 是合取联结词
析取式
Ú是析取联结词
蕴涵式
®是蕴涵联结词
等价式
«是等价连接词
命题公式
公式:命题公式/合式公式
赋值/解释
成真赋值
成假赋值
命题公式分类:
重言式/永真式
矛盾式/永假式
可满足式
等值演算
置换规则(各种公式)
律
假言易位(等)
范式
简单析取式: 仅由有限个命题变项或其否定构成的析取式
简单合取式: 仅由有限个命题变项或其否定构成的合取式
析取范式: 仅由有限个简单合取式构成的析取式
一个析取范式是矛盾式
合取范式: 仅由有限个简单析取式构成的合取式
一个合取范式是重言式
范式存在定理
任一命题公式都存在与之等值的析取范式和合取范式 ,命题公式的析取范式和合取范式不是唯一的
主析取范式
极小项
n个命题变项共产生2的n次方个极小项
如果公式的析取范式中的简单合取式全是极小项,,,,,则称该析取范式为 : 主析取范式
任何命题公式都有唯一的主析取范式
主合取范式
最大值
如果公式的析取范式中的简单析取式全是极大项,,,,,则称该合取范式为 : 主合取范式
任何命题公式都有唯一的主取范式
用途:A 判断两命题是否等值 ,判断命题公式类型, 求命题公式的成真和成假赋值
联接词全功能集
全功能集 :设S是一个连接词集合,如果任何一真值函数都可以用仅含S中的联结词的命题公式表示则称S为全功能集
{ Ø,Ù,Ú }{ Ø,Ù }{ Ø,Ú }{ Ø,® }都是联结词全功能集
与非式 :与非联结词
或非式 :¯或非联结词
{ }{ ¯ }是联结词全功能
置换规则
