数学建模社区-数学中国
标题:
命 题
[打印本页]
作者:
彭小玉
时间:
2014-10-18 23:02
标题:
命 题
) X4 q1 g9 ^) s6 B
1. 1. 1 什么是命题
! b' ?: A: O( R/ I5 d
命题是一个非真即假( 不可兼) 的陈述句. 有两层意思, 首先命题是一个陈述句, 而命令
" \5 ?9 T8 L) F! h( [3 x, ?& y4 |
句、疑问句和感叹句都不是命题. 其次是说这个陈述句所表达的内容可决定是真还是假, 而
$ ?# ^5 V2 v* B" w
且不是真的就是假的, 不能不真又不假, 也不能又真又假. 凡与事实相符的陈述句为真语句,
& N* l9 X, L* v/ I7 ~
而与事实不符的陈述句为假语句. 这说是说, 一个命题具有两种可能的取值( 又称真值) , 为
2 W' Q/ [: F" \8 i% E! U) G
真或为假, 并且只能取其一. 通常用大写字母T 表示真值为真, 用F 表示真值为假, 有时也
# b, l. Q7 w" |; @# Q2 J3 D' c$ q! b
可分别用1 和0 表示它们. 因为只有两种取值, 所以这样的命题逻辑称为二值逻辑.
4 j8 i; s- `, U5 T: L
举例说明命题概念:
, ^5 F9 ^* S- f) b5 L0 F
( 1)“雪是白的”. 是一个陈述句, 可决定真值, 显然其真值为真, 或说为T , 所以是一个
* T% }6 k& t }+ R" ^6 J
命题.
' U! ~3 P( }/ a# |: k8 h" A2 O; Z
( 2)“雪是黑的”. 是一个陈述句, 可决定真值, 显然其真值为假, 或说为F, 所以是一个
A+ h# K. q# p' f/ M# N9 ]
命题.
$ W# b+ F+ u/ {. ~6 W
( 3)“好大的雪啊! ”不是陈述句, 不是命题.
: R9 M( C1 r4 {+ s1 `7 g2 q
( 4)“一个偶数可表示成两个素数之和”( 哥德巴赫猜想) . 是命题, 或为真或为假, 只不
+ k: d4 ^3 _5 B1 C/ f! ~
过当今尚不知其是真命题还是假命题.
! X! q3 `0 B( r3 }1 K* {0 B; U
( 5)“1+ 101= 110”. 这是一个数学表达式, 相当于一个陈述句, 可以叙述为“1 加101 等
0 m4 k, G+ Q; s5 c+ c
于110”, 这个句子所表达的内容在十进制范围中真值为假, 而在二进制范围中真值为真. 可
# _9 q8 v {' E) h( F( f$ c0 V, t
见, 这个命题的真值与所讨论问题的范围有关.
: Q, _" s6 A% m! K$ l" g; u! Y3 `7 b
1. 1. 2 命题变项
/ H0 c( H) J; x" U, }% `, P( `
为了对命题作逻辑演算, 采用数学手法将命题符号化( 形式化) 是十分重要的. 我们约定
* p0 i1 `: k8 R2 f* j8 \- y
用大写字母表示命题, 如以P 表示“雪是白的”, Q 表示“北京是中国的首都”等. 当P 表示任
8 K% F$ V" c7 _' X' W
一命题时, P 就称为命题变项( 变元) .
& c8 @! |9 z) P: A/ Z
命题与命题变项含义是不同的, 命题指具体的陈述句, 是有确定的真值, 而命题变项的
; p6 ~9 S: H- a: C3 {
真值不定, 只当将某个具体命题代入命题变项时, 命题变项化为命题, 方可确定其真值. 命题
; @) H) C N9 P7 V% w
与命题变项像初等数学中常量与变量的关系一样. 如5 是一个常量, 是一个确定的数字, 而
; c8 Z0 E* v" |6 @0 w' y/ g% v
x 是一个变量, 赋给它一个什么值它就代表什么值, 即x 的值是不定的. 初等数学的运算规
0 l# w5 m. |; S% j: j9 g) x0 i: u
·2·
2 W! B2 x) E1 ^( B
则中对常量与变量的处理原则是相同的, 同样, 在命题逻辑的演算中对命题与命题变项的处
# L8 u4 a" f1 u
理原则也是相同的. 因此, 除在概念上要区分命题与命题变项外, 在逻辑演算中就不再区分
2 A) r Z& r1 ~, x: m; X: @
它们了.
7 g6 ~* {% k& t, v$ ~
1. 1. 3 简单命题和复合命题
% B0 D& x5 Z, M* C
简单命题又称原子命题, 它是不包含任何的与、或、非一类联结词的命题. 如1. 1. 1 中所
# Q# [ k/ v6 o
举的命题例子都是简单命题. 这样的命题不可再分割, 如再分割就不是命题了. 而像命题“雪
( ]8 G( e+ y- ?- B8 b7 }: \
是白的而且1 + 1 = 2”, 就不是简单命题, 它可以分割为“雪是白的”以及“1+ 1= 2”两个简
. m1 a6 ]9 p) }% n: ~7 k7 Q* O! Y3 M$ J
单命题, 联结词是“而且”. 在简单命题中, 尽管常有主语和谓语, 但我们不去加以分割, 是将
/ K$ C. N1 Z5 O6 Q! L' q6 `
简单命题作为一个不可分的整体来看待, 进而作命题演算. 在谓词逻辑里, 才对命题中的主
) |7 c1 ]% n. [
谓结构进行深入分析.
* ^! L7 J& \. h5 @) K- x: c1 ^
把一个或几个简单命题用联结词( 如与、或、非) 联结所构成的新的命题称为复合命题,
) s I% {% [" T% }
也称为分子命题. 复合命题自然也是陈述句, 其真值依赖于构成该复合命题的各简单命题的
. Q6 e& c2 I9 g- Z7 U* h3 V) q
真值以及联结词, 从而复合命题有确定的真值. 如“张三学英语和李四学日语”就是一个复合
0 D, H4 m8 H; ]
命题, 由简单命题“张三学英语”“李四学日语”经联结词“和”联结而成, 这两个简单命题真值
1 L+ D1 T0 x. A2 `7 C" I
均为真时, 该复合命题方为真. 如果只限于简单命题的讨论, 则除讨论真值外, 再没有可研究
( j k' r' [: _
的内容了. 而命题逻辑所讨论的正是多个命题联结而成的复合命题的规律性.
6 d- e: [: E4 t9 l& r, ]
在数理逻辑里, 仅仅把命题看成是一个可取真或可取假的陈述句, 所关心的并不是这些
+ R! F2 E% ]7 i
具体的陈述句的真值究竟为什么或在什么环境下是真还是假, 这是有关学科本身研究的问
& l4 U* E2 ?5 ]. G
题, 而逻辑关心的仅是命题可以被赋予真或假这样的可能性, 以及规定了真值后怎样与其他
# S6 _, R* o% ?8 j/ a& V
命题发生联系.
# M; k3 J# f, ]3 r% i, E% w% n
7 d+ ]9 y* r3 [9 s, j: J6 i
【转】
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5