命题逻辑的基本概念命题逻辑的基本概念ppt课课件件命题逻辑的基本概念3主要内容命题命题联结词合式公式重言式3Lu Chaojun,SJTU 4什么是命题?命题命题(proposition):是一个非真即假的陈述句.是陈述句,而非命令句、疑问句或感叹句等.表达的内容可判断真假,而且非真即假.真假的判定:与事实是否相符.不能不真又不假，也不能又真又假.真值真值(truth value):命题具有两种可能的取值,即真(true)和假(false).常写做T和F.称为二值逻辑.4Lu Chaojun,SJTU 5例子:命题(1)雪是白的.是命题,真值为T.(2)雪是黑的.是命题,真值为F.(3)好大的雪啊!不是命题(4)偶数可表示成两个素数之和.(Goldbach猜想)是命题,目前不知其真假.(5)1+10l110.相当于陈述句“1加101等于110”.在十进制范围中真值为F,在二进制范围中真值为T.并不意味着同一命题有两个真值!在不同数制中是不同的命题.5Lu Chaojun,SJTU 6命题的符号化表示为了对命题进行逻辑演算,利用数学手段将命题符号化(形式化).用字母表示命题命题常项:例如
