QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 2451|回复: 0
打印 上一主题 下一主题

命 题

[复制链接]
字体大小: 正常 放大
彭小玉 实名认证       

19

主题

8

听众

572

积分

  • TA的每日心情
    奋斗
    2014-11-17 17:39
  • 签到天数: 146 天

    [LV.7]常住居民III

    群组数学建模培训课堂1

    群组华南理工大学

    群组第三届数模基础实训

    群组数模思想方法大全

    群组第一期sas基础实训课堂

    跳转到指定楼层
    1#
    发表于 2014-10-18 23:02 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta

    ; A; C+ q% B5 |/ U$ \1. 1. 1 什么是命题
    . n. o2 t# G2 r$ Y$ u命题是一个非真即假( 不可兼) 的陈述句. 有两层意思, 首先命题是一个陈述句, 而命令
    . Z9 G' a8 N8 p2 x1 [& W$ R句、疑问句和感叹句都不是命题. 其次是说这个陈述句所表达的内容可决定是真还是假, 而& ^' S* H* E8 I. k# z/ a
    且不是真的就是假的, 不能不真又不假, 也不能又真又假. 凡与事实相符的陈述句为真语句,, {8 o& U$ Z3 S- S
    而与事实不符的陈述句为假语句. 这说是说, 一个命题具有两种可能的取值( 又称真值) , 为
    & w% y: n! j, Z. o真或为假, 并且只能取其一. 通常用大写字母T 表示真值为真, 用F 表示真值为假, 有时也  p2 u7 n- s- `1 ?0 d% G
    可分别用1 和0 表示它们. 因为只有两种取值, 所以这样的命题逻辑称为二值逻辑.
    6 W9 p. Y9 g: H. {举例说明命题概念:
    " t3 v7 t1 X% K/ E+ U9 U9 C8 P( 1)“雪是白的”. 是一个陈述句, 可决定真值, 显然其真值为真, 或说为T , 所以是一个
    ! g8 H/ M: }9 C/ |$ w命题.
    ! q0 a2 [6 B+ i. t$ S# R0 X7 T( 2)“雪是黑的”. 是一个陈述句, 可决定真值, 显然其真值为假, 或说为F, 所以是一个& [1 O7 b8 q2 [+ H% A6 i6 \" h1 j
    命题.4 a! D8 {/ d9 R5 r  O0 i8 A% v8 u
    ( 3)“好大的雪啊! ”不是陈述句, 不是命题.
    ; P5 i! j! A! u4 j6 O  P( 4)“一个偶数可表示成两个素数之和”( 哥德巴赫猜想) . 是命题, 或为真或为假, 只不; k+ c4 ^  o" H# z% G3 ]) }+ |$ C0 a
    过当今尚不知其是真命题还是假命题.
    5 f; K; @5 s7 z$ n( 5)“1+ 101= 110”. 这是一个数学表达式, 相当于一个陈述句, 可以叙述为“1 加101 等; r: _4 ?! f$ T  I+ D( h7 ^
    于110”, 这个句子所表达的内容在十进制范围中真值为假, 而在二进制范围中真值为真. 可
    ' U' ^9 m; l( I/ R& D. W3 R见, 这个命题的真值与所讨论问题的范围有关.% T) A! p( g- k1 u7 c' e
    1. 1. 2 命题变项
    : h' w+ p4 @( C5 R5 ~: g9 W& `为了对命题作逻辑演算, 采用数学手法将命题符号化( 形式化) 是十分重要的. 我们约定/ Z9 I# h/ V0 M* U$ a) a- p; r
    用大写字母表示命题, 如以P 表示“雪是白的”, Q 表示“北京是中国的首都”等. 当P 表示任3 F3 M( X" P0 [, N
    一命题时, P 就称为命题变项( 变元) .
    + ?4 \6 a+ R: d8 b# S2 P命题与命题变项含义是不同的, 命题指具体的陈述句, 是有确定的真值, 而命题变项的
    1 T  o, ~3 {" V& `% B- U真值不定, 只当将某个具体命题代入命题变项时, 命题变项化为命题, 方可确定其真值. 命题
    . c/ y; z3 Y& p3 u与命题变项像初等数学中常量与变量的关系一样. 如5 是一个常量, 是一个确定的数字, 而
    ) V8 v% x3 x, Z& ^/ p9 d. vx 是一个变量, 赋给它一个什么值它就代表什么值, 即x 的值是不定的. 初等数学的运算规5 l& Y9 t) v* M) a0 _+ g
    ·2·4 F) |0 N' O. T7 I* \
    则中对常量与变量的处理原则是相同的, 同样, 在命题逻辑的演算中对命题与命题变项的处9 z1 c- O8 t$ A& x% J$ V" a- [
    理原则也是相同的. 因此, 除在概念上要区分命题与命题变项外, 在逻辑演算中就不再区分
    & g/ Q8 }" ]2 D它们了.3 ?; v2 H7 w) g. W' O8 z
    1. 1. 3 简单命题和复合命题7 a  y! c* _  J- s% y
    简单命题又称原子命题, 它是不包含任何的与、或、非一类联结词的命题. 如1. 1. 1 中所
    . e( D" @& f2 W; A举的命题例子都是简单命题. 这样的命题不可再分割, 如再分割就不是命题了. 而像命题“雪( ?4 U- `" F( w8 b
    是白的而且1 + 1 = 2”, 就不是简单命题, 它可以分割为“雪是白的”以及“1+ 1= 2”两个简
    , E% K. M/ r+ _+ h7 H单命题, 联结词是“而且”. 在简单命题中, 尽管常有主语和谓语, 但我们不去加以分割, 是将
    - O7 n3 `/ ], W2 m+ ^简单命题作为一个不可分的整体来看待, 进而作命题演算. 在谓词逻辑里, 才对命题中的主: A3 o1 f# N( C6 y0 A/ m/ Q
    谓结构进行深入分析., W9 \8 b3 b" t8 r8 \
    把一个或几个简单命题用联结词( 如与、或、非) 联结所构成的新的命题称为复合命题,
    # m2 r9 {6 A2 _* _, D& [4 S- c/ r也称为分子命题. 复合命题自然也是陈述句, 其真值依赖于构成该复合命题的各简单命题的; _5 Y' w4 Y4 G& _% F
    真值以及联结词, 从而复合命题有确定的真值. 如“张三学英语和李四学日语”就是一个复合/ C# e6 e2 H- W- _3 ~
    命题, 由简单命题“张三学英语”“李四学日语”经联结词“和”联结而成, 这两个简单命题真值+ [. z% r* S; r
    均为真时, 该复合命题方为真. 如果只限于简单命题的讨论, 则除讨论真值外, 再没有可研究+ O* D$ H$ l1 d2 @1 S  D
    的内容了. 而命题逻辑所讨论的正是多个命题联结而成的复合命题的规律性.6 c+ q" x5 ~* g3 q9 q8 ]
    在数理逻辑里, 仅仅把命题看成是一个可取真或可取假的陈述句, 所关心的并不是这些
    , \/ ~. S+ g7 J. U具体的陈述句的真值究竟为什么或在什么环境下是真还是假, 这是有关学科本身研究的问% r( x) U4 D& }1 b1 n
    题, 而逻辑关心的仅是命题可以被赋予真或假这样的可能性, 以及规定了真值后怎样与其他7 U) A' m8 k: U- i2 k8 V6 `
    命题发生联系.
    ) U2 G5 T( ]4 W1 b8 U
    ( x" A/ z. x9 r! X$ [( s【转】
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-5-28 22:37 , Processed in 1.786636 second(s), 54 queries .

    回顶部