1.1 命题及其表示

CHAPTER01命题逻辑1.1命题及其表示课程大纲CONTENTS01引言为何需要数理逻辑？02命题的定义什么是命题？03命题的核心特征如何判断一个句子是否为命题？04命题的分类原子命题与复合命题05例题分析判断句子是否为命题06命题的表示命题标识符、常元与变元07小结|核心概念回顾与总结引言：为何需要数理逻辑？01/核心挑战日常使用的自然语言（如中文、英文）往往存在歧义性和不精确性。这类语言缺陷会导致逻辑表达的模糊，在需要绝对严谨的数学证明与逻辑推理中是致命的障碍。02/解决方案引入一种人工定义的“目标语言”(ObjectLanguage)。它由一系列能够精确表达判断的语句，以及一套严格定义的公式符号系统构成，以消除自然语言的模糊性。03/本节目标掌握数理逻辑大厦最底层的两块基石：•命题的定义与判定规则

•命题的符号化表示方法这是后续学习逻辑运算与推理的基础。定义1.1：命题的定义能够判断真假的陈述句称为命题(Proposition)。注意：祈使句、疑问句、感叹句和悖论通常都不是命题。核心要素：真值(TruthValue)•真(True)：逻辑判断为正确，记为T(或1)•假(False)：逻辑判断为错误，记为F(或0)•一个命题的真值是唯一的，非真即假。命题分类•真命题：判断结果为真的命题。

例：“2是有理数”。•假命题：判断结果为假的命题。

例：“太阳从西边升起”。“Apropositionisadeclarativesentencethatiseithertrueorfalse,butnotboth.”命题的核心特征：如何判断？01/两步检验法1.是否为陈述句？排除：疑问句、祈使句、感叹句。这类句子无法陈述事实，故不是命题。2.能否判断其真假？排除：悖论、没有确定真值的句子。无客观判断标准的句子不是命题。02/核心特征详解陈述性(Declarative)必须是陈述句，用于客观地陈述事实或表达观点。可判定性(Determinable)在原则上必须具有确定的真值（要么为真，要么为假）。非自毁性(Non-paradoxical)不能是逻辑悖论，也不能产生自相矛盾的结论。核心特征详解：非自毁性（悖论）什么是悖论？悖论是一种特殊的陈述或逻辑命题，它在逻辑上可以推导出互相矛盾的结论。简单来说，其“真”与“假”两种判断都会导致自相矛盾的逻辑死结。经典案例解析“这句话是假的。”•如果这句话是真的，那么它陈述的“这句话是假的”即为真，导致它本身是假的。•如果这句话是假的，那么它陈述的“这句话是假的”即为假，导致它本身是真的。关键结论这种自指性的矛盾，使得悖论在逻辑系统中无法被赋予一个确定的、唯一的真值（True或False）。因此，悖论≠命题定义1.2：命题的分类根据命题的结构形式，可以将命题分为两大类：原子命题(SimpleProposition)不能被分解为更简单的陈述语句的命题。它是命题逻辑中最基本的单位，不包含任何联结词。复合命题(CompoundProposition)由联结词(Connectives)、标点符号和原子命题组合而成的命题。其真值取决于其组成部分的真值。图1.2.1简单命题与复合命题逻辑关系示例复合命题与原子命题辨析核心判别标准：“语义完整性”的分解测试判断一个命题是“原子”还是“复合”，唯一的关键在于：分解后的更小语句是否还能保持原有的语义完整性，且能独立表达判断。例1：复合命题(CompoundProposition)🔹原句：“小王和小李都去公园。”🔹分解尝试：“小王去公园。”+“小李去公园。”✅结论：两个分解后的句子均逻辑通顺，且合并后语义与原句完全一致。因此，这是一个可拆解的复合命题。例2：原子命题(AtomicProposition)🔹原句：“北京和天津的距离很近。”🔹分解尝试：“北京的距离很近”+“天津的距离很近”(语义不通)❎结论：拆分后的语句丧失了原有的判断意义，无法独立成立。因此，这是一个不可拆解的最小单位，即原子命题。例题1.1：判断句子是否为命题请逐一判断下列句子是否为命题，若是命题，请进一步指出其真值（真/假）。01.北京是中国的首都。02.请勿吸烟!03.雪是黑的。04.明天开会吗?05.x+y>0。06.我正在说谎。07.9+5≤12。08.1+101=110。09.今天天气多好啊!10.别的星球上有生物。11.我们正在上课。12.我学英语，或者我学法语。13.如果天气晴朗，那么我就去郊外旅行。14.这句话是错的。15.3既是素数又是奇数。16.我们要努力学习。17.认真看这本书。例题1.1解答：是命题的句子(1)北京是中国的首都。是命题，客观事实确定，真值为真(T)。(3)雪是黑的。是命题，客观事实确定，真值为假(F)。(7)9+5≤12。是命题，数学运算结果确定，真值为假(F)。(8)1+101=110。是命题，真值取决于上下文（二进制为真，十进制为假）。(10)别的星球上有生物。是命题，客观存在唯一真假，目前未知但存在。(11)我们正在上课。是命题，真假判断依赖具体的时间和场景。(12)我学英语，或者我学法语。是复合命题，由“或”连接两个原子命题构成。(13)如果天气晴朗，那么我就去郊外旅行。是复合命题，由“如果...那么...”连接两个原子命题。(15)3既是素数又是奇数。是复合命题，且真值为真(T)。例题1.1解答：不是命题的句子祈使句(2),(16),(17)用于表达请求、命令或建议，不表达对事物的判断，因此不属于命题。疑问句(4)用于提出问题、询问情况，没有做出任何肯定或否定的判断，因此不是命题。感叹句(9)用于抒发强烈的感情或情绪，并未对事物的真假进行判断，所以不是命题。无确定真值的陈述句(5)x+y>0虽然是陈述语气，但由于变量x,y的值未被指定，其真假性无法确定，随取值变化而变化，因此不构成命题。逻辑悖论(6),(14)这类陈述会导致逻辑上的自相矛盾，无法确定其真值（既不能为真，也不能为假），因此不是命题。定义1.3：命题的表示定义原文表示原子命题的符号称为命题标识符(Identifier)。作用：将自然语言中的具体命题抽象为符号，以便进行形式化的逻辑演算与推理。常用符号•大写字母：A,B,C,...,P,Q,R...•小写字母：p,q,r,s,...•带下标大写：A₁,A₂,B₃...•方括号数字：[12],[5],...应用示例P：今天下雨。q：张红很聪明。注：命题标识符本身没有真假值，只有赋予它具体的命题内容后才有真假之分。命题标识符的分类01.命题常元PropositionalConstant一个表示确定命题的标识符，它具有确定的真值（真或假）。💡示例：当我们定义P：北京是中国的首都。此时P就代表一个“真”的命题，因此P是一个命题常元。02.命题变元PropositionalVariable•仅作为任意命题的位置标志，本身未被指定具体内容。•可以代表任何命题，但自身没有确定的真值。⚠️重要结论：命题变元不是命题。只有当用一个具体的确定命题去“指派”它时，才能成为一个具有确定真值的命题。本节小结：核心概念回顾01/命题(Proposition)具有明确判断结果的陈述句，是数理逻辑中最基本的研究单位。02/真值(TruthValue)命题的判断结果。只有两种取值：“真”（T/1）和“假”（F/0）。03/原子命题(Atomic)不能再分解为更简单陈述句的基本命题，又称“简单命题”。04/复合命题由两个或多个原子命题，通过逻辑联结词组合而成的新命题。05/命题标识符用符号（通常是大写英文字母如P,Q）来代替具体的命题，方便逻辑推演。06/命题常元代表特定、具体命题的标识符，其真值是确定不变的。07/命题变元代表任意命题的符号占位符，其本身不是命题，只有被赋予确定内容时才有真值。思考与讨论01“这句话是真的。”

是命题吗？为什么？提示：请从命题的“判断性”与“真值唯一性”两个基