第一章 命题逻辑

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

一、关系幂(power)运算 二、关系闭包(closure)