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

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

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

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

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

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

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算

北京大学：《离散数学》教学详细计划