汽车比火车跑的快。
- 格式:doc
- 大小:210.50 KB
- 文档页数:3
离散数学课后答案习题一6.将下列命题符号化。
(1)小丽只能从框里那一个苹果或一个梨.(2)这学期,刘晓月只能选学英语或日语中的一门外语课.答:(1)(p Λ¬q )ν(¬pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ¬q )ν(¬pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语14.将下列命题符号化.(1) 刘晓月跑得快, 跳得高.(2)老王是山东人或河北人.(3)因为天气冷, 所以我穿了羽绒服.(4)王欢与李乐组成一个小组.(5)李辛与李末是兄弟.(6)王强与刘威都学过法语.(7)他一面吃饭, 一面听音乐.(8)如果天下大雨, 他就乘班车上班.(9)只有天下大雨, 他才乘班车上班.(10)除非天下大雨, 他才乘班车上班.(11)下雪路滑, 他迟到了.(12)2与4都是素数, 这是不对的.(13)“2或4是素数, 这是不对的”是不对的.答:(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.(5)p, 其中, p: 李辛与李末是兄弟.(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.(12) ¬ (p∧q)或¬p∨¬q, 其中, p: 2是素数, q: 4是素数.(13) ¬ ¬ (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数.16.19.用真值表判断下列公式的类型:(1)p→ (p∨q∨r) (2)(p→¬q) →¬q(3) ¬ (q→r) ∧r(4)(p→q) →(¬q→¬p)(5)(p∧r) ↔( ¬p∧¬q)(6)((p→q) ∧ (q→r)) → (p→r)(7)(p→q) ↔ (r↔s)答:(1), (4), (6)为重言式.(3)为矛盾式.(2), (5), (7)为可满足式习题二9.用真值表求下面公式的主析取范式.(1) (pνq)ν(¬pΛr)(2) (p→q) →(¬p↔q)答:(1)(2)p q (p → q) →(¬p ↔ q)0 0 1 0 0 10 1 1 1 1 01 0 0 1 1 11 1 1 0 0 0从真值表可见成真赋值为01, 10.于是(p → q) →(¬p ↔ q) ⇔ m1 ∨ m211.用真值表求下面公式的主析取范式和主合取范式;(1) (pνq)Λr(2) p→(pνqνr)(3) ¬(q→¬p)Λ¬p15.用主析取范式判断下列公式是否等值:(1) (p→q) →r与q→ (p→r)(2) ¬(pΛq)与(¬pνq)答:(1)(p→q) →r ⇔¬(¬p∨q) ∨ r ⇔¬(¬p∨q) ∨ r ⇔ p¬∧q ∨ r ⇔p¬∧q∧(r¬∨r) ∨(p¬∨p) ∧(q¬∨q)∧r ⇔p¬∧q∧r ∨p¬∧q∧¬r ∨ p ∧q∧r ∨ p∧¬q∧r ∨¬p∧q∧r ∨¬p∧¬q∧r = m101 ∨ m100 ∨ m111 ∨m101 ∨ m011 ∨ m001 ⇔m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 = ∑(1, 3, 4, 5, 7).而 q→(p→r) ⇔¬q ∨(¬p∨r) ⇔¬q ∨¬p ∨r ⇔(¬p∨p)¬∧q∧(¬r∨r) ∨¬p∧(¬q∨q)∧(¬r∨r) ∨(¬p∨p)∧(¬q∨q)∧r ⇔(¬p¬∧q∧¬r)∨(¬p¬∧q∧r)∨(p¬∧q∧¬r)∨(p¬∧q∧r) ∨(¬p∧¬q∧¬r)∨(¬p∧¬q∧r)∨(¬p ∧q∧¬r)∨(¬p∧q∧r) ∨(¬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).16. 用主析取范式判断下列公式是否等值:(1)(p→q) →r与q→ (p→r)(2) ¬ (p∧q)与¬ (p∨q)答:(1)(p→q) →r) ⇔m1∨m3∨m4∨m5∨m7q→ (p→r) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7所以(p→q) →r) k q→ (p→r)(2)¬ (p∧q) ⇔m0∨m1∨m2¬ (p∨q) ⇔m0所以¬ (p∧q) k ¬ (p∨q)习题三15.在自然推理系统P中用附加前提法证明下面各推理:(1)前提: p→ (q→r), s→p, q 结论: s→r(2)前提: (p∨q) → (r∧s), (s∨t) →u 结论: p→u答:(1)证明: ① s 附加前提引入② s→p 前提引入③ p ①②假言推理④ p→(q→r) 前提引入⑤ q→r ③④假言推理⑥ q 前提引入⑦ r ⑤⑥假言推理(2)证明: ① P 附加前提引入② p∨q ①附加③ (p∨q) → (r∧s) 前提引入④ r∧s ②③假言推理⑤④化简⑥ s∨t ⑤附加⑦ (s∨t) →u 前提引入⑧ u ⑥⑦假言推理16.在自然推理系统P中用归谬法证明下面推理:(1)前提: p→¬q, ¬r∨q, r∧¬s 结论: ¬p(2)前提: p∨q, p→r, q→s 结论: r∨s答:(1)证明: ① P 结论否定引入② p→¬q 前提引入③¬q ①②假言推理④¬r∨q 前提引入⑤¬r ③④析取三段论⑥ r∧¬s 前提引入⑦ r ⑥化简⑧¬r∧r ⑤⑦合取⑧ 为矛盾式, 由归谬法可知, 推理正确.(2)证明: ①¬ (r∨s) 结论否定引入② p∨q 前提引入③ p→r 前提引入④ q→s 前提引入⑤ r∨s ②③④构造性二难⑥¬ (r∨s) ∧ (r∨s) ①⑤合取⑥为矛盾式, 所以推理正确.18.在自然推理系统P中构造下面推理的证明.(1)如果今天是星期六, 我们就要到颐和园或圆明园去玩. 如果颐和园游人太多, 我们就不去颐和园玩. 今天是星期六. 颐和园游人太多. 所以我们去圆明园玩.(2)如果小王是理科学生, 他的数学成绩一定很好. 如果小王不是文科生, 他必是理科生. 小王的数学成绩不好. 所以小王是文科学生.(1)令 p: 今天是星期六;q: 我们要到颐和园玩;r: 我们要到圆明园玩;s:颐和园游人太多.前提: p→ (q∨r), s →¬q, p, s. 结论: r.证明① p 前提引入② p→q∨r前提引入③q∨r①②假言推理④s前提引入⑤ s →¬q前提引入⑥¬q ④⑤假言推理⑦ r ③⑥析取三段论r ¬q s →¬q sq∨r p→q∨r p(2)令p: 小王是理科生,q: 小王是文科生,r: 小王的数学成绩很好.前提: p→r, ¬q→p, ¬r 结论: q证明:① p→r 前提引入②¬r 前提引入③¬p ①②拒取式④¬q→p 前提引入⑤ q ③④拒取式习题四在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数.(2)在北京卖菜的人不全是外地人.(3)乌鸦都是黑色的.(4)有的人天天锻炼身体. 没指定个体域, 因而使用全总个体域.答:(1) ¬∃x(F(x) ∧¬G(x))或∀x(F(x) →G(x)), 其中, F(x): x为有理数, G(x): x能表示成分数.(2) ¬∀x(F(x) →G(x))或∃x(F(x) ∧¬G(x)), 其中, F(x): x在北京卖菜,G(x): x是外地人.(3) ∀x(F(x) →G(x)), 其中, F(x): x是乌鸦, G(x): x是黑色的.(4) ∃x(F(x) ∧G(x)), 其中, F(x): x是人, G(x): x天天锻炼身体.5. 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快.(2)有的火车比有的汽车快.(3)不存在比所有火车都快的汽车.(4)“凡是汽车就比火车慢”是不对的.答:因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y)), 其中, F(x): x是火车, G(y): y是轮船, H(x,y):x比y快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y)), 其中, F(x): x是火车, G(y): y是汽车, H(x,y):x比y快.(3) ¬∃x(F(x) ∧∀y(G(y) →H(x,y))) 或∀x(F(x) →∃y(G(y) ∧¬H(x,y))), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y快.(4) ¬∀x∀y(F(x) ∧G(y) →H(x,y)) 或∃x∃y(F(x) ∧G(y) ∧¬H(x,y) ), 其中, F(x): x是汽车, G(y): y是火车, H(x,y):x比y慢.9.给定解释I如下:(a)个体域DI为实数集合\.(b)DI中特定元素⎯a =0.(c)特定函数⎯f (x,y)=x−y, x,y∈DI.(d)特定谓词⎯F(x,y): x=y,⎯G(x,y): x<y, x,y∈DI.说明下列公式在I下的含义, 并指出各公式的真值:(1) ∀x∀y(G(x,y) →¬F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →¬F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))答:(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x−y=0) →x<y), 真值为0.(3) ∀x∀y((x<y) → (x−y≠0)), 真值为1.(4) ∀x∀y((x−y<0) → (x=y)), 真值为0.习题五5.给定解释I如下:(a) 个体域D={3,4}.(b)⎯f (x)为⎯f (3)=4,⎯f (4)=3.(c)⎯F(x,y)为⎯F(3,3)=⎯F(4,4)=0,⎯F(3,4)=⎯F(4,3)=1.试求下列公式在I下的真值:(1) ∀x∃yF(x,y)(2) ∃x∀yF(x,y)(3) ∀x∀y(F(x,y) →F(f(x),f(y)))答:(1) ∀x∃yF(x,y)⇔(F(3,3)∨F(3,4))∧(F(4,3)∨F(4,4))⇔(0∨1)∧(1∨0) ⇔1(2)∃x∀yF(x,y)⇔(F(3,3)∧F(3,4))∨(F(4,3)∧F(4,4))⇔(0∧1)∨(1∧0)⇔0(3)∀x∀y(F(x,y)→F(f(x),f(y)))⇔(F(3,3)→F(f(3),f(3)))∧(F(4,3)→F(f(4),f(3)))∧(F(3,4)→F(f(3),f(4)))∧(F(4,4)→F(f(4),f(4))) ⇔ (0→0)∧(1→1)∧(1→1)∧(0→0)⇔112.求下列各式的前束范式.(1) ∀xF(x) →∀yG(x, y);(3) ∀xF(x, y) ↔∃xG(x, y);答:前束范式不是唯一的.(1) ∀xF(x) →∀yG(x, y) ⇔∃x(F(x) →∀yG(x, y))⇔∃x∀y(F(x) → G(x, y)).(3) ∀xF(x, y) ↔∃xG(x, y) ⇔ (∀xF(x, y) →∃xG(x, y)) ∧ (∃xG(x, y) →∀xF(x, y)) ⇔ (∀x1F(x1, y) →∃x2G(x2, y)) ∧ (∃x3G(x3, y) →∀x4F(x4, y)) ⇔∃x1∃x2(F(x1, y) → G(x2, y)) ∧∀x3∀x4(G(x3, y) → F(x4, y)) ⇔∃x1∃x2∀x3∀x4((F(x1, y) → G(x2, y)) ∧ (G(x3, y) → F(x4, y))).13.将下列命题符号化, 要求符号化的公式全为前束范式:(1) 有的汽车比有的火车跑得快.(2) 有的火车比所有的汽车跑得快.(3) 说所有的火车比所有的汽车跑得快是不对的.(4) 说有的飞机比有的汽车慢是不对的.答:(1)令F(x):x是汽车,G(y):y是火车,H(x,y):x比y跑得快.∃x(F(x)∧∃y(G(y)∧H(x,y))⇔∃x∃y(F(x)∧G(y)∧H(x, y)).(2)令F(x):x是火车, G( y): y 是汽车,H(x,y):x比y跑得快.∃x(F(x)∧∀y(G(y)→ H(x,y)))⇔∃x∀y(F(x)∧(G y)→H(x,y))).;错误的答案:∃x∀y(F(x)∧G(y)→H(x,y)).(3)令F(x):x是火车,G(y):y是汽车,H(x,y):x比y跑得快.¬∀x(F(x)→∀y(G(y)→H(x,y)))⇔¬∀x∀y(F(x)→(G(y)→H(x,y)))⇔¬∀x∀y(F(x)∧G(y)→H(x,y))(不是前束范式)⇔∃x∃y(F(x)∧G(y)∧H(x,y)).(4)令F(x):x是飞机,G(y):y是汽车,H(x,y):x比y跑得慢.¬∃x(F(x)∧∃y(G(y)∧H(x,y)))⇔¬∃x∃y(F(x)∧G(y)∧H(x,y))(不是前束范式)⇔∀x∀y¬(F(x)∧G(y)∧H(x,y))⇔∀x∀y(F(x)∧G(y)→¬H(x,y)).21.24.在自然推理系统F中, 构造下面推理的证明:每个喜欢步行的人都不喜欢骑自行车. 每个人或者喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车, 所以有的人不喜欢步行. (个体域为人类集合) 答:令 F(x): x 喜欢步行, G( x): x喜欢骑自行车, H(x): x 喜欢乘汽车.前提:∀x(F(x)→¬G(x)), ∀x(G(x)∨H(y)),∃x¬H(x).结论:∃x¬F(x).② ∀x(G(x) ∨ H(y)) 前提引入② G(c) ∨ H(c) ①UI③∃x¬H(x) 前提引入④¬H(c) ③UI⑤ G(c) ②④析取三段⑥∀x(F(x) →¬G(x)) 前提引入⑦ F(c) →¬G(c) ⑥UI⑧¬F(c) ⑤⑦拒取⑨∃x¬F(x) ⑧EG习题七12.设A={0, 1, 2, 3}, R是A上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2,1〉, 〈2, 3〉, 〈3, 2〉} 给出R的关系矩阵和关系图.16.设A={a,b,c,d}, R1,R2为A上的关系, 其中R1={〈a,a〉,〈a,b〉,〈b,d〉}R2={〈a,d〉,〈b,c〉,〈b,d〉,〈c,b〉} 求R1·R2, R2·R1,R1²,R2³. R1·R2={〈a,a〉,〈a,c〉,〈a,d〉},R2·R1={〈c,d〉}, R1²={〈a,a〉,〈a,b〉,〈a,d〉},R2³={〈b,c〉,〈b,d〉,〈c,b〉}20.设R1和R2为A上的关系,证明: (1)(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1答:(1)(R1∪R2)−1=R1−1∪R2−1任取〈x,y〉〈x,y〉(∈R1∪R2)−1⇔〈y,x〉(∈R1∪R2)⇔〈y,x〉∈R1∨ (y,x)∈R2)⇔〈x,y〉∈R1−1∨〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∨R2−1所以(R1∪R2) −1=R1−1∪R2−1(2)(R1∩R2) −1=R1−1∩R2−1 任取〈x,y〉〈x,y〉(∈R1∩R2) −1⇔〈y,x〉(∈R1∩R2)⇔〈y,x〉∈R1∧ (y,x)∈R2)⇔〈x,y〉∈R1−1∧〈x,y〉∈R2−1⇔〈x,y〉∈R1−1∧R2−1所以(R1∪R2) −1=R1−1∩R2−126.33.43.16.47.。
第七单元达标测试卷一、填空题。
(每空2分,共26分)1.根据图中信息回答问题:(1)售出图书最多的一天比最少的一天多售出( )册;(2)星期五售出的图书册数是星期四的( )。
(填分数)2.上面是一辆汽车与一列火车的行程统计图,根据图示回答问题。
(1)汽车的速度是每分钟( )千米;(2)火车进站时间是( );(3)火车进站后再次行驶的速度比汽车每分钟快( )千米;(4)汽车比火车早到( )分钟。
3.右图是小辉周末郊游情况统计图。
(1)他( )时从家出发的;(2)他在路上休息了( )分钟;(3)他家距离风景区( )千米;(4)他在风景区玩了( )小时;(5)他回家用了( )分钟。
4.如果要反映小东6~12岁的身高变化情况,应选用( )统计图;要反映实验小学一至六年级的人数情况,选用( )统计图比较合适。
二、判断题。
(每题1分,共5分)1.工厂需要反映各车间的产量的多少,应选用折线统计图。
( ) 2.在一幅折线统计图中,用1厘米的长度表示30吨,那么120吨应画10厘米长。
( ) 3.医生需要监测病人的体温情况,应选用折线统计图。
( ) 4.反映一个地区一段时间内的气温变化情况,应选用折线统计图。
( ) 5.复式折线统计图不但能反映数量的增减变化,还便于两个数量进行比较。
( ) 三、选择题。
(每空2分,共10分)1.对比两只股票某日的走势情况,应绘制( )。
A.复式条形统计图B.复式折线统计图C.两种都可以2.小林和小明分别骑自行车从学校沿着一条路线到20千米外的公园,已知小林比小明先出发,他们俩所行的路程和时间的关系如图所示,下面说法正确的是( )。
A.他们都骑行了20千米B.两个人同时到达公园C.小林在中途停留了1小时 D.相遇后,小林的速度比小明慢3.如图是某商店2016年下半年毛衣和衬衫销售情况统计图,毛衣的销售量在( )最大,衬衫的销售量在( )最大。
A.9月B.7月C.11月D.12月4.右图是北京某一天的气温,下列说法中错误的是( ) A.这一天的最高气温是24 ℃B.这一天最高气温与最低气温的差是16 ℃C.这一天中只有14时至24时之间的气温在逐渐降低D.这一天中8时至24时之间的气温在逐渐升高四、下面是小林8~12岁的体重与标准体重统计表。
云南十八怪【云南第○一怪】鸡蛋用草串着卖:老乡们为了便于买主携带所购买的鸡蛋,又不被碰坏,便以竹蔑或麦草贴着蛋壳编,每个都隔开,十个为一串,可以挂在墙上,想吃的时候便吃几个拿几个。
【云南第○二怪】摘下斗笠当锅盖:云南竹林较多,因此许多用具都以竹子为原料,而锅盖就形似于内地的斗笠,只是顶略小一点,便于抓拿,而且用此做锅盖,透气保温,做出来的饭更加清香。
【云南第○三怪】三只蚊子一盘菜:云南的许多地区,天气较为炎热,终年蚊蝇不绝,特别是野地与牲畜圈里的蚊子个头都比较大大,故夸张说3个蚊子一盘菜。
【云南第○四怪】火筒能当水烟袋:当地人抽烟所用的烟袋很像内地的吹火筒,只不过吹火筒是往外吹,而它是往里吸,烟气经过水过滤,可以减低焦油的浓度,味道更加清凉香醇。
【云南第○五怪】糌粑被叫做饵块:云南产大稻米,特香糯,把大米蒸熟舂打后,揉制成长条形的半成品,可炒吃、煮吃、蒸着吃,颜色白如雪,象内地做的白米粑,当地称饵块。
【云南第○六怪】背着娃娃谈恋爱:少数民族期盼人丁,盛婚后数日媳妇便回门了,等有了娃娃再回婆家与丈夫相聚,开始真正的谈恋爱。
【云南第○七怪】四季服装同穿戴:云南地区气候多变,夏天不热冬天不寒,白天和晚上的温差较大,可以说是冷热瞬变,在街上四季服饰随处可见,长的、短的、厚的、薄的,颜色艳丽,绚丽多彩。
【云南第○八怪】蚂蚱能做下酒菜:云南许多地区的人都有吃虫的爱好,变害虫为佳肴,化昆虫为美味,所以蚂蚱、蝗虫等,都因为油煎之后,焦脆鲜香,而成为了美味的下酒菜。
【云南第○九怪】姑娘被叫做老太:云南有些地区口音孃娘不分,喊姑娘其实就是指姑与孃,而把姑姑与孃孃喊为老太,所以你问姑娘他说老太,喊老太也就是内地人所称的小姨。
【云南第○十怪】和尚可以谈恋爱:云南与几个信奉佛教的国家接壤,而佛教国家的男子上寺庙当和尚就像内地上学读书或服兵役一样,到时还可以还俗结婚生子,受其影响,边民也穿和尚服谈恋爱。
【云南第十一怪】老太爬山比猴快:云南多高山深谷,当地的妇女们从小到老都勤劳无比,爬山越岭、种地砍柴都习以为常,因此练就了一身矫健的身板与脚劲,七八十岁的老人登山往往如履平地。
各种交通工具的速度行人:5-6公里/小时自行车:15公里/小时左右电瓶车:25-35公里/小时摩托车:30-100公里/小时(70-80km)汽车:50-200公里/小时(<200公里/小时)(出租车:60km/h、公交车:40km/h)火车:80km/h(<350公里/小时)磁悬浮:400-550km飞机(600-1500公里/小时):固定翼:500km/h ——3600km/h直升机:100km/h ——200km/h客机:500-600km战机:800-5000km火箭:>28440公里/小时核潜艇:20-30节航空母舰:20-40节现在国际上通用的是1节=1海里/小时,1海里=1.852公里。
1节也就是1.852公里/小时。
现代化的超级集装箱船最高速度可以达到30节/小时=55公里/小时常规货轮的速度在15-20节之间=28公里-37公里/小时之间磁悬浮列车:400—500千米每小时火车:200千米每小时汽车:80—150千米每小时摩托车20- -一50千米每小时电动车15—-—30千米每小时自行车10- -—15千米每小时蚂蚁:0。
000001千米每小时自行车平均速度15km/t,最快速度一般我们平时开到30-40km/t很就不错了。
这个速度也骑的不久。
要是职业车手的话,60km/t。
摩托车平均速度40km/t,最快速度一般我们平时开到60-80km/t.飞机客机平均速度现在500km/t,最快是的是美国的战机,最咼时速达到每小时1. 15万公里。
磁悬浮最快达350km/t。
导弹现在最快是超音速2到3倍。
核潜艇最慢有每小时25节。
最快的都超过了每小时30节。
航空母舰最快速度每小时四十节。
步行:5km/h普通自行车:l0-l5km/h一般路况的公交车:25km/h 公路自行车(自行车比赛):40-60km/h 长途汽车(走高速公路):100km/h 高速运行的火车(特快):140km/h飞机飞行时速:8O0-120Okm/h摩托车:70-80km客机:500-600km 战机:800-5000km 核潜艇:20-30节航空母舰:20-40节磁悬浮列车:400—500千米每小时火车:200千米每小时汽车:80 —— 150千米每小时电动车:15—— 30千米每小时自行车:10——15千米每小时蚂蚁:0。
老司机带带我歌词老司机带带我 (云南神曲)《老司机带带我》是一首神奇、经典、雷人的云南山歌,这首歌曲在其面世后得到广大观众一致好评,称这首歌曲是“百歌之王”、“惊魂动魄”、“神曲之父”。
但这首歌却有几个版本,不同版本具有不一样的口味,供广大喜欢云南山歌的爱好者选择。
歌词不一样,但曲调基本相同。
此歌与山歌教(山歌三人组)的《两个婆娘一个郎》、贵州山歌帝(抖腿哥)的《威宁是个好地方》位列络民族山歌中的前三名。
并且这首歌歌名(老司机)在二次元弹幕站中尤为火爆!想看视频请移步《老司机带带我视频》,歌词则在下方,本文收录四个版本。
★风流妹版(又称老司机带带我,此版本歌词比较低俗,歌曲时长10分12秒)演唱者:耿靖、林梦(山歌临时情人组合)旁白:耿靖:小汽车啊真漂亮,真啊真漂亮,嘟嘟嘟嘟嘟嘟嘟,嘟嘟喇叭响我是一个老司机,老啊老司机,我是一个老司机,老啊老司机为了赚钱运输忙,运输忙哎,前面有几个小姑娘,长得板扎啦,让我来逗逗她们挨她们喊上车今天晚上好玩啦歌曲:林梦:老司机带带我小妹十八罗老司机带带我小妹十八罗耿靖:管你十八不十八,人货分装不合法小姑娘,快走开,我要开车咯林梦:老司机带带我小妹嫁给你老司机带带我小妹嫁给你你的汽车给我坐,我的小奶给你摸老司机,你说说,哪个划得着耿靖:小姑娘,真会哄,大哥不敢摸小姑娘,真会哄,大哥不敢摸给是大哥摸一摸,还要我的三百多小姑娘,真会哄,大哥不敢摸林梦:老司机带带我胸前两小坨老司机带带我让你摸一摸耿靖:大哥伸手摸一摸,摸着两个空壳壳小妹子,你哄我,大哥上当了合:啊里里,啊里里,老表上当了林梦:老司机带带我小妹瓜子脸老司机带带我小妹让你玩耿靖:樱桃小嘴瓜子脸,你的东西起老茧小妹子,厚脸皮,大哥不敢挨林梦:老司机带带我眼睛大又圆老司机带带我屁股圆又圆耿靖:管你眼睛圆不圆,大哥不敢把你连啊里里,啊里里,大哥没有钱林梦:老司机带带我我要去公园老司机带带我你我紧相连耿靖:管你公园不公园,那里人多不安全啊里里,啊里里,拿着要出钱林梦:老司机带带我嘴唇红似火老司机带带我你要吃伟哥耿靖:小妹嘴唇红似火,你就过来亲亲我啊里里,啊里里,给是爱着我林梦:啊里里,啊里里,大哥给爱我林梦:老司机带带我腮墩粉红色老司机带带我你是大嫖客耿靖:你的腮墩粉红色,让我抬抬给要得啊里里,啊里里,你说给要得林梦:老司机带带我我是杨柳腰老司机带带我你比小妹骚耿靖:微风吹动杨柳腰,大哥陪你过两招啊里里,啊里里,玩个小杨腰林梦:老司机带带我小妹一朵花老司机带带我小妹让你揉耿靖:十八姑娘一朵花,大哥正好把脚拿小妹子,已长大,孤单好肉麻林梦:老司机带带我肚皮软和和老司机带带我我俩把瘾过耿靖:你的肚皮软和和,给我当作沙发坐啊里里,啊里里,坐着多软和林梦:老司机带带我小肚软又软老司机带带我好比鬼来栓耿靖:小肚心肝软又软,小妹就是一八妹啊里里,啊里里,那个问题敢林梦:老司机带带我身材多苗条老司机带带我小妹让你搞耿靖:水蛇腰来不苗条,大哥只能打欠条啊里里,啊里里,钱包被你掏林梦:老司机带带我我的肚皮白老司机带带我我的大胯白耿靖:你的肚皮白又白,大哥嫖娼打八折啊里里,啊里里,想着值不得林梦:老司机带带我见你笑眯眯老司机带带我小妹让你骑耿靖:见钱你就笑眯眯,玩个货郎端簸箕啊里里,啊里里,动作适合你林梦:老司机带带我小妹瘦节节老司机带带我大哥你有钱耿靖:管你瘦节不瘦节,不开支票过现钱啊里里,啊里里,办事爽快点林梦:老司机带带我我的肚子疼老司机带带我挨你生小人耿靖:管你肚子疼不疼,边边没沾就骗人啊里里,啊里里,你真不是人林梦:老司机带带我我要去春城老司机带带我我是好女人耿靖:大哥带你去春城,不要去着野男人啊里里,啊里里,不要跟别人林梦:老司机带带我我要去广州老司机带带我跟你钱不愁耿靖:大哥带你去广州,等我玩够你又走啊里里,啊里里,我两手牵手林梦:老司机带带我要去新加坡老司机带带我我两睡喏喏耿靖:小妹要到新加坡,恰好做我野老婆啊里里,啊里里,躲在外国乐林梦:老司机带带我我的眼皮双老司机带带我我的味道香耿靖:管你眼皮双不双,有你我就不嫖娼啊里里,啊里里,爱做神洞房林梦:老司机带带我我的鼻子高老司机带带我我的胸脯高耿靖:管你鼻子高不高,比我老婆还要骚啊里里,啊里里,屁股翘多高林梦:老司机带带我我是小姑娘老司机带带我真是小姑娘耿靖:管你姑娘不姑娘,不像姑娘像婆娘啊里里,啊里里,皮皱脸又黄林梦:老司机带带我挤奶给你喝老司机带带我我的头发黑耿靖:管你头发黑不黑,今晚试试给要得啊里里,啊里里,看你给合格林梦:老司机带带我小妹最可爱老司机带带我小妹刀不快耿靖:一天不摸小妹奶,方向就会两边甩啊里里,啊里里,方向两边摆林梦:老司机带带我小妹有味道老司机带带我小妹你给要耿靖:两天不得小妹抱,轮胎肯定会放炮我想要,我想要,我啊我想要林梦:老司机带带我小妹桂花香老司机带带我见我给心慌耿靖:三天不得抓抓痒,必定损坏变速箱啊里里,啊里里,损坏变速箱林梦:老司机带带我小妹甜蜜蜜老司机带带我你给想咪西耿靖:四天不得做夫妻,请人大修发动机啊里里,啊里里,大修发动机林梦:老司机带带我带我有好处老司机带带我带我到印度耿靖:到了外国不敢住,人说我们去偷渡犯了罪,遭逮捕,惊动外交部合:啊里里,啊里里,惊动外交部旁白:林梦:唉,唉,十八岁的小妹,嫁给司机老表好女不嫁开车郎,一年四季守空房有朝一日回家转,穿着一身油衣裳十个司机九个坏,剩下那个偷油卖十个司机九个烂,剩下那个穷光蛋十个司机九个骚,不骚那个是憨包十个司机九流氓,剩下那个是发育不正常十个司机九个赌,不赌那个去跳舞走,姑娘们,现在的司机厉害的很耿靖:再唱一下嘛,晚了跟我去林梦:不敢去,不敢去,去了要吃大亏耿靖:不敢去,就拜拜啦林梦:goodbye★奔驰车版(此版本比较雷人,歌曲时长3分02秒)演唱者:陈洪科、高碧波、马丽波旁白:马丽波:奇怪奇怪真奇怪,汽车就比火车快高碧波:大客车么不好坐堵张奔驰解解闷马丽波:哎呀小妹坐客车走啦高碧波:忙那样,今天噶堵张奔驰我两个风风光马丽波:怕不行高碧波:咋个不行,看我呢,来了来了,我们堵车歌曲:马丽波:老司机带带我我要上昆明啊高碧波:老司机带带我我要去省城陈洪科:要上昆明车子多,半路拦我为什么合:阿里里~阿里里~阿里阿里里陈洪科、高碧波(左女)、马丽波(右女)陈洪科、高碧波(左女)、马丽波(右女)(2张)马丽波:老司机听我说我会唱山歌啊高碧波:老司机听我说小妹嘴皮薄啊陈洪科:管你嘴皮薄不薄我的老婆等着我合:阿里里~阿里里~阿里阿里里~~阿里里~阿里里~阿里阿里里马丽波:老司机你瞧瞧小妹桃花色啊高碧波:老司机你看看小妹生的白啊陈洪科:管你两个白不白大哥不想玩素格合:阿里里~阿里里~阿里阿里里马丽波:老司机你望望小妹牡丹样啊高碧波:老司机你望望小妹胖不胖啊陈洪科:管你两个胖不胖野味大哥不想尝合:阿里里~阿里里~阿里阿里里~~阿里里~阿里里~阿里阿里里马丽波:老司机身体差不会贪野花高碧波:老司机身体差不会放野马陈洪科:小哥从来不贪花家有老婆和娃娃合:阿里里~阿里里~阿里阿里里马丽波:老司机有这土小妹会跳舞啊高碧波:老司机大老粗我会时装步啊高碧波、马丽波:我们陪你唱山歌你的车子给我坐你想想你说说哪个划得着合:阿里里~阿里里~阿里阿里里陈洪科:小妹子听我说我也爱玩乐~小妹子听我说人品也不错哦我的车子给你坐你们陪我唱山歌我想想我说说我也划得着高碧波、马丽波:老司机真善良我心多宽畅啊陈洪科:小妹子陪你逛城市好风光合:昆明城市好漂亮盛世歌声传四方合:阿里里~阿里里~阿里阿里里~~阿里里~阿里里~阿里阿里里★面包车版(树林面包车版,歌词算是比较老实,点评较高,歌曲时长4分15秒)演唱者:李林峰、高碧波、李丽莎歌曲:高碧波:老司机带带我,小妹年纪轻老司机带带我,小妹年纪轻李林峰:管你年轻不年轻,多坐一个费油门合:阿里里~阿里里~阿里阿里里高碧波:老司机带带我给你做情人老司机带带我给你做情人李林峰:这种事情不可能老表不是那种人合:阿里里~阿里里~阿里阿里里高碧波:老司机带带我我是中学生老司机带带我我是中学生李林峰:小小年纪不学好长大一定更糟糕合:阿里里~阿里里~阿里阿里里高碧波:老司机带带我银钱要几纹老司机带带我银钱要几纹李林峰:有钱也不给你坐文明礼貌多学学合:阿里里~阿里里~阿里阿里里高碧波:老司机带带我要上赛歌场老司机带带我要上赛歌场李林峰:赛歌场上拿大奖那个时候最风光快上车小姑娘我俩是同行合:阿里里~阿里里~阿里阿里里★左脚舞版(此版本激情澎湃,动感率高,歌曲时长7分29秒)女:老司机带带我,我有十八岁老司机带带我,我有十八岁男:管你十七不十八,我的车子坐不下合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:不带我不带我,你会划不着女:老司机带带我,看我给美丽老司机带带我,看我给美丽男:管你美丽不美丽,我家老婆才美丽合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯男:不带你疯姑娘,给我走开些女:老司机带带我,小脸生得白老司机带带我,小脸生得白男:管你小脸白不白,我的身上没得钱合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:你无钱你无钱,小妹不讲钱女:老司机带带我,给你做老婆老司机带带我,给你做老婆男:你做老婆没话说,我家老婆不好说合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:不要说不要说,为何不爱我女:老司机带带我,我的头发黑老司机带带我,我的头发黑男:管你头发黑不黑,这种事情做不得合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女;讲得合讲得合,我也不敢做女:老司机带带我,我的眼睛大老司机带带我,我的眼睛大男:管你眼睛大不大,见着女人我害怕合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:我温柔我漂亮,为何不喜欢女:老司机带带我,我的鼻子高老司机带带我,我的鼻子高男:管你鼻子高不高,鼻子高了我不要合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:老司机你说说,他不欣赏我女:老司机带带我,我的牙齿白老司机带带我,我的牙齿白男:管你牙齿白不白,啃点骨头也要得合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:划不着划不着,咋个这样说女:老司机带带我,我的胸口高老司机带带我,我的胸口高男:管你胸口高不高,集中开车才是好合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯你说说你说说,司机做得和女:老司机看看我,小妹最苗条老司机看看我,小妹最苗条男:管你苗条不苗条,我最喜欢水牛腰合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:真好笑真好笑,看我给苗条男:小妹子我带你,陪我吹牛皮小妹子我带你,陪我吹牛皮女:今天吹牛没道理,小妹说声对不起合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯男:小妹子小妹子,我们一起去小妹子我带你,陪我吹牛皮小妹子我带你,陪我吹牛皮女:今天逗你要不得,三月会上我请客合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯女:老司机再见啰,我们各走各男:小妹子我带你,我会送你去小妹子我带你,我会送你去女:你的汽车我不坐,要坐两轮小摩托合:阿里咯~阿里咯~阿里阿里咯阿里咯~阿里咯~阿里阿里咯合:老司机你说说(我讲讲),我会划不着。
1、 汽车比火车跑的快。
)),()()((y x R y Q x P y x →∧∀∀
2、 有的汽车比所有的火车跑的快 ))),()(()((y x R y Q y x P x →∀∧∃
3、 并不是所有的汽车都比火车跑的快 )),()()((y x R y Q x P y x →∧∀⌝∀
4、 特性谓词:当使用全总个体域时,对客体变元的变化范围限制的词,称作特性谓词。
5、
6、指出下列公式的指导变元、作用域、约束变元和自由变元。
(1))),()((y x yR x P x ∃→∀
(2)∃)()),(),((x R z x Q y x P x ∨→
(3)),()),(),()((y x Q y x yR z x xQ x P x ∨∃→∃∧∀ 解 (1)x 是指导变元,x ∀的作用域为),()(y x yR x P ∃→;y 也是指导变元,作用域为),(y x R 。
在指导变元y 的作用域),(y x R 中, y 是约束出现。
在指导变元x 的作用域),()(y x yR x P ∃→中,x ,y 都是约束出现。
(2)x 是指导变元,相应的作用域为),(),(z x Q y x P →,从左向右算起,变量x 的第
一、二次出现是约束出现,x 的第三次出现是自由出现。
变量y ,z 的出现都是自由出现。
(3)x ,y 是指导变元,x ∀的作用域是),(),()(y x yR z x xQ x P ∃→∃∧,x ∃的作用域是),(z x Q ,y ∃的作用域是),(y x R 。
x 的最后一次出现为自由出现,其余为约束出现,y 的第一次出现为约束出现,第二次出现为自由出现。
变元z 为自由出现。
7、将),()),()((y x R y x Q x P x ∧→∀中的约束变元进行换名。
解 可换名为),()),()((y x R y z Q z P z ∧→∀,但不能换名为
),()),()((y x R y y Q y P y ∧→∀
或
),()),()((y x R y x Q z P z ∧→∀,
因为后两种更改都将使公式中的量词的约束范围有所变动。
例2.3.3 将),()),(),()((y x Q y x yR z x xQ x P x ∨∃→∃∧∀中的约束变元进行换名。
解 可换名为),()),(),()((y x Q w u wR z v vQ u P u ∨∃→∃∧∀,但不能换名为
),()),(),()((y x Q y z yR z x xQ z P z ∨∃→∃∧∀
或
),()),(),()((y x Q y x yR z z zQ x P x ∨∃→∃∧∀,
因为后两种更改都将使公式中的量词的约束范围有所变动
例2.3.4 将公式)),()()((y x R y P x ∧∃中的自由变元进行代入。
解 y 为自由变元,代入后公式为)),()()((z x R z P x ∧∃,但是)),()()((x x R x P x ∧∃与)),()()((y x R z P x ∧∃这两种代入都与规则不符。
例2.3.5 将公式),()),()((y x R y x Q x P x ∧→∀中的自由变元进行代入。
解 对自由变元x 进行代入后公式为),()),()((y z R y x Q x P x ∧→∀。
公式中y 也是自由变元,但是变元y 只以一种身份出现,因此,可以不对y 进行代入。
例2.4.3 判断下列公式的类型。
(1))()(x xF x xF ∃→∀
(2)))(),(()(x xF y x yG x x xF ∀→∃∀→∀
(3)),()),(),((y x R y x R y x F ∧→⌝
(4)),(),(y x yF x y x yF x ∀∃→∃∀
解 (1)设I 为任意解释。
如果)(x xF ∀在I 下为真,则对于任意一个个体a 都有)(a F 为真,于是)(x xF ∃为真;如果)(x xF ∀在I 下为假,由条件的前件为假可知)()(x xF x xF ∃→∀为真。
故)()(x xF x xF ∃→∀为永真式。
(2)因为T Q P P P Q P P Q P ⇔⌝∨∨⌝⇔∨⌝∨⌝⇔→→)()()(,而))(),(()(x xF y x yG x x xF ∀→∃∀→∀是)(P Q P →→的代换实例,所以))(),(()(x xF y x yG x x xF ∀→∃∀→∀为永真式。
(3)因为F Q Q P Q Q P Q Q P ⇔∧⌝∧⇔∧∨⌝⌝⇔∧→⌝)()(,而
),()),(),((y x R y x R y x F ∧→⌝是Q Q P ∧→⌝)(的代换实例,,所以),()),(),((y x R y x R y x F ∧→⌝为永假式。
(4)取解释1I 为:个体域为自然数集N ;),(y x F :y x =。
则:),(),(y x yF x y x yF x ∀∃→∃∀F y x y x y x y x ⇔=∀∃→=∃∀⇔)()(。
取解释2I 为:个体域为自然数集N ;),(y x F :x ≤y 。
则),(),(y x yF x y x yF x ∀∃→∃∀x y x (∃∀⇔≤y )x y x (∀∃→≤y )T ⇔。
综上,),(),(y x yF x y x yF x ∀∃→∃∀为可满足式。
1.量词的消去
例2.4.4 设个体域为{a ,b ,c } ,试消去表达式)()(x xQ x P x ∀∧⌝∀中的量词,写成与之等价的命题公式。
解 )(x P x ⌝∀消去量词后的等价的命题公式为:
))()()(()()()(b P b P a P c P b P a P ∨∨⌝⇔⌝∧⌝∧⌝
)(x xQ ∀消去量词后的等价的命题公式为:
)()()(c Q b Q a Q ∧∧
于是,)()(x xQ x P x ∀∧⌝∀消去量词后的等价的命题公式为:
))()()(())()()((c Q b Q a Q b P b P a P ∧∧∧∨∨⌝。