离散数学第五章
- 格式:ppt
- 大小:767.00 KB
- 文档页数:65
第五章函数Function函数在数学、应用数学等许多领域,尤其计算机科学领域有着极其重要的作用。
函数的思想、概念和应用无处不在,无时不在。
它主要是研究变量之间的关系和规律。
函数的划分有很多种。
有线性与非线性之分、连续与离散之分。
例如,x12345…y357911…5.1 函数假定A,B是两个非空集合,f : A→B,称f为A到B上的函数,对每个a∈A, 有唯一的f(a)∈B, 记做b = f(a)。
函数也叫映射mappings或变换transformations(错误)a叫做函数f的自变量argument,b被称为因变量,b=f(a)叫做函数的值value,也叫a的像。
例1. A={1,2,3,4}, B={a,b,c,d},,则f是一个函数。
也可以简单记为,f={(1,a), (2,a), (3,d), (4,c)}另外,g={(1,a), (1,b), (2,a), (4,c)}因为对于1来说,1∈A, 不是唯一的f(1)∈B与之相对应,f(1)=a,并且f(1)=b, 因此g就不是一个函数。
例2.f:Z→Z,f(a)=f是函数。
例3.恒等函数1A(a)=a是函数。
正如,我们在第四章里表述的,函数f : A→B,b=f(a), 是一个特殊的二元关系,我们知道,由函数f可以确定一个关系,简单地,可以表示为(a,b)∈,或 ab。
关系的特征函数为或者简记为因此,这样一来,我们以前所讨论的有关集合或关系的运算和性质对于函数来说,就可以完全适用。
例如,f:A→B, g:A→B,函数的复合设f:A→B,g:B→C,是函数,则g◦f:A→C,是函数。
g◦f(a)=g(f(a))例4.函数的复合设f,g都是整数函数,f(a)=a+1, g(b)=2b.则g◦f (a)=2(a +1) 是整数集到偶数集的函数。
f◦g(a)=2a+1也是整数集到奇数集的函数。
特殊函数Special Type of Functions设f是从A到B的一个函数,如果Dom(f)=A,则称f是处处有定义everywhere defined;如果 Ran(f)=B,则称f是满射;如果对于集合A中两个不同的元素a和b,有f(a)≠f(b), 则称f是单射,即a≠b f(a)≠f(b), 或f(a)=f(b) a=b;例5. A={1,2,3,4}, B={a,b,c,d}, f={(1,a), (2,a), (3,d), (4,c)}f是一个函数,但是f既不是单射,也不是满射。
5.1 一阶逻辑等值式与置换规则定义5.1设A,B是一阶逻辑中任意两个公式,若A B是永真式,则称A与B 是等值的。
记做A B,称A B是等值式。
谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似。
下面主要讨论关于量词的等值式。
一、基本等值式第一组代换实例由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式,因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。
例如:xF(x)┐┐xF(x)x y(F(x,y)→G(x,y))┐┐x y(F(x,y)→G(x,y))等都是(2.1)式的代换实例。
又如:F(x)→G(y)┐F(x)∨G(y)x(F(x)→G(y))→zH(z)┐x(F(x)→G(y))∨zH(z))等都是(2.1)式的代换实例。
第二组消去量词等值式设个体域为有限域D={a1,a2,…,a n},则有(1)xA(x)A(a1)∧A(a2)∧…∧A(a n)(2)xA(x)A(a1)∨A(a2)∨…∨A(a n) (5.1)第三组量词否定等值式设A(x)是任意的含有自由出现个体变项x的公式,则(1)┐xA(x)x┐A(x)(2)┐xA(x)x┐A(x)(5.2)(5.2)式的直观解释是容易的。
对于(1)式,“并不是所有的x都有性质A”与“存在x没有性质A”是一回事。
对于(2)式,“不存在有性质A的x”与“所有x都没有性质A”是一回事。
第四组量词辖域收缩与扩张等值式设A(x)是任意的含自由出现个体变项x的公式,B中不含x的出现,则(1)x(A(x)∨B)xA(x)∨Bx(A(x)∧B)xA(x)∧Bx(A(x)→B)xA(x)→Bx(B→A(x))B→xA(x) (5.3)(2)x(A(x)∨B)xA(x)∨Bx(A(x)∧B)xA(x)∧Bx(A(x)→B)xA(x)→Bx(B→A(x))B→xA(x) (5.4)注意:这些等值式的条件。
第五组量词分配等值式设A(x),B(x)是任意的含自由出现个体变项x的公式,则(1)x(A(x)∧B(x))xA(x)∧xB(x)(2)x(A(x)∨B(x))xA(x)∨xB(x) (5.5)二、基本规则1.置换规则设Φ(A)是含公式A的公式,Φ(B)是用公式B取代Φ(A)中所有的A之后的公式,若A B,则Φ(A)Φ(B).一阶逻辑中的置换规则与命题逻辑中的置换规则形式上完全相同,只是在这里A,B 是一阶逻辑公式。