- 在线时间
- 59 小时
- 最后登录
- 2015-2-6
- 注册时间
- 2013-2-24
- 听众数
- 8
- 收听数
- 28
- 能力
- 0 分
- 体力
- 1549 点
- 威望
- 0 点
- 阅读权限
- 200
- 积分
- 572
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 211
- 主题
- 19
- 精华
- 0
- 分享
- 0
- 好友
- 23
TA的每日心情 | 奋斗 2014-11-17 17:39 |
|---|
签到天数: 146 天 [LV.7]常住居民III
 群组: 数学建模培训课堂1 群组: 华南理工大学 群组: 第三届数模基础实训 群组: 数模思想方法大全 群组: 第一期sas基础实训课堂 |
* _, Z& k! M9 m
1. 1. 1 什么是命题& P( O( ?& ?6 F
命题是一个非真即假( 不可兼) 的陈述句. 有两层意思, 首先命题是一个陈述句, 而命令; [0 ]0 E6 l- i- y8 G) M
句、疑问句和感叹句都不是命题. 其次是说这个陈述句所表达的内容可决定是真还是假, 而6 r# ^ Z0 C' T& L: r U
且不是真的就是假的, 不能不真又不假, 也不能又真又假. 凡与事实相符的陈述句为真语句,+ A, ^; R) Z5 z" K: S! R
而与事实不符的陈述句为假语句. 这说是说, 一个命题具有两种可能的取值( 又称真值) , 为3 |: F) d. p, ~
真或为假, 并且只能取其一. 通常用大写字母T 表示真值为真, 用F 表示真值为假, 有时也
5 F! X7 r4 B$ M4 ?4 n4 d可分别用1 和0 表示它们. 因为只有两种取值, 所以这样的命题逻辑称为二值逻辑.
* O( D+ l3 }: N$ E P, K2 w举例说明命题概念:
! Y8 f9 ^' Z1 G$ E3 g( 1)“雪是白的”. 是一个陈述句, 可决定真值, 显然其真值为真, 或说为T , 所以是一个
" `& k: q5 h/ e! r# C9 E0 A& z命题.
5 ^2 u2 @# t$ L7 d# J! {* y1 l5 }( 2)“雪是黑的”. 是一个陈述句, 可决定真值, 显然其真值为假, 或说为F, 所以是一个- o, K, S: q) F6 o0 N& x& t" S, n
命题.
! H" y" b6 ?- v( G( 3)“好大的雪啊! ”不是陈述句, 不是命题.
: \$ B( l) c1 c4 s" Z& V( 4)“一个偶数可表示成两个素数之和”( 哥德巴赫猜想) . 是命题, 或为真或为假, 只不
9 l7 K8 R" g# x/ f/ C( A过当今尚不知其是真命题还是假命题.
! c$ [4 m% O. \- S/ {( 5)“1+ 101= 110”. 这是一个数学表达式, 相当于一个陈述句, 可以叙述为“1 加101 等7 s" q% p$ W, ~3 p
于110”, 这个句子所表达的内容在十进制范围中真值为假, 而在二进制范围中真值为真. 可2 T- Q' c' s2 L' i
见, 这个命题的真值与所讨论问题的范围有关.5 _" N% m: A9 a7 y
1. 1. 2 命题变项
A! K; `3 l# q5 r# l; _为了对命题作逻辑演算, 采用数学手法将命题符号化( 形式化) 是十分重要的. 我们约定9 E; _3 b" U( h$ T
用大写字母表示命题, 如以P 表示“雪是白的”, Q 表示“北京是中国的首都”等. 当P 表示任
: ]0 Y, d2 t1 I! v2 X4 u4 \! e一命题时, P 就称为命题变项( 变元) .4 ^; n: c# J, y, n8 o& o, p. H! K7 n# k
命题与命题变项含义是不同的, 命题指具体的陈述句, 是有确定的真值, 而命题变项的8 G) h8 ^& ~ o% [3 H, R
真值不定, 只当将某个具体命题代入命题变项时, 命题变项化为命题, 方可确定其真值. 命题
. A) P. p7 ?; {( f1 N与命题变项像初等数学中常量与变量的关系一样. 如5 是一个常量, 是一个确定的数字, 而
" l0 \. \9 N% U* Gx 是一个变量, 赋给它一个什么值它就代表什么值, 即x 的值是不定的. 初等数学的运算规
& |' D0 J. M" h- v- H6 k6 Z·2·
4 f* u/ T* E! }( f/ g则中对常量与变量的处理原则是相同的, 同样, 在命题逻辑的演算中对命题与命题变项的处
6 T' g9 k/ U! X" ^* R$ l8 T& i理原则也是相同的. 因此, 除在概念上要区分命题与命题变项外, 在逻辑演算中就不再区分
6 U& T4 b3 z1 z: k% c- }3 Z* t) d2 C7 u它们了.0 y& w% G3 _; v% H' [
1. 1. 3 简单命题和复合命题
: E, h0 Z( a. i8 k简单命题又称原子命题, 它是不包含任何的与、或、非一类联结词的命题. 如1. 1. 1 中所
8 a8 H$ k* T& I+ J' w举的命题例子都是简单命题. 这样的命题不可再分割, 如再分割就不是命题了. 而像命题“雪5 g) g3 q; P4 J
是白的而且1 + 1 = 2”, 就不是简单命题, 它可以分割为“雪是白的”以及“1+ 1= 2”两个简
2 y* u u% L; u- S8 M% H/ z! B单命题, 联结词是“而且”. 在简单命题中, 尽管常有主语和谓语, 但我们不去加以分割, 是将* O6 U1 F1 ^6 ^- R2 G& B
简单命题作为一个不可分的整体来看待, 进而作命题演算. 在谓词逻辑里, 才对命题中的主
3 C! @; D+ y: |2 j S; j谓结构进行深入分析.8 O6 _, J! _* o
把一个或几个简单命题用联结词( 如与、或、非) 联结所构成的新的命题称为复合命题,
2 P: q2 c* O T5 e也称为分子命题. 复合命题自然也是陈述句, 其真值依赖于构成该复合命题的各简单命题的
+ D; b% z9 J5 j真值以及联结词, 从而复合命题有确定的真值. 如“张三学英语和李四学日语”就是一个复合9 O& C1 @3 U$ a! Y
命题, 由简单命题“张三学英语”“李四学日语”经联结词“和”联结而成, 这两个简单命题真值" G& L8 C. p+ |1 h
均为真时, 该复合命题方为真. 如果只限于简单命题的讨论, 则除讨论真值外, 再没有可研究, J6 _4 L- C4 E. d
的内容了. 而命题逻辑所讨论的正是多个命题联结而成的复合命题的规律性." v6 K) E, u! S |
在数理逻辑里, 仅仅把命题看成是一个可取真或可取假的陈述句, 所关心的并不是这些/ y: `: J: `' m+ Y$ r
具体的陈述句的真值究竟为什么或在什么环境下是真还是假, 这是有关学科本身研究的问
/ W2 N& i$ b* C2 X) e0 B题, 而逻辑关心的仅是命题可以被赋予真或假这样的可能性, 以及规定了真值后怎样与其他) O; G( v" Y- K: A% q
命题发生联系.
/ ~+ [' z/ m! _. S4 l5 [' w% T, z/ P$ Z9 D, {6 B! D" Z- Y
【转】 |
zan
|