按属性搜索

此页面提供用于查找以属性和命名值描述的实体的简单浏览界面。其他可用搜索界面包括页面属性搜索和询问查询生成器。

结果列表

• 排中律  + （2025年12月5日 02:04:30）
• Peirce 律  + （2025年12月5日 02:04:53）
• 双重否定律（逻辑）  + （2025年12月5日 02:09:16）
• 同一律  + （2025年12月5日 02:13:06）
• 选言三段论  + （2025年12月5日 02:13:21）
• 移出律  + （2025年12月5日 02:16:18）
• 项（谓词逻辑）  + （2025年12月19日 08:42:13）
• 谓词  + （2025年12月19日 13:06:45）
• 全称量词  + （2025年12月19日 14:33:10）
• 存在量词  + （2025年12月19日 16:34:16）
• 唯一量词  + （2025年12月19日 16:47:18）
• 计数量词  + （2025年12月19日 16:53:31）
• 命题语言  + （2025年12月20日 06:41:43）
• 命题公式  + （2025年12月20日 10:35:35）
• 解释（命题逻辑）  + （2025年12月24日 11:57:32）
• 指派（命题逻辑）  + （2025年12月24日 12:40:27）
• 解释（谓词逻辑）  + （2025年12月24日 16:16:40）
• 个体词（谓词逻辑）  + （2025年12月25日 02:47:15）
• 逆否证法  + （2025年12月25日 02:47:47）
• 量词  + （2025年12月25日 02:56:14）
• 闭式  + （2025年12月25日 03:03:43）
• 满足（谓词逻辑）  + （2025年12月25日 10:08:32）
• 模型  + （2025年12月26日 16:05:03）
• 命题公式分类  + （2025年12月27日 13:04:10）
• 幂集  + （2025年12月28日 07:51:54）

• 析取范式、合取范式  + （2026年1月3日 12:49:35）
• 前束范式  + （2026年1月3日 13:05:38）
• Skolem 范式  + （2026年1月4日 06:47:56）
• 可自由代入（个体变项）  + （2026年1月6日 15:41:16）
• 否定范式  + （2026年1月7日 04:34:25）
• 原子公式  + （2026年1月7日 08:43:16）
• 等词  + （2026年1月7日 09:12:11）
• 谓词公式分类  + （2026年1月8日 03:25:53）
• 仅可满足式  + （2026年1月8日 03:30:38）
• 不可满足式  + （2026年1月8日 03:31:13）
• 可满足式  + （2026年1月8日 03:35:27）
• 个体变项代入  + （2026年1月8日 04:57:43）
• 命题变元代入  + （2026年1月8日 05:44:39）
• 函项  + （2026年1月8日 08:30:36）
• Tarski 真理定义  + （2026年1月8日 12:22:55）
• 谓词公式  + （2026年1月8日 12:26:00）
• 结构（谓词逻辑）  + （2026年1月8日 12:27:08）
• 赋值（谓词逻辑）  + （2026年1月8日 12:27:45）
• 谓词语言  + （2026年1月8日 12:30:51）
• 逻辑蕴涵  + （2026年1月9日 08:42:33）
• 逻辑等值  + （2026年1月9日 08:42:53）
• 易字  + （2026年1月9日 12:07:58）
• 易字变形  + （2026年1月9日 12:09:23）
• 置换定理  + （2026年1月9日 12:26:19）
• 置换（逻辑）  + （2026年1月9日 14:12:08）