Study-BvBeJ的小站

行动起来，活在当下

累计撰写 29 篇文章
累计创建 1 个标签
累计收到 0 条评论

目录CONTENT

以下是 Study 相关的文章

2025-08-12
集合一、集合基本运算（定义与符号）运算符号定义示例&#
- 2025-08-12
- 8
- 0
- 0
- Study
2025-08-12
量词作用域的扩张与收缩等价式量词作用域的扩张与收缩等价式描述了谓词逻辑中量词（全称量词 ∀、存在量词 ∃）的辖域扩大或缩小时，公式逻辑等价的变换规则。这些规&
- 2025-08-12
- 10
- 0
- 0
- Study
2025-07-25
等值演算注意：以下公式中，T代表永真式（True），F代表矛盾式（False），P、Q、R代表任意命题公式。双重否定律（Double Negation）: ¬¬P ⇔ P
- 2025-07-25
- 9
- 0
- 0
- Study
2025-07-25
命题真值表否定（Negation，符号：¬ 或 ~）命题：P 真值表： P ¬P T F F T 合取ʌ
- 2025-07-25
- 6
- 0
- 0
- Study