离散数学(西安交大版)习题解第一部分(集合论部分)

离散数学(西安交大版)习题解第一部分(集合论部分)
离散数学(西安交大版)习题解第一部分(集合论部分)

离散数学辅助教材

概念分析结构思想与推理证明

第一部分

集合论

刘国荣

交大电信学院计算机系

离散数学习题解答

习题一(第一章集合)

1. 列出下述集合的全部元素:

1)A={x | x ∈N∧x是偶数∧x<15}

2)B={x|x∈N∧4+x=3}

3)C={x|x是十进制的数字}

[解] 1)A={2,4,6,8,10,12,14}

2)B=?

3)C={0,1,2,3,4,5,6,7,8,9}

2. 用谓词法表示下列集合:

1){奇整数集合}

2){小于7的非负整数集合}

3){3,5,7,11,13,17,19,23,29}

[解] 1){n n∈I∧(?m∈I)(n=2m+1)};

2){n n∈I∧n≥0∧n<7};

3){p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。

3. 确定下列各命题的真假性:

1)???

2)?∈?

3)??{?}

4)?∈{?}

5){a,b}?{a,b,c,{a,b,c}}

6){a,b}∈(a,b,c,{a,b,c})

7){a,b}?{a,b,{{a,b,}}}

8){a,b}∈{a,b,{{a,b,}}}

[解]1)真。因为空集是任意集合的子集;

2)假。因为空集不含任何元素;

3)真。因为空集是任意集合的子集;

4)真。因为?是集合{?}的元素;

5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集;

6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;

7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集;

8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。

4. 对任意集合A,B,C,确定下列命题的真假性:

1)如果A∈B∧B∈C,则A∈C。

2)如果A∈B∧B∈C,则A∈C。

3)如果A?B∧B∈C,则A∈C。

[解] 1)假。例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。

2)假。例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A ∈C。

3)假。例如A={a},B={a,b},C={{a},a,b},从而ACB∧B∈.C,但A∈C。5.对任意集合A,B,C,确定下列命题的真假性:

1)如果A∈B∧B?C,则A∈C。

2)如果A∈B∧B?C,则A?C。

3)如果A?B∧B∈C,则A∈C。

3)如果A?B∧B∈C,则A?C。

[解] 1)真。因为B?C??x(x∈B?x∈C),因此A∈B?A∈C。

2)假。例如A={a},B={{a},{b}},C={{a},{b},{c}}从而A∈B∧B?C,但A?C。

3)假。例如A={a},B={{a,b}},C={{a,{a,b}},从而A?B∧B∈C,但A?C。

4)假。例如A={a},B={{a,b}},C={{a,b},b},从而A?B∧B∈C,但A?C。6.求下列集合的幂集:

1){a,b,c}

2){a,{b,c}}

3){?}

4){?,{?}}

5){{a,b},{a,a,b},{a,b,a,b}}

[解] 1){?,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}

2){,{a},{{b,c}},{a,{a,b}}}

3){?,{?}}

4){?,{?},{{?}},{?,{?}}}

5){?,{{a,b}}}

7.给定自然数集合N的下列子集:

A={1,2,7,8}

B={ x|x2<50}

C={x|x可以被3整除且0≤x≤30}

D={x|x=2K,K∈I∧O≤K≤6}

列出下面集合的元素:

1)A∪B∪C∪D

2)A∩B∩C∩D

3)B\(A∪C)

4)(A′∩B)∪D

[解] 因为B={1,2,3,4,5,6,7},C={3,6,9,12,15,18,21,24,27,30},D={1,2,4,8,16,32,64,},故此

1)A∪B∪C∪D={1,2,3,4,5,6,7,8,9,12,15,16,18,21,24,27,

30,32,64}

2)A∩B∩C∩D=?

3)B\(A∪C)={4,5}

4)(A′∩B)∪D={1,2,3,4,5,6,7,8,16,32,64}

8.设A、B、C是集合,证明:

1)(A\B)=A\(B\C)

2)(A\B)\C=(A\C)\(B\C)

3)(A\B)\C=(A\C)\B

[证明] 1)方法一:(A\B)\C

=(A∩B′)∩C′(差集的定义)

=A∩(B′∩C′)(交运算的结合律)

=A∩(B∪C)′(deMorgan律)

=A\(B∪C)(差集的定义)

方法二:对任一元素x∈(A\B)\C,则x?C,同时,x∈A\B,x∈A,x?B,所以,x∈A,x?B∪C,即x∈A\(B∪C),由此可见(A\B)\C?A\(B∪C)。

反之,对任一元素x∈A\(B∪C),则x∈A,且x?B∪C,也就是说x?A,x?B,x?C。所以x∈(A\B)\C,由此可见A\(B∪C)?(A\B)\C。

因此A\(B\C)。

2)方法一:(A\B)\C

=A\(B∪C)(根据1))

=A\(C∪B)(并运算交换律)

=A\((C∪B)∩Ⅹ)(0—1律)

=A\((C∪B)∩(C∪C′))(0—1律)

=A\(C∪(B∩C′)(分配律)

=(A\C)\(B∩C′)(根据1)

=(A\C)\(B∩C)(差集的定义)方法二:对任一元素x∈(A\B)\C,可知x∈A,x?B,x?C,x∈A\C。又由x?B,x?B\C,x∈(A\C)\(B\C)\(B\C)。所以(A\B)\C?(A\C)\(B\C)。

反之,对任x∈(A\C)\(B\C),可知x∈A\C,x?B\C。由x∈A\C,可知x∈A,x?C。又因为x?B\C及x?C,可知x?B。所以,x∈(A\B)\C。因此(A\B)\C?(A\B)\C。

由此可得(A\B)\(B\C)?(A\B)\C。

3)方法一:(A\C)\C

=A\(B∪C)(根据1))

=A\(C∪B)(并运算交换律)

=(A\C)\B (根据1))方法二:对任一元素x∈(A\B)\C,可知x∈A,x?B,x?C。由为x∈A,x?C,所以,x∈A\C。又由x?B,x∈(A\C)\B。所以,(A\B)\C?(A\C)\B。

同理可证得(A\C)\B?(A\B)\C。

9. 设A、B是Ⅹ全集的子集,证明:

A?B?A′∪B=X?A∩B′=?

[解](采用循环证法)

(1)先证A?B?A′∪B=X;

方法一:A′∪B=A′∪(A∪B) (因为条件A?B及定理4)=(A′∪A)∪B (∪的结合律)

=(A∪A′)∪B (∪的交换律)

=X∪B (互补律)

=X (零壹律)

方法二:A?B?A∪B=B (定理4)?B=A∪B (等号=的对称性)

?A′∪B=A′∪(A∪B) (两边同时左并上A′)

?A′∪B==(A′∪A)∪B (∪的结合律)

?A′∪B=(A∪A′)∪B (∪的交换律)

?A′∪B=X∪B (互补律)

?A′∪B=X(零壹律)

方法三:因为A′?X且B?X,所以根据定理2的3')就有A′∪B?X;

另一方面,由于B?A′∪B 及根据换质位律可得B′?A′?A′∪B,因此,由互补律及再次应用定理2的3'),可得X=B∪B′?A′∪B,即X?A′∪B;

所以,A′∪B=X。

(2)次证A′∪B=X?A∩B′=?;

A′∪B=X?(A′∪B)′=X′(两边同时取补运算′)

?(A′)′∩B′=X′(de Morgan律)

?A∩B′=X′(反身律)

?A∩B′=X′(零壹律)

(3)再证A∩B′=??A?B;

方法一:A=A∩X (零壹律) =A∩(B∪B′) (互补律)

=(A∩B)∪(A∩B′) (分配律)

=(A∩B)∪?(条件A∩B′=?)

=A∩B (零壹律)

?B (定理2的3))

方法二:A∩B′=??B=B∪?(零壹律)

=B∪(A∩B′) (条件A∩B′=?)

=(B∪A)∩(B∪B′) (分配律)

=(A∪B)∩(B∪B′) (∪的交换律)

=(A∪B)∩X (互补律)

=A∪B (零壹律)

?A?B (定理4的2))

10. 对于任意集合A,B,C,下列各式是否成立,为什么?

1)A∪B=A∪C?B=C

2)A∩B=A∩C?B=C

[解] 1)不一定。例如:A={a},B={a,b},C={b}。显然有

A∪B=A∪C,但B≠C。

2)不一定。例如:A={a},B={a,b},C={b,c}。显然有

A ∩B=A ∩C ,但

B ≠

C 。

11.设A ,B 为集合,给出下列等式成立的充分必要条件:

1) A\B=B 2) A\B=B\A 3) A ∩B=A ∪B 4) A ⊕B=A

[解] 1)A\B=A ∩B ′,由假设可知A\B=B ,即A ∩B ′=B 。由此可知B=A ∩B ′?B ′,

故此B=B ∩B ′=?。

由假设可知A=A\?=A\B=B=?。所以当A\B=B 时有A=B=??。 反之,当A=B=?时,显然A\B=B 。 因此A\B=B 的充分必要条件是A=B=?。

2)设A\B ≠∈?,则有元素a ∈A\B ,那么,a ∈A ,而由假设A\B=B\A 。所以a ∈B\A ,从而a ?A ,矛盾。所以A\B=,故A ?B 。另一方面由B\A=A\B=?。可得B ?A 。因此当A\B=B\A 时,有A=B 。 反之,当A=B 时,显然A\B=B\A=? 因此,A\B=B\A 的充要条件是A=B 。

3)由于A ∪B=A ∩B ,从而A ?A ∪B=A ∩B ?B ,以及B ?A ∪B=A ∩B ?A 故此A ∪B=A ∩B ,有A=B 。

5) 根据定理6的1)有A ⊕?=A ,由已知条件A ⊕B=A ,可得A ⊕B=A ⊕?。 从而由对称差的消去律可得B=?。 反之,若B=?,则A ⊕B=A ⊕?=A 。 所以A ⊕B=A 的充分必要条件为B=?。 12. 对下列集合,画出其文图:

1) A ′∩B ′ 2) A\(B ∪C )′ 3) A ∩(B ′∪C ) [解]

A

B

A ′∩

B ′

A \ (

B ∪

C ) ′ B

C

A ∩ (

B ′∪

C )

A C

B

A X

X

X

山东大学离散数学题库及答案

《离散数学》题库答案 一、选择或填空 (数理逻辑部分) 1、下列哪些公式为永真蕴含式?( ) (1)?Q=>Q →P (2)?Q=>P →Q (3)P=>P →Q (4)?P ∧(P ∨Q)=>?P 答:(1),(4) 2、下列公式中哪些就是永真式?( ) (1)(┐P ∧Q)→(Q →?R) (2)P →(Q →Q) (3)(P ∧Q)→P (4)P →(P ∨Q) 答:(2),(3),(4) 3、设有下列公式,请问哪几个就是永真蕴涵式?( ) (1)P=>P ∧Q (2) P ∧Q=>P (3) P ∧Q=>P ∨Q (4)P ∧(P →Q)=>Q (5) ?(P →Q)=>P (6) ?P ∧(P ∨Q)=>?P 答:(2),(3),(4),(5),(6) 4、公式?x((A(x)→B(y,x))∧ ?z C(y,z))→D(x)中,自由变元就是( ),约束变元就是( )。 答:x,y, x,z 5、判断下列语句就是不就是命题。若就是,给出命题的真值。( ) (1) 北京就是中华人民共与国的首都。 (2) 陕西师大就是一座工厂。 (3) 您喜欢唱歌不? (4) 若7+8>18,则三角形有4条边。 (5) 前进! (6) 给我一杯水吧! 答:(1) 就是,T (2) 就是,F (3) 不就是 (4) 就是,T (5) 不就是 (6) 不就是 6、命题“存在一些人就是大学生”的否定就是( ),而命题“所有的人都就是要死的”的否定就是( )。 答:所有人都不就是大学生,有些人不会死 7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。 (1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校 (3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校 答:(1) P Q →? (2) Q P ?→ (3) Q P ?? (4)Q P →? 8、设个体域为整数集,则下列公式的意义就是( )。 (1) ?x ?y(x+y=0) (2) ?y ?x(x+y=0) 答:(1)对任一整数x 存在整数 y 满足x+y=0(2)存在整数y 对任一整数x 满足x+y=0 9、设全体域D 就是正整数集合,确定下列命题的真值: (1) ?x ?y (xy=y) ( ) (2) ?x ?y(x+y=y) ( ) (3) ?x ?y(x+y=x) ( ) (4) ?x ?y(y=2x) ( ) 答:(1) F (2) F (3)F (4)T 10、设谓词P(x):x 就是奇数,Q(x):x 就是偶数,谓词公式 ?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1) 自然数 (2) 实数 (3) 复数 (4) (1)--(3)均成立 答:(1) 11、命题“2就是偶数或-3就是负数”的否定就是( )。 答:2不就是偶数且-3不就是负数。 12、永真式的否定就是( ) (1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能

离散数学复习要点

离散数学复习要点第一章命题逻辑 一、典型考查点 1、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。其它疑问句、祈使句、感叹句、悖论等皆不是。详见教材P1 2、联结词运算定律┐∧∨→记住特殊的:1∧1?1,0∨0?0,1→0?0,11?1,00?1详见P5 3、命题符号化步骤:A划分原子命题,找准联结词。特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q→P;除非P否则Q,应为┐P→Q。B设出原子命题写出符号化公式。详见P5 4、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。详见P9 5、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。②对每个指派,以二进制数从小到大或从大到小顺序列出。③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。详见P8。 6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P15 7、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A?B的充要条件是A?B且B?A。主要等价式:(1)双否定:??A?A。(2)交换律:A∧B?B∧A,A∨B?B∨A,A?B?B?A。3)结合律:(A∧B)∧C?A ∧(B∧C),(A∨B)∨C?A∨(B∨C),(A?B)?C?A?(B?C)。(4) 分配律:A∧(B∨C)?(A∧B)∨(A∧C),A∨(B∧C)?(A∨B)∧(A∨C)。(5) 德·摩根律:?(A∧B)??A∨?B,?(A∨B)??A∧?B。(6) 等幂律:A∧A?A,A∨A?A。(7) 同一律:A∧T?A,A∨F?A。(8) 零律:A∧F?F,A∨T?T。(9) 吸收律:A∧(A∨B)?A,A∨(A∧B)?A。(10) 互补律:A∧?A?F,(矛盾律),A∨?A?T。(排中律)(11) 条件式转化律:A→B??A∨B,A→B??B→?A。(12) 双条件式转化律:A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B) 8、蕴含式详见P23表1.6.3 证明方法:①前件真导后件真方法②后件假导前件假方法③真值表中,前件为真的行,后件也为真或者后件为假的行,前件也为假。④用定义,证A?B,即证A→B是永真式。 9、范式求法步骤:①使用命题定律,消去公式中除∧、∨和?以外公式中出现的所有联结词;②使用?(?P)?P和德·摩根律,将公式中出现的联结词?都移到命题变元之前;③利用结合律、分配律等将公式化成析取范式或合取范式。10、主范式的求法重点步骤:(a)把给定公式化成析取(合取)范式;(b)删除析取范式中所有为永假的简单合取(析取)式;(c)用等幂律化简简单合取(析取)式中同一命题变元的重复出现为一次出现,如P∧P?P。(d)用同一律补进简单合取(析取)式中未出现的所有命题变元,如Q,则P?P∧(?Q∨Q)或P?P∨(?Q∧Q),并用分配律展开之,将相同的简单合取式的多次出现化为一次出现,这样得到了给定公式的主析取(合取)范式。 注意:主析取范式与主合取范式之间的联系。例如:(P→Q)∧Q?m1∨m3?M0∧M2,即剩下的编码就是另一个主范式的编码,因此,求主范式,哪一个简单易求,就先求哪个,然后对应出所求结果。详见P16 11、推理证明:重点方法:演算、演绎法(常用的格式)、反证法、CP规则即附加前提等。 重点规则(主要蕴含式):(1) P∧Q?P化简(2) P∧Q?Q化简(3) P?P∨Q附加(4) ?P?P→Q变形附加(5)Q?P→Q变形附加(6) ?(P→Q)?P变形化简(7) ?(P→Q)??Q变形化简(8) P,(P→Q)?Q假言推理(9) ?Q,(P→Q)??P拒取式(10) ?P,(P∨Q)?Q析取三段论(11) (P→Q),(Q→R)?P→R条件三段论(12) (P?Q),(Q?R)?P?R 双条件三段论 文字证明推理三步:一命题符号化,二写出前提和结论,三进行证明。详见P21 二、强化练习 1.命题的是( )A.走,看电影去B.x+y>0C.空集是任意集合的真子集D.你明天能来吗? 2.下列式子为重言式的是( ) A.P→P∨Q B.(┐P∧Q)∧(P∨┐Q) C.┐ (P Q) D.(P∨Q) (P→Q) 3.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 4.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那雪是黑的 5.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q) D.?(? P∨? Q) 6.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式 7.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无 8.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是()

《离散数学》考试题库及答案(三)

《离散数学》考试题库及答案 一、 填空 10% (每小题 2分) 1、 若P ,Q 为二命题,Q P ?真值为1,当且仅当 。 2、 对公式),()),(),((y x xR z x zQ y x yP ?∨?∧?中自由变元进行代入的 公 式 为 。 3、 )) (()(x xG x xF ??∧?的 前 束 范 式为 。 4、 设x 是谓词合式公式A 的一个客体变元,A 的论域为D ,A (x )关于y 的自由的, 则 被称为全称量词消去规则,记为US 。 5、 与非门的逻辑网络为 。 二、 选择 30% (每小题 3分) 1、 下列各符号串,不是合式公式的有( )。 A 、R Q P ?∧∧)(; B 、)()((S R Q P ∧→→; C 、R Q P ∧∨∨; D 、S R Q P ∨∧∨?))((。 2、 下列语句是命题的有( )。 A 、2是素数; B 、x+5 > 6; C 、地球外的星球上也有人; D 、这朵花多好看呀!。 3、 下列公式是重言式的有( )。 A 、)(Q P ??; B 、Q Q P →∧)(; C 、P P Q ∧→?)(; D 、P Q P ?→)( 4、 下列问题成立的有( )。 A 、 若C B C A ∨?∨,则B A ?; B 、若C B C A ∧?∧,则B A ?; C 、若B A ???,则B A ?; D 、若B A ?,则B A ???。 5、 命题逻辑演绎的CP 规则为( )。 A 、 在推演过程中可随便使用前提; B 、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果; C 、如果要演绎出的公式为C B →形式,那么将B 作为前提,设法演绎出C ;

《离散数学》题库及答案

《离散数学》题库与答案 一、选择或填空 (数理逻辑部分) 1、下列哪些公式为永真蕴含式?( A ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别) 2、下列公式中哪些是永真式?( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答:(2),(3),(4)可用蕴含等值式证明 3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式 4、公式x((A(x)B(y,x))z C(y,z))D(x)中,自由变元是( ),约束变元是( )。 答:x,y, x,z(考察定义在公式x A和x A中,称x为指导变元,A为量词的辖域。在x A和x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y,x)和z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元) 5、判断下列语句是不是命题。若是,给出命题的真值。( )

(1)北京是中华人民共和国的首都。(2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗?(4) 若7+8>18,则三角形有4条边。 (5) 前进!(6) 给我一杯水吧! 答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是(命题必须满足是陈述句,不能是疑问句或者祈使句。) 6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。 答:所有人都不是大学生,有些人不会死(命题的否定就是把命题前提中的量词“换成存在,换成”,然后将命题的结论否定,“且变或或变且”) 7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。 (1) 只有在生病时,我才不去学校(2) 若我生病,则我不去学校 (3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)P ?(注意“只有……才……”和“除非……就……”两者都是一个 Q→ 形式的)(2)Q P→ ? P? ?(4)Q P? →(3)Q 8、设个体域为整数集,则下列公式的意义是( )。 (1) x y(x+y=0) (2) y x(x+y=0) 答:(1)对任一整数x存在整数y满足x+y=0 (2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值: (1) x y (xy=y) ( ) (2) x y(x+y=y) ( ) (3) x y(x+y=x) ( ) (4) x y(y=2x) ( ) 答:(1)F (反证法:假若存在,则(x- 1)*y=0 对所有的x都成立,显然这个与前提条件相矛盾) (2)F (同理)(3)F (同理)(4)T(对任一整数x存在整数y满足条件y=2x 很明显是正确的)

离散数学必备知识点总结

离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;

2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;

离散数学习题

第一章习题 1.1判断下列语句是否为命题,若是命题请指出是简单命题还是复合命题。(1)2是无理数。 (2)5能被2整除。 (3)现在开会吗? (4)x+5>0 (5)这朵花真是好看! (6)2是素数当且仅当三角形有三条边。 (7)雪是黑色的当且仅当太阳是从东方升起。 (8)2000年10月1日天气晴好。 (9)太阳系以外的星球上有生物。 (10)小李在宿舍里。 (11)全体起立。 (12)4是2的倍数或是3的倍数。 (13)4是偶数且是奇数。 (14)李明和王华是同学。 (15)蓝色和黄色可以调配成绿色。 1..2 将上题中的命题符号化,并讨论他们的真值。 1.3判断下列各命题的真值。 (1)若2+2=4,则3+3=6; (2)若2+2=4,则3+3≠6; (3)若2+2≠=4,则3+3=6; (4)若2+2≠=4,则3+3≠=6; (5)2+2=4,当且仅当3+3=6; (6)2+2=4,当且仅当3+3≠6; (7)2+2≠4,当且仅当3+3=6; (8)2+2≠4,当且仅当3+3≠6; 1.4将下列命题符号化,并讨论其真值。 (1)如果今天是1号,则明天是2号; (2)如果今天是1号,则明天是3号; 1.5将下列命题符号化。 (1)2是偶数不是素数; (2)小王不但聪明而且用功; (3)虽然天气冷。老王还是来了; (4)他一边吃饭,一边看电视; (5)如果天下大雨,他就乘公交汽车来; (6)只有天下大雨,他才乘公交汽车来; (7)除非天下大雨,否则他不乘公交汽车来; (8)不经一事,不长一智; 1.5设p,q的真值为0 ,r,s的真值为1,求下列命题公式的真值。(1)p∨(q∧r);

大学本科高等数学《离散数学》试题及答案

本科高等数学离散数学试题及答案 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

化工原理例题与习题

化工原理例题与习题标准化管理部编码-[99968T-6889628-J68568-1689N]

第一章流体流动 【例1-1】已知硫酸与水的密度分别为1830kg/m3与998kg/m3,试求含硫酸为60%(质量)的硫酸水溶液的密度为若干。 解:根据式1-4 =(+)10-4=×10-4 ρ m =1372kg/m3 【例1-2】已知干空气的组成为:O 221%、N 2 78%和Ar1%(均为体积%),试求干空气在 压力为×104Pa及温度为100℃时的密度。 解:首先将摄氏度换算成开尔文 100℃=273+100=373K 再求干空气的平均摩尔质量 M m =32×+28×+× =m3 根据式1-3a气体的平均密度为: 【例1-3 】本题附图所示的开口容器内盛有油和水。油层高度h1=、密度ρ 1 =800kg/m3,水层高度h2=、密度ρ2=1000kg/m3。 (1)判断下列两关系是否成立,即p A=p'A p B=p'B (2)计算水在玻璃管内的高度h。 解:(1)判断题给两关系式是否成立p A=p'A的关系成立。因A与A'两点在静止的连通着的同一流体内,并在同一水平面上。所以截面A-A'称为等压面。 p B =p' B 的关系不能成立。因B及B'两点虽在静止流体的同一水平面上,但不是连通 着的同一种流体,即截面B-B'不是等压面。 (2)计算玻璃管内水的高度h由上面讨论 知,p A=p'A,而p A=p'A都可以用流体静力学基本方程式计算,即 p A =p a +ρ 1 gh 1 +ρ 2 gh 2 p A '=p a +ρ 2 gh 于是p a+ρ1gh1+ρ2gh2=p a+ρ2gh 简化上式并将已知值代入,得 800×+1000×=1000h 解得h= 【例1-4】如本题附图所示,在异径水平管段两截面(1-1'、2-2’)连一倒置U管压差计,压差计读数R=200mm。试求两截面间的压强差。 解:因为倒置U管,所以其指示液应为水。设空气和水的密度分别为ρg与ρ,根据流体静力学基本原理,截面a-a'为等压面,则 p a =p a ' 又由流体静力学基本方程式可得 p a =p 1 -ρgM

离散数学第四章二元关系和函数知识点总结

集合论部分 第四章、二元关系和函数 集合的笛卡儿积与二元关系有序对 定义由两个客体x 和y,按照一定的顺序组成的 二元组称为有序对,记作 实例:点的直角坐标(3,4) 有序对性质 有序性 (当x y时) 相等的充分必要条件是= x=u y=v 例1 <2, x+5> = <3y4, y>,求x, y. 解 3y 4 = 2, x+5 = y y = 2, x = 3 定义一个有序n (n3) 元组 是一个 有序对,其中第一个元素是一个有序n-1元组,即 = < , x n> 当n=1时, 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组. 笛卡儿积及其性质 定义设A,B为集合,A与B 的笛卡儿积记作A B,即A B ={ | x A y B } 例2 A={1,2,3}, B={a,b,c} A B ={<1,a>,<1,b>,<1,c>,<2,a>,<2,b>,<2,c>, <3,a>,<3,b>,<3,c>} B A ={,,,,,, , ,} A={}, P(A)A={<,>, <{},>} 性质:

不适合交换律A B B A (A B, A, B) 不适合结合律 (A B)C A(B C) (A, B)对于并或交运算满足分配律 A(B C)=(A B)(A C) (B C)A=(B A)(C A) A(B C)=(A B)(A C) (B C)A=(B A)(C A) 若A或B中有一个为空集,则A B就是空集. A=B= 若|A|=m, |B|=n, 则 |A B|=mn 证明A(B C)=(A B)(A C) 证任取 ∈A×(B∪C) x∈A∧y∈B∪C x∈A∧(y∈B∨y∈C) (x∈A∧y∈B)∨(x∈A∧y∈C) ∈A×B∨∈A×C ∈(A×B)∪(A×C) 所以有A×(B∪C) = (A×B)∪(A×C). 例3 (1) 证明A=B C=D A C=B D (2) A C=B D是否推出A=B C=D 为什么 解 (1) 任取 A C x A y C x B y D B D (2) 不一定. 反例如下: A={1},B={2}, C=D=, 则A C=B D 但是A B.

离散数学例题整理

第一章 定律证明: (1) A?B=B?A (交换律) 证?x x∈A?B ? x∈A 或x∈B, 自然有x∈B 或x∈A ? x∈B?A 得证A?B?B?A. 同理可证B?A?A?B. (2) A?(B?C)=(A?B)?(A?C) (分配律) 证?x x∈A?(B?C) ? x∈A或(x∈B且x∈C ) ?(x∈A或x∈B)且(x∈A或x∈C) ?x∈(A?B)?(A?C) 得证A?(B?C)?(A?B)?(A?C). 类似可证(A?B)?(A?C)?A?(B?C). (3) A?E=E (零律) 证根据并的定义, 有E?A?E. 根据全集的定义, 又有A? E?E. (4) A?E=A (同一律) 证根据交的定义, 有A?E?A. 又, ?x x∈A, 根据全集E的定义, x∈E, 从而x∈A且x∈E, ?x∈A?E 得证A?A?E. 例4 证明A?(A?B)=A(吸收律) 证利用例3证明的4条等式证明 A?(A?B) = (A?E)?(A?B) (同一律) = A?(E?B) (分配律) = A?(B?E) (交换律) = A?E (零律) = A (同一律) 例5 证明(A-B)-C=(A-C)-(B-C) 证(A-C)-(B-C) = (A ?~C) ? ~(B ? ~C) (补交转换律) = (A ?~C) ? (~B ? ~~C) (德摩根律) = (A ?~C) ? (~B ? C) (双重否定律) = (A ?~C? ~B)?(A ?~C? C) (分配律) = (A ?~C? ~B)?(A ??) (矛盾律) = A ?~C? ~B (零律,同一律) = (A ?~B) ? ~C (交换律,结合律)

中国石油大学大学《离散数学》期末复习题及答案

《离散数学》期末复习题 一、填空题(每空2分,共20分) 1、集合A上的偏序关系的三个性质是、 和。 2、一个集合的幂集是指。 3、集合A={b,c},B={a,b,c,d,e},则A?B= 。 4、集合A={1,2,3,4},B={1,3,5,7,9},则A?B= 。 5、若A是2元集合, 则2A有个元素。 6、集合A={1,2,3},A上的二元运算定义为:a* b = a和b两者的最大值,则 2*3= 。 7、设A={a, b,c,d }, 则∣A∣= 。 8、对实数的普通加法和乘法,是加法的幂等元, 是乘法的幂等元。 9、设a,b,c是阿贝尔群的元素,则-(a+b+c)= 。 10、一个图的哈密尔顿路是。 11、不能再分解的命题称为,至少包含一个联结词的命题称 为。 12、命题是。 13、如果p表示王强是一名大学生,则┐p表示。 14、与一个个体相关联的谓词叫做。 15、量词分两种:和。 16、设A、B为集合,如果集合A的元素都是集合B的元素,则称A是B 的。 17、集合上的三种特殊元是、 及。 18、设A={a, b},则ρ(A) 的四个元素分别 是:,,,。

19、代数系统是指由及其上的或 组成的系统。 20、设是代数系统,其中是*1,*2二元运算符,如果*1,*2都满 足、,并且*1和*2满足,则称是格。 21、集合A={a,b,c,d},B={b },则A \ B= 。 22、设A={1, 2}, 则∣A∣= 。 23、在有向图中,结点v的出度deg+(v)表示,入度deg-(v)表示 以。 24、一个图的欧拉回路是。 25、不含回路的连通图是。 26、不与任何结点相邻接的结点称为。 27、推理理论中的四个推理规则 是、、、。 二、判断题(每题2分,共20分) 1、空集是唯一的。 2、对任意的集合A,A包含A。 3、恒等关系不是对称的,也不是反对称的。 4、集合{1,2,3,3}和{1,2,2,3}是同一集合。 5、图G中,与顶点v关联的边数称为点v的度数,记作deg(v)。 6、在实数集上,普通加法和普通乘法不是可结合运算。 7、对于任何一命题公式,都存在与其等价的析取范式和合取范式。 8、设(A,*)是代数系统,a∈A,如果a*a=a,则称a为(A,*)的等幂元。 9、设f:A→B,g:B→C。若f,g都是双射,则gf不是双射。 10、无向图的邻接矩阵是对称阵。 11、一个集合不可以是另一个集合的元素。 12、映射也可以称为函数,是一种特殊的二元关系。 13、群中每个元素的逆元都不是惟一的。

离散数学知识点整理

离散数学 一、逻辑和证明 1.1命题逻辑 命题:是一个可以判断真假的陈述句。 联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。

谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。 当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。 1.6推理规则 一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证

二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。 A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。 考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。 一对一或者单射:B可能有多余的元素,但不重复指向。 映上或者满射:B中没有多余的元素,但可能重复指向。 一一对应或者双射:符合上述两种情况的函数关系。 反函数:如果是一一对应的就有反函数,否则没有。 合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。 2.4序列 无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的,则A∪B也是可数的。

离散数学题目大汇总

离散数学试题一(A 卷答案) 一、(10分)证明(A ∨B )(P ∨Q ),P ,(B A )∨P A 。 二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛,下列4 种判断都是正确的: (1)甲和乙只有一人参加; (2)丙参加,丁必参加; (3)乙或丁至多参加一人; (4)丁不参加,甲也不会参加。 请推出哪两个人参加了围棋比赛。 三、(10分)指出下列推理中,在哪些步骤上有错误为什么给出正确的推理形式。 (1)x (P (x ) Q (x )) P (2)P (y )Q (y ) T (1),US (3)xP (x ) P (4)P (y ) T (3),ES (5)Q (y ) T (2)(4),I (6)xQ (x ) T (5),EG 四、(10分)设A ={a ,b ,c},试给出A 上的一个二元关系R ,使其同时不满足自反性、反自反性、 五、(15分)设函数g :A →B ,f :B →C , (1)若f o g 是满射,则f 是满射。 (2)若f o g 是单射,则g 是单射。 六、(15分)设R 是集合A 上的一个具有传递和自反性质的关系,T 是A 上的关系,使得T R 且R ,证明T 是一个等价关系。 七、(15分)若是群,H 是G 的非空子集,则的子群对任意的a 、b ∈H 有 a * b -1∈H 。 八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。 (2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗 离散数学试题一(B 卷答案) 一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。设F 表示灯亮。 u v w

山东大学离散数学题库及答案

《离散数学》题库答案 一、选择或填空 (数理逻辑部分) 1、下列哪些公式为永真蕴含式?( ) (1)?Q=>Q →P (2)?Q=>P →Q (3)P=>P →Q (4)?P ∧(P ∨Q)=>?P 答:(1),(4) 2、下列公式中哪些是永真式?( ) (1)(┐P ∧Q)→(Q →?R) (2)P →(Q →Q) (3)(P ∧Q)→P (4)P →(P ∨Q) 答:(2),(3),(4) 3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P ∧Q (2) P ∧Q=>P (3) P ∧Q=>P ∨Q (4)P ∧(P →Q)=>Q (5) ?(P →Q)=>P (6) ?P ∧(P ∨Q)=>?P 答:(2),(3),(4),(5),(6) 4、公式 x((A(x) B(y ,x)) z C(y ,z))D(x)中,自由变元是( ),约束变元是( )。 答:x,y, x,z 5、判断下列语句是不是命题。若是,给出命题的真值。( ) (1) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。 (5) 前进! (6) 给我一杯水吧! 答:(1) 是,T (2) 是,F (3) 不是 (4) 是,T (5) 不是 (6) 不是 6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。 答:所有人都不是大学生,有些人不会死 7、设P :我生病,Q :我去学校,则下列命题可符号化为( )。 (1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校 (3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校 答:(1) P Q →? (2) Q P ?→ (3) Q P ?? (4)Q P →? 8、设个体域为整数集,则下列公式的意义是( )。 (1) x y(x+y=0) (2) y x(x+y=0) 答:(1)对任一整数x 存在整数 y 满足x+y=0(2)存在整数y 对任一整数x 满足x+y=0 9、设全体域D 是正整数集合,确定下列命题的真值: (1) x y (xy=y) ( ) (2) x y(x+y=y) ( ) (3) x y(x+y=x) ( ) (4) x y(y=2x) ( ) 答:(1) F (2) F (3)F (4)T 10、设谓词P(x):x 是奇数,Q(x):x 是偶数,谓词公式 x(P(x)Q(x))在哪个个体域中为真?( ) (1) 自然数 (2) 实数 (3) 复数 (4) (1)--(3)均成立 答:(1) 11、命题“2是偶数或-3是负数”的否定是( )。 答:2不是偶数且-3不是负数。 12、永真式的否定是( ) (1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能 答:(2) 13、公式(?P ∧Q)∨(?P ∧?Q)化简为( ),公式 Q →(P ∨(P ∧Q))可化简为( )。 答:?P ,Q →P

化工原理习题

一流体流动 流体密度计算 1.1在讨论流体物性时,工程制中常使用重度这个物理量,而在SI制中却常用密度这个物理量,如水的重度为1000[kgf/m3],则其密度为多少[kg/m3]? 1.2燃烧重油所得的燃烧气,经分析测知,其中含8.5%CO2,7.5%O2,76%N2,8%水蒸气(体积%),试求温度为500℃,压强为1atm时该混合气的密度。 1.3已知汽油、轻油、柴油的密度分别为700[kg/m3]、760[kg/m3]和900[kg/m3] 。试根据以下条件分别计算此三种油类混合物的密度(假设在混合过程中,总体积等于各组分体积之和)。 (1)汽油、轻油、柴油的质量百分数分别是20%、30%和50%; (2)汽油、轻油、柴油的体积百分数分别是20%、30%和50%。 绝压、表压、真空度的计算 1.4在大气压力为760[mmHg]的地区,某设备真空度为738[mmHg],若在大气压为655[mmHg]的地区使塔内绝对压力维持相同的数值, 则真空表读数应为多少? 静力学方程的应用 1.5如图为垂直相距1.5m的两个容器,两容器中所盛液体为水,连接两容器的U型压差计读数R为500[mmHg],试求两容器的压差为多少?ρ水银=13.6×103[kg/m3] 1.6容器A.B分别盛有水和密度为900[kg/m3]的酒精,水银压差计读数R为15mm,若将指示液换成四氯化碳(体积与水银相同),压差计读数为若干? ρ水银=13.6×103[kg/m3] 四氯化碳密度ρccl4=1.594×103 [kg/m3] 习题 5 附图习题 6 附图 1.7用复式U管压差计测定容器中的压强,U管指示液为水银,两U管间的连接管内充满水。已知图中h1= 2.3m,h2=1.2m,h3=2.5m,h4=1.4m,h5=3m。大气压强P0=745[mmHg],试求容器中液面上方压强P C=? 1.8如图所示,水从倾斜管中流过,在断面A和B间接一空气压差计,其读数R=10mm,两测压点垂直距离 a=0.3m,试求A,B两点的压差等于多少? 流量、流速计算 1.9密度ρ=892Kg/m3的原油流过图示的管线,进入管段1的流量为V=1.4×10-3 [m3/s]。计算: (1)管段1和3中的质量流量; (2)管段1和3中的平均流速; (3)管段1中的质量流速。 1.10某厂用Φ125×4mm的钢管输送压强P=20at(绝压)、温度t=20℃的空气,已知流量为6300[Nm3/h] (标准状况下体积流量)。试求此空气在管道中的流速、质量流量和质量流速。 (注:at为工程大气压,atm为物理大气压)。 1.11压强为1atm的某气体在Φ76×3mm的管内流动,当气体压强变为5atm时,若要求气体以同样的温度、流速、质量流量在管内流动,问此时管内径应为若干?

离散数学第二章一阶逻辑知识点总结

数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x

存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中

化工原理计算题例题

三 计算题 1 (15分)在如图所示的输水系统中,已知 管路总长度(包括所有当量长度,下同)为 100m ,其中压力表之后的管路长度为80m , 管路摩擦系数为0.03,管路内径为0.05m , 水的密度为1000Kg/m 3,泵的效率为0.85, 输水量为15m 3/h 。求: (1)整个管路的阻力损失,J/Kg ; (2)泵轴功率,Kw ; (3)压力表的读数,Pa 。 解:(1)整个管路的阻力损失,J/kg ; 由题意知, s m A V u s /12.2) 4 05.03600(15 2 =??==π 则kg J u d l h f /1.1352 12.205.010003.022 2=??=??=∑λ (2)泵轴功率,kw ; 在贮槽液面0-0′与高位槽液面1-1′间列柏努利方程,以贮槽液面为基准水平面,有: ∑-+++=+++10,1 21020022f e h p u gH W p u gH ρ ρ 其中, ∑=kg J h f /1.135, u 0= u 1=0, p 1= p 0=0(表压), H 0=0, H=20m 代入方程得: kg J h gH W f e /3.3311.1352081.9=+?=+=∑ 又 s kg V W s s /17.410003600 15 =?= =ρ 故 w W W N e s e 5.1381=?=, η=80%, kw w N N e 727.11727===η 2 (15分)如图所示,用泵将水从贮槽送至敞口高位槽,两槽液面均恒定 不变,输送管路尺寸为φ83×3.5mm ,泵的进出口管道上分别安装有真空表和压力表,真空表安装位置离贮槽的水面高度H 1为4.8m ,压力表安装位置离贮槽的水面高度H 2为5m 。当输水量为36m 3/h 时,进水管道全部阻力损失为1.96J/kg ,出水管道全部阻力损失为4.9J/kg ,压力表读数为2.452×

相关文档
最新文档