离散数学习题解答
02324离散数学(课后习题解答(详细)
离散数学~习题1.11.下列句子中，哪些是命题？哪些不是命题？如果是命题，指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷21+3＜5。
⑸老王是山东人或河北人。
⑹2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以 。
⑾只有6是偶数，3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨，他就乘班车上班。
解：⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题，其中⑴⑶⑽⑾是真命题，⑷⑹⑿是假命题，⑸⑺⒀的真值目前无法确定；⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷，所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影，那么我也不看电影。
⑺我既不看电视也不外出，我在睡觉。
⑻除非天下大雨，否则他不乘班车上班。
解：⑴本命题为原子命题；⑵p：天气冷；q：我穿羽绒服；⑶p：天在下雨；q：湿度很高；⑷p：刘英上山；q：李进上山；⑸p：王强学过法语；q：刘威学过法语；⑹p：你看电影；q：我看电影；⑺p：我看电视；q：我外出；r：我睡觉；⑻p：天下大雨；q：他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭，一面听音乐。
⑵3是素数或2是素数。
⑶若地球上没有树木，则人类不能生存。
⑷8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数，则a+b是偶数。
解：⑴p：他吃饭；q：他听音乐；原命题符号化为：p∧q⑵p：3是素数；q：2是素数；原命题符号化为：p∨q⑶p：地球上有树木；q：人类能生存；原命题符号化为：⌝p→⌝q⑷p：8是偶数；q：8能被3整除；原命题符号化为：p↔q⑸p：停机；q：语法错误；r：程序错误；原命题符号化为：q∨r→p⑹p：四边形ABCD是平行四边形；q：四边形ABCD的对边平行；原命题符号化为：p↔q。
《离散数学》 习题解答
离散数学习题解 ∨(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨ m7 ⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7 ⇔ ∑(0, 1, 2, 3, 4, 5, 7). 两个公式的主吸取范式不同, 所以(p→q) →rk q→ (p→r).
离散数学习题解 ⇔¬ ((p→q) ∧ (q→p)) ⇔¬ ((¬p∨q) ∧ (¬q∨p)) ⇔ (p∧¬q) ∨ (q∧¬p) ⇔ (p∨q) ∧ (p∨¬p) ∧ (¬q∨q) ∧ (¬p∨¬q) ⇔ (p∨q) ∧¬ (p∧q) (4) (p∧¬q) ∨ (¬p∧q) ⇔ (p∨¬p) ∧ (p∨q) ∧ (¬q∨¬p) ∧ (¬q∨q) ⇔ (p∨q) ∧¬ (p∧q) 2.5. 求下列公式的主析取范式, 并求成真赋值: (1)( ¬p→q) → (¬q∨p) (2) ¬ (p→q) ∧q∧r (3)(p∨ (q∧r)) → (p∨q∨r) (1)(¬p→q) → (¬q∨p) ⇔ ¬(p∨q) ∨ (¬q∨p) ⇔ ¬p∧¬q ∨ ¬q ∨ p⇔ ¬p∧¬q ∨ ¬q ∨ p(吸收律)⇔ (p¬∨p)¬∧q ∨ p∧(q¬∨q) ⇔ p¬∧q ¬∨p¬∧q ∨ p∧q ∨ p¬∧q ⇔ m10 ∨ m00 ∨ m11 ∨ m10 ⇔ m0 ∨ m2 ∨ m3 ⇔ ∑(0, 2, 3). 成真赋值为 00, 10, 11. (2)主析取范式为 0, 无成真赋值, 为矛盾式. (3)m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式. 2.6. 求下列公式的主合取范式, 并求成假赋值: (1) ¬ (q→¬p) ∧¬p (2)(p∧q) ∨ (¬p∨r) (3)(p→ (p∨q)) ∨r (1) ¬ (q¬→p) ∧ ¬p ⇔ ¬(¬q¬∨p) ∧ ¬p ⇔ q∧p ∧ ¬p ⇔ q∧0 ⇔0 ⇔ M0∧M1∧M2∧M3 这是矛盾式. 成假赋值为 00, 01, 10, 11. (2)M4, 成假赋值为 100. (3)主合取范式为 1, 为重言式.
离散数学(第二版)最全课后习题答案详解
（1）
（2）
p
（3）
（4）
（5）
（6）
（7）
.
解：（1）
p
q
r
0
0
0
1
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
0
1
1
1
此式为重言式
（2）
p
q
0
0
0
1
1
0
1
1
此式为可满足式
（3）
q
r
0
0
0
1
1
0
1
1
此式为矛盾式
（4）
p
q
0
0
0
1
1
0
1
1
此式为重言式
（5）
p
q
r
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1 1 1
（10） 圆的面积等于半径的平方乘以 π .
答：此命题是简单命题，其真值为 1. （11） 只有 6 是偶数，3 才能是 2 的倍数. 答：是命题，但不是简单命题，其真值为 0. （12） 8 是偶数的充分必要条件是 8 能被 3 整除. 答：是命题，但不是简单命题，其真值为 0. （13） 2008 年元旦下大雪. 答：此命题是简单命题，其真值还不知道. 2.将上题中是简单命题的命题符号化. 解:（1）p：中国有四大发明.
5.将下列命题符号化，并指出真值. （1）2 或 3 是偶数. （2）2 或 4 是偶数. （3）3 或 5 是偶数. （4）3 不是偶数或 4 不是偶数. （5）3 不是素数或 4 不是偶数.
离散数学课后习题答案_屈婉玲(高等教育出版社)
第一章部分课后习题参考答案16设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)⇔0∨(0∧1)⇔0（2）（p↔r）∧(﹁q∨s)⇔（0↔1）∧(1∨1)⇔0∧1⇔0.（3）（⌝p∧⌝q∧r）↔(p∧q∧﹁r)⇔（1∧1∧1）↔(0∧0∧0)⇔0(4)（⌝r∧s）→(p∧⌝q)⇔（0∧1）→(1∧0)⇔0→0⇔117．判断下面一段论述是否为真：“π是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”答：p:π是无理数1q:3是无理数0r:2是无理数1s:6能被2整除1t:6能被4整除0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。
19．用真值表判断下列公式的类型：（4）(p→q)→(⌝q→⌝p)（5）(p∧r)↔(⌝p∧⌝q)（6）((p→q)∧(q→r))→(p→r)答：（4）p q p→q⌝q⌝p⌝q→⌝p(p→q)→(⌝q→⌝p)0011111011011110010011110011所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1)⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r（p∨q）→(p∧r)000001001001010100011100100100101111110100111111所以公式类型为可满足式4.用等值演算法证明下面等值式：(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q)∧⌝(p∧q)证明（2）(p→q)∧(p→r)⇔(⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)（4）(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q))∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p)∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式：(⌝p→q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q)⇔M 1⇔∏(1)(2)主合取范式为：⌝(p→q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为0(3)主合取范式为：(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明：(2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r)前提引入②⌝q∨⌝r①置换③q→⌝r②蕴含等值式④r前提引入⑤⌝q③④拒取式⑥p→q前提引入⑦￢p（3）⑤⑥拒取式证明（4）：①t∧r前提引入②t①化简律③q↔s前提引入④s↔t前提引入⑤q↔t③④等价三段论⑥（q→t）∧(t→q)⑤置换⑦（q→t）⑥化简⑧q②⑥假言推理⑨q→p前提引入⑩p⑧⑨假言推理(11)p∧q⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s附加前提引入②s→p前提引入③p①②假言推理④p→(q→r)前提引入⑤q→r③④假言推理⑥q前提引入⑦r⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p结论的否定引入②p→﹁q前提引入③﹁q①②假言推理④￢r∨q前提引入⑤￢r④化简律⑥r∧￢s前提引入⑦r⑥化简律⑧r∧﹁r⑤⑦合取由于最后一步r∧﹁r是矛盾式,所以推理正确.第四章部分课后习题参考答案3.在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1)对于任意x,均有2=(x+)(x).(2)存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x):2=(x+)(x ).G(x):x+5=9.(1)在两个个体域中都解释为)(x xF ∀，在（a）中为假命题，在(b)中为真命题。
离散数学课后习题答案
1-1，1-2（1） 解：a) 是命题，真值为T。
b) 不是命题。
c) 是命题，真值要根据具体情况确定。
d) 不是命题。
e) 是命题，真值为T。
f) 是命题，真值为T。
g) 是命题，真值为F。
h) 不是命题。
i) 不是命题。
（2） 解：原子命题：我爱北京天安门。
A（3） 解：a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q（4） 解：a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
（Q→R）∧(R→Q):一个数是奇数，则它不能被2整除并且一个数不能被2整除，则它是奇数。
(5) 解：a) 设P：王强身体很好。
Q：王强成绩很好。
P∧Qb) 设P：小李看书。
Q：小李听音乐。
P∧Qc) 设P：气候很好。
Q：气候很热。
P∨Qd) 设P： a和b是偶数。
Q：a+b是偶数。
P→Qe) 设P：四边形ABCD是平行四边形。
Q ：四边形ABCD的对边平行。
PQf) 设P：语法错误。
Q：程序错误。
R：停机。
（P∨ Q）→ R(6) 解：a) P:天气炎热。
Q:正在下雨。
P∧Qb) P:天气炎热。
R:湿度较低。
P∧Rc) R:天正在下雨。
S:湿度很高。
R∨Sd) A:刘英上山。
B:李进上山。
A∧Be) M:老王是革新者。
N:小李是革新者。
M∨Nf) L:你看电影。
M:我看电影。
┓L→┓Mg) P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh) P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3（1）解：a) 不是合式公式，没有规定运算符次序（若规定运算符次序后亦可作为合式公式）b) 是合式公式c) 不是合式公式（括弧不配对）d) 不是合式公式（R和S之间缺少联结词）e) 是合式公式。
（2）解：a） A是合式公式，(A∨B)是合式公式，(A→(A∨B)) 是合式公式。
离散数学习题解答)
离散数学习题解答-（)————————————————————————————————作者：————————————————————————————————日期：ﻩ第七章图7.1 图的基本知识定义８.8设图G＝<V，Ｅ，Ψ >(１）Ｇ－e表示对G作删除边e的运算，Ｇ－e =<Ｖ,E’，Ψ’>，其中E’＝Ｅ-｛ｅ｝,Ψ’= Ψ↑E’。
（2）G-v表示对G作删除顶点v的运算，G－ｖ= <V’,Ｅ’,Ψ’>，其中V’= V-{v}，E’＝E-{e |e以v为端点}，Ψ’＝Ψ↑E’。
（３）边e切割运算。
设Ｇ中Ψ (e) =(u,v)，对G作边ｅ切割得G’＝<Ｖ’，E’，Ψ’>，其中，Ｖ’＝V⋃{v’｝,E’= (E-｛e}）⋃{e１,ｅ2}，Ψ’= （Ψ-{<e,(u,ｖ)>})⋃{<e1, (u,ｖ’）＞,<e2,(v’,v）>}(４)顶点v贯通运算。
设Ｇ中顶点ｖ恰为边e1,ｅ２的端点,且Ψ (e1) ＝(u,v)，Ψ（e2) =（ｗ，v)。
对G作顶点ｖ贯通得G’=<V’，E’，Ψ’>,其中V’=V-｛ｖ},Ｅ’＝(E－｛e1,ｅ2｝)⋃{e}, Ψ’=( Ψ－{<ｅ1,(u,v)>，<e2，(w，v）＞})⋃{＜e, (u,ｗ)>}。
切割与贯通是互逆的,两者常被称为同胚运算。
定义8.９设G1＝<V１，E1,Ψ1>,Ｇ2=<V2，E2，Ψ2>为两个图，称Ｇ1与G２同构(isomorphic),如果存在双射ｆ:Ｖ1→V2,双射g：E1→Ｅ２，使得对每一边ｅ∈Ｅ1, Ψ1(ｅ)＝(u,ｖ）（或<u,ｖ>)当且仅当Ψ2（g(e)) = (f(u），f(v))(或＜f（u)，ｆ(v)>) 当限于讨论简单图时,可以用顶点的偶对表示边,即当Ψ(e)＝(ｕ,v)时，边e用(u,v)来表示。
离散数学(左孝凌.刘永才)课后习题解答上海科学技术文献出版社
习题1.11. 下列句子中，哪些是命题？哪些不是命题？如果是命题，指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷ 21+3＜5。
⑸老王是山东人或河北人。
⑹ 2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以π。
⑾只有6是偶数，3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨，他就乘班车上班。
解：⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题，其中⑴⑶⑽⑾是真命题，⑷⑹⑿是假命题，⑸⑺⒀的真值目前无法确定；⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷，所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影，那么我也不看电影。
⑺我既不看电视也不外出，我在睡觉。
⑻除非天下大雨，否则他不乘班车上班。
解：⑴本命题为原子命题；⑵p：天气冷；q：我穿羽绒服；⑶p：天在下雨；q：湿度很高；⑷p：刘英上山；q：李进上山；⑸p：王强学过法语；q：刘威学过法语；⑹p：你看电影；q：我看电影；⑺p：我看电视；q：我外出；r：我睡觉；⑻p：天下大雨；q：他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭，一面听音乐。
⑵ 3是素数或2是素数。
⑶若地球上没有树木，则人类不能生存。
⑷ 8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数，则a+b是偶数。
解：⑴p：他吃饭；q：他听音乐；原命题符号化为：p∧q⑵p：3是素数；q：2是素数；原命题符号化为：p∨q⑶p：地球上有树木；q：人类能生存；原命题符号化为：⌝p→⌝q⑷p：8是偶数；q：8能被3整除；原命题符号化为：p↔q⑸p：停机；q：语法错误；r：程序错误；原命题符号化为：q∨r→p⑹p：四边形ABCD是平行四边形；q：四边形ABCD的对边平行；原命题符号化为：p↔q。
离散数学试题总汇及答案
离散数学试题总汇及答案一、单项选择题（每题2分，共20分）1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中，元素(2,4)是否存在？A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的，当且仅当对于任意的a1, a2∈A，若f(a1)=f(a2)，则a1=a2。
A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题？A. 所有的狗都会游泳。
B. 有些狗不会游泳。
C. 所有的狗都不会游泳。
D. 以上都不是真命题。
4. 如果p蕴含q为假，那么p和q的真值可以是？A. p为真，q为假B. p为假，q为真C. p为真，q为真D. p为假，q为假5. 以下哪个图是连通图？A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中，如果存在从顶点u到顶点v的路径，那么称v是u的后继顶点。
A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的？A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题？A. 所有的鸟都有羽毛。
B. 有些鸟不会飞。
C. 所有的哺乳动物都是温血动物。
D. 以上都不是假命题。
9. 在图论中，一个图的生成树是包含图中所有顶点的最小连通子图。
A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题，那么它们具有相同的真值。
A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题（每题2分，共20分）1. 集合{1,2,3}和{3,4,5}的并集是________。
2. 函数f: A→B是满射的，当且仅当对于任意的b∈B，存在a∈A，使得f(a)=________。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
习题一1.下列句子中,哪些是命题？在是命题的句子中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？（1）中国有四大发明.答：此命题是简单命题，其真值为1.（2）5是无理数.答：此命题是简单命题，其真值为1.（3）3是素数或4是素数.答：是命题，但不是简单命题，其真值为1.x+<（4）235答：不是命题.（5）你去图书馆吗？答：不是命题.（6）2与3是偶数.答：是命题，但不是简单命题，其真值为0.（7）刘红与魏新是同学.答：此命题是简单命题，其真值还不知道.（8）这朵玫瑰花多美丽呀！答：不是命题.（9）吸烟请到吸烟室去！答：不是命题.（10）圆的面积等于半径的平方乘以π.答：此命题是简单命题，其真值为1.（11）只有6是偶数，3才能是2的倍数.答：是命题，但不是简单命题，其真值为0.（12）8是偶数的充分必要条件是8能被3整除.答：是命题，但不是简单命题，其真值为0.（13）2008年元旦下大雪.答：此命题是简单命题，其真值还不知道.2.将上题中是简单命题的命题符号化.解:（1）p：中国有四大发明.（2）p:是无理数.（7）p:刘红与魏新是同学.（10）p:圆的面积等于半径的平方乘以π.（13）p:2008年元旦下大雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.（15是有理数.5是无理数.p5是有理数.q5是无理数.其否定式q的真值为1.（2不是无理数.答：是有理数. p 不是无理数. q 是有理数. 其否定式q 的真值为1.（3）2.5是自然数.答：否定式：2.5不是自然数. p ：2.5是自然数. q ：2.5不是自然数. 其否定式q 的真值为1.（4）ln1是整数.答：否定式：ln1不是整数. p ：ln1是整数. q ：ln1不是整数. 其否定式q 的真值为1.4.将下列命题符号化，并指出真值. （1）2与5都是素数答：p ：2是素数，q ：5是素数，符号化为p q ∧，其真值为1.（2）不但π是无理数，而且自然对数的底e 也是无理数.答：p ：π是无理数，q ：自然对数的底e 是无理数，符号化为p q ∧，其真值为1. （3）虽然2是最小的素数，但2不是最小的自然数.答：p ：2是最小的素数，q ：2是最小的自然数，符号化为p q ∧⌝，其真值为1. （4）3是偶素数.答：p ：3是素数，q ：3是偶数，符号化为p q ∧，其真值为0. （5）4既不是素数，也不是偶数.答：p ：4是素数，q ：4是偶数，符号化为p q ⌝∧⌝，其真值为0. 5.将下列命题符号化，并指出真值. （1）2或3是偶数. （2）2或4是偶数. （3）3或5是偶数.（4）3不是偶数或4不是偶数. （5）3不是素数或4不是偶数.答: p ：2是偶数，q ：3是偶数，r :3是素数，s :4是偶数, t :5是偶数 (1) 符号化: p q ∨，其真值为1. (2) 符号化：p r ∨，其真值为1. (3) 符号化：r t ∨，其真值为0. (4) 符号化：q s ⌝∨⌝，其真值为1.(5) 符号化：r s ⌝∨⌝，其真值为0. 6.将下列命题符号化.（1）小丽只能从筐里拿一个苹果或一个梨.答：p ：小丽从筐里拿一个苹果，q ：小丽从筐里拿一个梨，符号化为: p q ∨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课.答：p ：刘晓月选学英语，q ：刘晓月选学日语，符号化为: ()()p q p q ⌝∧∨∧⌝. 7.设p ：王冬生于1971年，q ：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以化答:列出两种符号化的真值表：p q0 0 0 00 1 1 11 0 1 11 1 0 1根据真值表,可以判断出,只有当p与q同时为真时两种符号化的表示才会有不同的真值,但结合命题可以发现,p与q不可能同时为真,故上述命题有两种符号化方式.8.将下列命题符号化,并指出真值.（1）只要,就有；（2）如果,则；（3）只有,才有；（4）除非,才有；（5）除非,否则；（6）仅当.答:设p:,则:;设q:,则:.符号化真值（1） 1（2） 1（3）0（4）0（5）0（6） 19.设p：俄罗斯位于南半球,q：亚洲人口最多,将下面命题用自然语言表述,并指出其真值：（1）；（2）；；（3）；（4）；（5）；（6）；（7）.答:根据题意,p为假命题,q为真命题.自然语言真值（1）只要俄罗斯位于南半球,亚洲人口就最多 1（2）只要亚洲人口最多,俄罗斯就位于南半球0（3）只要俄罗斯不位于南半球,亚洲人口就最多 1（4）只要俄罗斯位于南半球，亚洲人口就不是最多 1（5）只要亚洲人口不是最多，俄罗斯就位于南半球 1（6）只要俄罗斯不位于南半球，亚洲人口就不是最多0（7）只要亚洲人口不是最多，俄罗斯就不位于南半球 1 10．设p：9是3的倍数,q：英国与土耳其相邻,将下面命题用自然语言表述,并指出真值：（1）；（2）；（3）；（4）.答:根据题意,p为真命题,q为假命题.自然语言真值（1）9是3的倍数当且仅当英语与土耳其相邻0（2）9是3的倍数当且仅当英语与土耳其不相邻 1（3）9不是3的倍数当且仅当英语与土耳其相邻 1（4）9不是3的倍数当且仅当英语与土耳其不相邻011．将下列命题符号化,并给出各命题的真值：（1）若2+2=4,则地球是静止不动的；（2）若2+2=4,则地球是运动不止的；（3）若地球上没有树木,则人类不能生存；（4）若地球上没有水,则是无理数.命题1 命题2 符号化真值（1）p:2+2=4 q:地球是静止不动的0 （2）p:2+2=4 q:地球是静止不动的 1 （3）p:地球上有树木q:人类能生存 1 （4）p:地球上有树木q:人类能生存 112.将下列命题符号化,并给出各命题的真值：（1）2+2=4当且仅当3+3=6；（2）2+2=4的充要条件是3+36；（3）2+24与3+3=6互为充要条件；（4）若2+24,则3+36,反之亦然.答:设p:2+2=4,q:3+3=6.符号化真值(1) 1(2) 0(3) 0(4) 113.将下列命题符号化,并讨论各命题的真值：（1）若今天是星期一,则明天是星期二；（2）只有今天是星期一,明天才是星期二；（3）今天是星期一当且仅当明天是星期二；（4）若今天是星期一,则明天是星期三.答:设p:今天是星期一,q:明天是星期二,r:明天是星期三.符号化真值讨论(1) 不会出现前句为真,后句为假的情况(2) 不会出现前句为真,后句为假的情况(3) 必然为1(4) 若p为真,则真值为0;若p为假,则真值为114.将下列命题符号化：（1）刘晓月跑得快,跳得高；（2）老王是山东人或者河北人；（3）因为天气冷,所以我穿了羽绒服；（4）王欢与李乐组成一个小组；（5）李欣与李末是兄弟；（6）王强与刘威都学过法语；（7）他一面吃饭,一面听音乐；（8）如果天下大雨,他就乘班车上班；（9）只有天下大雨,他才乘班车上班；（10）除非天下大雨,否则他不乘班车上班；（11）下雪路滑,他迟到了；（12）2与4都是素数,这是不对的；（13）“2或4是素数,这是不对的”是不对的.答:命题1 命题2 命题3 符号化(1) p:刘晓月跑得快q:刘晓月跳得高-(2) p:老王是山东人q:老王是河北人-(3) p:天气冷q:我穿羽绒服-(4) p:王欢与李乐组成一个小组- -p:王欢与李乐组成一个小组(5) p:李辛与李末是兄弟- - p:李辛与李末是兄弟(6) p:王强学过法语q:刘威学过法语-(7) p:他吃饭q:他听音乐-(8) p:天下大雨q:他乘车上班-(9) p:天下大雨q:他乘车上班-(10) p:天下大雨q:他乘车上班-(11) p:下雪q:路滑r:他迟到了(12) p:2是素数q:4是素数-(13) p:2是素数q:4是素数- 15.设p：2+3=5.q：大熊猫产在中国.r:太阳从西方升起.求下列符合命题的真值：（1）（2）（3）（4）解：p真值为1，q真值为1，r真值为0.（1）0，（2）0，（3）0，（4）116.当p,q的真值为0,r,s的真值为1时,求下列各命题公式的真值：（1）（2）（3）（4）解：（1）0，（2）0，（3）0，（4）117.判断下面一段论述是否为真：“是无理数.并且,如果3是无理数,则也是无理数.另外,只有6能被2整除,6才能被4整除.”解：p:是无理数q: 3是无理数r:是无理数s: 6能被2整除t：6能被4整除符号化为:，该式为重言式，所以论述为真。
18.在什么情况下,下面一段论述是真的:“说小王不会唱歌或小李不会跳舞是正确的,而说如果小王会唱歌,小李就会跳舞是不正确的.”解：p:小王会唱歌。
q:小李会跳舞。
真值为1.真值为0.可得，p真值为1，q真值为0.所以，小王会唱歌，小李不会跳舞。
19.用真值表判断下列公式的类型:（1）（2）p（3）（4）（5）（6）（7）.解：（1）p q r0 0 0 1 0 0 1 1 0 1 0 10 1 1 11 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 此式为重言式（2）p q（p0 0 10 1 01 0 11 1 1此式为可满足式q r0 0 00 1 01 0 01 1 0（4）p q0 0 10 1 11 0 11 1 1此式为重言式（5）p q r0 0 0 0 0 0 1 0 0 1 0 10 1 1 11 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 此式为可满足式（6）p q r0 0 0 10 0 1 10 1 0 10 1 1 11 0 0 11 0 1 11 1 0 11 1 1 1此式为重言式p q r s0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 10 1 0 1 00 1 1 0 00 1 1 1 11 0 0 0 01 0 0 1 01 0 1 0 11 0 1 1 11 1 0 0 11 1 0 1 01 1 1 0 01 1 1 1 1此式为可满足式20.求下列公式的成真赋值：（1）（2）（3）（4）解：p q0 0 0 1 1 00 1 1 0 1 11 0 1 1 1 11 1 1 1 0 1由真值表得：（1）的成真赋值是01，10,11（2）的成真赋值是00，10,11 （3）的成真赋值是00，01,10 （4）的成真赋值是01，10,1121.求下列各公式的成假赋值：（1）（2）（3）解：p q r0 0 0 1 1 10 0 1 1 1 10 1 0 1 0 10 1 1 0 1 11 0 0 1 1 01 0 1 1 1 01 1 0 1 0 11 1 1 1 1 1由真值表得：（1）的成假赋值是011 （2）的成假赋值是010,110（3）的成假赋值是100,10122.已知公式是矛盾式，求公式成真和成假赋值.解：∵是矛盾式∴也是矛盾式。