辑学是研究推理和论证形式的学科，其核心目标是分析命题之间的关系、推导规则以及论证的有效性。以下是逻辑学中常见的定义、概念、运算符和其他基本要素的全面总结：
1. 基本概念1.1 命题（Proposition）定义：一个能够判断真假的陈述句。 示例： 真命题：2 + 2 = 4假命题：2 + 2 = 5特点： 命题必须明确为真或假，不能模棱两可。非命题示例：你好吗？（不是命题，因为它无法判断真假）1.2 原子命题（Atomic Proposition）定义：不能再分解的基本命题。 示例：今天下雨了 是一个原子命题。1.3 复合命题（Compound Proposition）定义：由多个原子命题通过逻辑连接词组合而成的命题。 示例：今天下雨了，而且我带了伞 是一个复合命题。1.4 真值（Truth Value）定义：命题的真假状态，通常用 T 表示真（True），F 表示假（False）。1.5 论域（Domain of Discourse）定义：谓词逻辑中讨论的对象范围。 示例：在“所有自然数都是正数”中，论域是自然数集合。2. 逻辑运算符（Logical Operators）逻辑运算符用于组合或修改命题的真值，以下是最常见的逻辑运算符及其符号表示：
2.1 否定（Negation，¬ 或 ~）定义：对命题取反。 示例：如果 P 表示“今天下雨了”，则 ¬P 表示“今天没有下雨”。2.2 合取（Conjunction，∧）定义：两个命题同时成立。
示例：P ∧ Q 表示“P 和 Q 都为真”。
真值表：
深色版本
代码语言：javascript复制P | Q | P ∧ Q
--|---|------
T | T | T
T | F | F
F | T | F
F | F | F2.3 析取（Disjunction，∨）定义：两个命题至少有一个成立。
示例：P ∨ Q 表示“P 或 Q 至少有一个为真”。
真值表：
深色版本
代码语言：javascript复制P | Q | P ∨ Q
--|---|------
T | T | T
T | F | T
F | T | T
F | F | F2.4 蕴含（Implication，→）定义：如果 P 成立，则 Q 成立。
示例：P → Q 表示“如果 P 为真，则 Q 也为真”。
真值表：
深色版本
代码语言：javascript复制P | Q | P → Q
--|---|------
T | T | T
T | F | F
F | T | T
F | F | T2.5 等价（Equivalence，↔）定义：两个命题具有相同的真值。
示例：P ↔ Q 表示“P 和 Q 同时为真或同时为假”。
真值表：
深色版本
代码语言：javascript复制P | Q | P ↔ Q
--|---|------
T | T | T
T | F | F
F | T | F
F | F | T2.6 异或（Exclusive OR，⊕ 或 XOR）定义：两个命题中有且仅有一个为真。
示例：P ⊕ Q 表示“P 和 Q 中只有一个为真”。
真值表：
深色版本
代码语言：javascript复制P | Q | P ⊕ Q
--|---|------
T | T | F
T | F | T
F | T | T
F | F | F3. 逻辑推理与论证3.1 充分条件与必要条件充分条件：如果 A 成立，则 B 一定成立（A → B）。必要条件：如果 B 成立，则 A 一定成立（B → A）。充要条件：A 和 B 互为充分必要条件（A ↔ B）。3.2 推理规则Modus Ponens（肯定前件）： 如果 P → Q 为真，且 P 为真，则 Q 必然为真。Modus Tollens（否定后件）： 如果 P → Q 为真，且 ¬Q 为真，则 ¬P 必然为真。假言三段论（Hypothetical Syllogism）： 如果 P → Q 和 Q → R 都为真，则 P → R 为真。3.3 归谬法（Reductio ad Absurdum）定义：假设某个命题为真，通过推导得出矛盾，从而证明该命题为假。4. 谓词逻辑（Predicate Logic）4.1 谓词（Predicate）定义：描述对象属性或关系的函数。 示例：P(x) 表示“x 是偶数”。4.2 量词（Quantifiers）全称量词（∀，For All）： 示例：∀x P(x) 表示“对于所有 x，P(x) 为真”。存在量词（∃，Exists）： 示例：∃x P(x) 表示“存在一个 x，使得 P(x) 为真”。4.3 自由变量与约束变量自由变量：未被量词约束的变量。约束变量：被量词约束的变量。5. 逻辑等价与重写规则5.1 德摩根定律（De Morgan's Laws）¬(P ∧ Q) ≡ ¬P ∨ ¬Q¬(P ∨ Q) ≡ ¬P ∧ ¬Q5.2 分配律（Distributive Laws）P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)5.3 双重否定律（Double Negation）¬(¬P) ≡ P5.4 对偶性（Duality）将逻辑表达式中的 ∧ 替换为 ∨，将 ∨ 替换为 ∧，并交换 T 和 F。6. 模态逻辑（Modal Logic）6.1 可能性与必然性可能性（Possibility，◊）： 示例：◊P 表示“P 是可能的”。必然性（Necessity，□）： 示例：□P 表示“P 是必然的”。7. 其他逻辑系统7.1 多值逻辑（Many-Valued Logic）扩展经典逻辑，允许命题有多个真值（如真、假、未知）。7.2 模糊逻辑（Fuzzy Logic）允许命题的真值在 [0, 1] 区间内连续变化，表示不同程度的真。7.3 直觉主义逻辑（Intuitionistic Logic）不接受排中律（Law of Excluded Middle），即 P ∨ ¬P 不总是为真。