5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

–推理的形式结构 –自然推理系统P

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）00 离散数学概述（谢志强、刘丕娥、陈海龙）

一、向量空间的概念 定义1设为维向量的集合，如果集合非空，且集合对于加法及乘数两种运算封闭，那么就称集合为向量空间．

一、齐次线性方程组解的性质 1.解向量的概念

一、线性相关性的概念 定义3给定向量组A:a1,a2,…,am,如果存在不 全为零的数k,k2,k使 1,2,,m ka1+k2a2+…+kmam=0 则称向量组A是线性相关的,否则称它线性无关 注意1.若a1,a2,,an线性无关,则只有当 1=…=n=0时,才有 a1+2a2+…+nan=0成立

一、最大线性无关向量组 定义5设有向量组A,如果在A中能选出个向量a1,a2,…,an,满足 (1)向量组A:a1,a2,…,a,线性无关; (2)向量组A中任意r+1个向量(如果A中有