最早页面
下面显示从第801条到第850条的共50条结果。
- 全称量词（2025年12月19日 (五) 14:33）
- 存在量词（2025年12月19日 (五) 16:34）
- 唯一量词（2025年12月19日 (五) 16:47）
- 计数量词（2025年12月19日 (五) 16:53）
- 命题语言（2025年12月20日 (六) 06:41）
- 命题公式（2025年12月20日 (六) 10:35）
- 解释（命题逻辑）（2025年12月24日 (三) 11:57）
- 指派（命题逻辑）（2025年12月24日 (三) 12:40）
- 解释（谓词逻辑）（2025年12月24日 (三) 16:16）
- 个体词（谓词逻辑）（2025年12月25日 (四) 02:47）
- 逆否证法（2025年12月25日 (四) 02:47）
- 量词（2025年12月25日 (四) 02:56）
- 闭式（2025年12月25日 (四) 03:03）
- 满足（谓词逻辑）（2025年12月25日 (四) 10:08）
- 模型（2025年12月26日 (五) 16:05）
- 命题公式分类（2025年12月27日 (六) 13:04）
- 幂集（2025年12月28日 (日) 07:51）
- 析取范式、合取范式（2026年1月3日 (六) 12:49）
- 前束范式（2026年1月3日 (六) 13:05）
- Skolem 范式（2026年1月4日 (日) 06:47）
- 可自由代入（个体变项）（2026年1月6日 (二) 15:41）
- 否定范式（2026年1月7日 (三) 04:34）
- 原子公式（2026年1月7日 (三) 08:43）
- 等词（2026年1月7日 (三) 09:12）
- 谓词公式分类（2026年1月8日 (四) 03:25）
- 仅可满足式（2026年1月8日 (四) 03:30）
- 不可满足式（2026年1月8日 (四) 03:31）
- 可满足式（2026年1月8日 (四) 03:35）
- 个体变项代入（2026年1月8日 (四) 04:57）
- 命题变元代入（2026年1月8日 (四) 05:44）
- 函项（2026年1月8日 (四) 08:30）
- Tarski 真理定义（2026年1月8日 (四) 12:22）
- 谓词公式（2026年1月8日 (四) 12:26）
- 结构（谓词逻辑）（2026年1月8日 (四) 12:27）
- 赋值（谓词逻辑）（2026年1月8日 (四) 12:27）
- 谓词语言（2026年1月8日 (四) 12:30）
- 逻辑蕴涵（2026年1月9日 (五) 08:42）
- 逻辑等值（2026年1月9日 (五) 08:42）
- 易字（2026年1月9日 (五) 12:07）
- 易字变形（2026年1月9日 (五) 12:09）
- 置换定理（2026年1月9日 (五) 12:26）
- 置换（逻辑）（2026年1月9日 (五) 14:12）
- 置换定理（谓词逻辑）（2026年1月9日 (五) 14:57）
- 同构（模型）（2026年1月9日 (五) 15:03）
- 等项替换（2026年1月13日 (二) 11:51）
- 公理系统（逻辑）（2026年1月15日 (四) 13:13）
- 形式化公理系统（逻辑）（2026年1月15日 (四) 13:14）
- Gentzen 式自然演绎（2026年1月17日 (六) 02:35）
- Fitch 式自然演绎（2026年1月17日 (六) 15:33）
- 自然演绎系统（2026年1月21日 (三) 11:48）