1 基本概念
1.1 定义
1.1.1 可真可假的陈述
命题通常指具有确定真值的陈述内容，即在给定语境下能够判断为真或假的表达。它强调的不是语言外形，而是所表达的意义是否具备真值属性。在逻辑学中，命题被视为推理的基本单位，许多论证与证明都建立在命题之间的关系之上。
1.1.2 命题与语句的区别
语句是语言层面的表达形式，命题则是语句所承载的逻辑内容。不同语句可以表达同一命题，例如“雪是白的”与“Snow is white”在不同语言中形式不同，但所指向的命题内容可能一致。反过来，同一句子在不同语境中也可能对应不同命题，甚至因语境不明而无法确定其真值。
1.2 历史与发展
1.2.1 古典逻辑中的命题观
古典逻辑主要把命题理解为断定某事为真或为假的判断。亚里士多德传统中，命题常与主谓结构紧密相关，研究重点在于命题间的推理关系，如全称、特称、肯定与否定等形式。此时期的命题观较依赖自然语言表达。
1.2.2 现代形式逻辑中的命题观
现代逻辑将命题进一步抽象化，强调其作为真值载体的形式特征。命题不再依附于具体语句结构，而是可以被符号化处理，并通过联结词、真值表和形式系统加以分析。这一转变使命题逻辑成为现代逻辑和数学基础的重要组成部分。
1.3 命题的基本属性
1.3.1 真值性
命题最核心的属性是真值性，即可以被判定为真或假。没有真值可判定性的表达，例如祈使句、疑问句，通常不作为命题处理。真值性使命题能够进入逻辑运算和证明过程。
1.3.2 确定性
命题在逻辑上要求其所表达的内容具有确定性。若一个表达依赖过多歧义、指代不明或条件未给出，则其命题性会减弱。确定性并不意味着事实必然已知，而是指它原则上能够在某个语境中得到真值判定。
1.3.3 可分析性
命题可以被分解为更小的逻辑结构，例如简单命题与复合命题。通过分析其内部构成，可以研究其中包含的逻辑关系、联结方式与语义条件。这种可分析性使命题能够用于形式推理与符号演算。
2 命题的类型
2.1 简单命题
2.1.1 原子命题
原子命题是不能再通过逻辑联结词进一步分解的基本命题单位。它通常直接陈述一个事实、性质或关系，例如“天是蓝的”或“2是偶数”。在命题逻辑中，原子命题常以命题字母表示。
2.1.2 具体例子
例如，“今天下雨了”可以看作一个简单命题；“水在标准大气压下于100摄氏度沸腾”也是典型的原子命题。此类命题结构较为直接，通常不含多个命题之间的逻辑组合。
2.2 复合命题
2.2.1 合取命题
合取命题由两个或多个命题通过“并且”一类关系组合而成。只有组成部分都为真时，整个合取命题才为真。例如，“他完成了作业并且参加了会议”就是一个合取命题。
2.2.2 析取命题
析取命题表达“或者”的关系，通常表示多个选项中至少有一个成立。根据语境不同，析取可能是兼容的，也可能是排他的。逻辑学中常将其形式化，以避免自然语言中的歧义。
2.2.3 条件命题
条件命题通常表示“如果……那么……”的关系，由前件和后件构成。其真假判断并不取决于日常语言中的因果直觉，而由形式语义决定。条件命题在推理规则和证明结构中具有重要地位。
2.2.4 双条件命题
双条件命题表示两个命题在真值上相互等价，即双方同真同假时整体为真。它常用于定义、等价转化和分类判断中。形式上，它把两个方向的条件关系合并为一个整体。
2.3 否定命题
2.3.1 形式表达
否定命题由一个命题加上否定符号构成，表示原命题不成立。若命题为“P”，其否定通常写作“非P”或“¬P”。否定是最基础的逻辑操作之一。
2.3.2 语义作用
否定的作用在于翻转真值，使真变假、假变真。它不仅用于直接表达相反判断，也常用于构造反证法、逆否推理和逻辑等值变换。否定在形式系统中具有很强的基础性。
2.4 开放命题
2.4.1 命题变元
开放命题通常含有变量，因变量尚未被具体指定，其真值不能直接确定。变量部分常称为命题变元或相关的对象变量。开放命题在数学表达和逻辑分析中很常见。
2.4.2 变量赋值与封闭化
当给开放命题中的变量赋予具体值后，它便可转化为有确定真值的命题，这一过程可视为封闭化。变量赋值决定了开放表达式在某个具体情形下是否成立。该机制是谓词逻辑和数学语言形式化的重要基础。
3 命题逻辑
3.1 逻辑联结词
3.1.1 否定符号
否定符号用于表示对命题的取反，常记作“¬”。它与命题结合后形成新的复合表达式。否定符号的语义规则简单而明确，属于最基本的逻辑符号之一。
3.1.2 合取符号
合取符号通常记作“∧”，表示两个命题同时成立。它对应自然语言中的“并且”“而且”等连接方式。合取的真值条件要求组成命题都为真。
3.1.3 析取符号
析取符号通常记作“∨”，表示至少一个命题为真。它适合表达备选、并列或条件性选择。不同系统对“或”的排他性处理可能不同，因此语义解释需结合语境。
3.1.4 蕴含符号
蕴含符号通常记作“→”，用于表示条件关系。它在形式逻辑中有严格的真值定义，并不完全等同于日常语言中的“因为所以”或因果关系。蕴含命题在证明与推导中用途广泛。
3.2 真值表
3.2.1 构造方法
真值表通过列出命题变元的所有可能真值组合，系统展示复合命题在各情形下的真假结果。构造时先确定变元数量，再按组合逐行填写。真值表是判断逻辑形式性质的常用工具。
3.2.2 常见联结词的真值表
否定、合取、析取、蕴含等联结词都可以用真值表精确描述。通过真值表可以比较不同公式是否等值，也能判断某公式是否为重言式或矛盾式。它在入门逻辑教学和形式验证中都十分常见。
3.3 逻辑等值
3.3.1 等值式
若两个逻辑公式在所有可能赋值下都具有相同真值，则称它们逻辑等值。等值关系是形式化变形的基础，允许将复杂公式替换为更简洁的等价形式。等值式在证明和化简中很重要。
3.3.2 常用等值律
常见等值律包括双重否定律、德摩根律、交换律、结合律、分配律等。它们为逻辑公式的化简和重写提供了标准工具。熟练运用这些规律，可以显著简化推理过程。
3.4 重言式与矛盾式
3.4.1 重言式的判定
重言式是指在任何真值指派下都为真的公式。判定方法通常包括真值表检验、等值变换或形式证明。重言式体现了逻辑结构上的恒真性。
3.4.2 矛盾式的判定
矛盾式是指在任何真值指派下都为假的公式。它与重言式相反，无法在任何解释下成立。矛盾式常用于指出公式结构上的不可满足性。
3.4.3 可满足式
可满足式是指至少存在一种真值指派使其为真的公式。它是介于重言式与矛盾式之间的常见类型。可满足性问题在逻辑、计算机科学和自动推理中都具有重要意义。
4 命题的形式表示
4.1 符号化语言
4.1.1 命题字母
命题字母是用来代表原子命题的符号，通常以P、Q、R等字母表示。它们为逻辑公式提供了简洁的书写方式，使复杂论证得以形式化。命题字母本身不包含具体内容，只承担符号角色。
4.1.2 公式构造规则
公式构造规则规定了哪些符号组合可以形成合法的逻辑表达。一般先规定命题字母属于公式，再说明若A是公式，则¬A也是公式，若A和B是公式，则(A∧B)、(A∨B)、(A→B)等也为公式。该规则保证了表达式的形式合法性。
4.2 公式的语法
4.2.1 合式公式
合式公式是符合语法规则、可以被逻辑系统接受的公式。它的构成必须严格遵循符号顺序与配对关系。合式公式是进行语义解释和证明操作的前提。
4.2.2 公式的优先级
在不加括号时，逻辑联结词通常具有一定的优先级，例如否定一般高于合取，合取高于析取，析取高于蕴含。优先级规则减少了歧义，提高了表达效率。不同教材或系统的约定可能略有差别。
4.3 语义解释
4.3.1 真值指派
真值指派是把命题字母与真或假对应起来的规则。通过真值指派，复杂公式的真假可以逐层计算出来。它是命题逻辑语义学的基础操作。
4.3.2 语义模型
语义模型是对公式解释所依赖的整体结构。对于命题逻辑而言，模型通常就是由真值指派构成的解释体系。借助模型，可以讨论公式是否有效、可满足以及彼此是否等值。
5 命题与推理
5.1 推理形式
5.1.1 演绎推理
演绎推理是从一般前提推出特殊结论的推理方式，只要前提真且推理形式有效，结论就必然为真。命题逻辑中的许多推理规则都属于演绎性质。它强调形式有效性，而非经验概率。
5.1.2 归结与化简
归结是一种将多个命题合并处理并消去部分中间项的推理方法，常见于自动证明和逻辑程序设计。化简则是通过等值变换减少公式复杂度。二者都服务于提高推理效率。
5.2 证明方法
5.2.1 直接证明
直接证明从已知前提出发，依照规则逐步推导出结论。它通常结构清晰，适用于命题间关系较明确的情形。许多基础定理都可采用这一方法证明。
5.2.2 反证法
反证法先假设结论不成立，再从该假设出发导出矛盾，从而证明原结论成立。它在处理否定性结论、存在性结论或不可能性结论时尤其常用。反证法与矛盾式分析密切相关。
5.2.3 逆否命题法
逆否命题法利用“若P则Q”与“若非Q则非P”等价的关系，将原命题转化为其逆否形式进行证明。该方法在证明条件命题时十分有效。它常用于简化证明路径。
5.3 常见推理规则
5.3.1 假言推理
假言推理指由“P→Q”和“P”推出“Q”。这是最常见的推理规则之一，也称为肯定前件。它是许多证明链条中的关键步骤。
5.3.2 析取三段论
析取三段论指由“P∨Q”和“非P”推出“Q”，或相应对称形式。它体现了对备选项进行排除的推理方式。该规则在日常论证与形式证明中都较常见。
5.3.3 简化与合取
简化指由“P∧Q”推出“P”或“Q”，而合取则是由“P”和“Q”推出“P∧Q”。这两种规则互为对应，分别对应分解和组合命题信息。它们常用于将复杂表达拆开或重新汇总。
6 命题在其他学科中的应用
6.1 数学基础
6.1.1 公理系统中的命题
在公理系统中，公理、定义和定理都可以被看作特定类型的命题。系统中的推导过程，本质上是对命题及其关系的形式操作。命题的明确表达有助于保证理论的严谨性。
6.1.2 定理、引理与推论
定理是已经被证明成立的重要命题，引理通常用于辅助证明更主要的结果，推论则是由定理直接推出的后续命题。三者在形式上都属于命题，但在功能上承担不同角色。它们构成数学论述的层级结构。
6.2 计算机科学
6.2.1 布尔代数
布尔代数以真假值和逻辑运算为核心，与命题逻辑有紧密对应关系。它为数字电路、条件判断和程序控制提供了理论基础。许多计算机系统中的开关逻辑都可借助布尔代数描述。
6.2.2 程序验证
程序验证关注程序在给定条件下是否满足预期性质，常借助命题逻辑或更强的形式系统表达规范。通过将程序行为转化为命题，可以检查正确性、终止性和安全性。该方法在软件工程中应用广泛。
6.2.3 逻辑电路
逻辑电路中的门电路对应基本逻辑联结词，如与门、或门、非门。电路状态的组合可用命题形式表示和分析。命题逻辑因此成为数字系统设计的重要理论工具。
6.3 语言学与哲学
6.3.1 语义分析
在语言学中，命题有助于分析句子的意义结构及其真假条件。它帮助区分表层语法形式与深层语义内容。语义分析常借助命题框架讨论指称、谓述和语境影响。
6.3.2 论证结构
哲学中的论证分析往往关注前提、结论及其支持关系，命题是其中最基本的分析单位。通过识别命题及其连接方式，可以判断论证是否有效、是否存在前提缺失或概念混淆。命题分析因此具有方法论意义。
7 常见误区与辨析
7.1 命题与句子混淆
命题不是单纯的句子形式，而是句子所表达的可判定真假之内容。不同句子可以表达同一命题，某些句子也可能因为语境不足而不构成清晰命题。将二者混为一谈，容易造成分析混乱。
7.2 命题与判断混淆
判断是主体对某一内容作出的肯定或否定活动，命题则是该活动所针对的对象内容。二者有联系，但不完全等同。前者偏向心理或认识行为，后者偏向逻辑结构。
7.3 真值与可证明性的区别
真值描述命题在某种解释下是否为真，可证明性则关心能否在某个形式系统内被推导出来。一个命题可能为真但尚未被证明，也可能在某系统内不可证明。两者属于不同层面的概念。
7.4 形式正确与内容真实的区别
形式正确指推理结构有效，内容真实则涉及命题本身是否符合事实。一个论证可以在形式上严密，却因前提为假而得出不真实的结论；也可能结论碰巧为真，但推理过程并不有效。区分这两点是逻辑训练的核心。
8 相关概念
8.1 谓词
谓词是对对象性质或关系的表示，常与变量结合形成可进一步判断的表达。它是谓词逻辑中的基本成分。
8.2 量词
量词用于表示“所有”或“存在”等范围性判断，常见于谓词逻辑。它决定命题如何从个体层面提升到更一般的陈述。
8.3 命题变元
命题变元是用来代表命题的符号变量，常见于命题逻辑的形式化表达。它可以像代数中的变量一样参与逻辑运算。
8.4 命题函数
命题函数是含变量的表达式，在变量未赋值前不具有确定真值。变量取定后，命题函数可转化为具体命题。
8.5 逻辑公式
逻辑公式是由逻辑符号按规则构成的表达式，既包括原子形式，也包括复合形式。它是逻辑分析、语义解释和形式证明的统一载体。