辑学是研究推理和论证形式的学科，其核心目标是分析命题之间的关系、推导规则以及论证的有效性。以下是逻辑学中常见的定义、概念、运算符和其他基本要素的全面总结：

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 都为真”。

真值表：

深色版本

P | Q | P ∧ Q

--|---|------

T | T | T

T | F | F

F | T | F

F | F | F

2.3 析取（Disjunction，∨）

定义：两个命题至少有一个成立。

示例：P ∨ Q 表示“P 或 Q 至少有一个为真”。

真值表：

深色版本

P | Q | P ∨ Q

--|---|------

T | T | T

T | F | T

F | T | T

F | F | F

2.4 蕴含（Implication，→）

定义：如果 P 成立，则 Q 成立。

示例：P → Q 表示“如果 P 为真，则 Q 也为真”。

真值表：

深色版本

P | Q | P → Q

--|---|------

T | T | T

T | F | F

F | T | T

F | F | T

2.5 等价（Equivalence，↔）

定义：两个命题具有相同的真值。

示例：P ↔ Q 表示“P 和 Q 同时为真或同时为假”。

真值表：

深色版本

P | Q | P ↔ Q

--|---|------

T | T | T

T | F | F

F | T | F

F | F | T

2.6 异或（Exclusive OR，⊕ 或 XOR）

定义：两个命题中有且仅有一个为真。

示例：P ⊕ Q 表示“P 和 Q 中只有一个为真”。

真值表：

深色版本

P | Q | P ⊕ Q

--|---|------

T | T | F

T | F | T

F | T | T

F | F | F

3. 逻辑推理与论证

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 ∧ ¬Q

5.2 分配律（Distributive Laws）

P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)

P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)

5.3 双重否定律（Double Negation）

¬(¬P) ≡ P

5.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 不总是为真。