命题逻辑入门精华54讲.pptVIP

命题逻辑基本概念第一页，共54页。第1页

本章(běnzhānɡ)说明本章的主要内容命题、联结词、复合命题命题公式、赋值、命题公式的分类(fēnlèi)本章与后续各章的关系本章是后续各章的准备或前提第二页，共54页。第2页

1.1命题(mìngtí)与联结词数理逻辑(shùlǐ-luójí)研究的中心问题是推理.推理的前提和结论都是表示判断的陈述句.表示判断的陈述句组成了推理的基本单位.第三页，共54页。第3页

1.1命题(mìngtí)与联结词称能判断真假而不是可真可假的陈述句为命题

（proposition）.作为命题的陈述句所表示(biǎodá)得的判断成果称为命题的真值.真值只取两个：真与假.真值为真的命题称为真命题.真值为假的命题称为假命题.感叹句、疑问句、祈使句都不能称为命题(mìngtí).判断成果不唯一确定的陈述句不是命题(mìngtí).陈述句中的悖论不是命题(mìngtí).说明第四页，共54页。第4页

4是素数(sùshù).21/2是无理数.x大于y.充分大的偶数等于两个素数(sùshù)之和.今天是星期二.?大于21/2吗？请不要吸烟！这朵花真美丽啊！我正在说假话.例1.1判断以下句子是否(shìfǒu)为命题.是,假命题是,真命题不是,无确定(quèdìng)的真值是,真值客观存