标签: 谓词逻辑

2026年4月20日

• 离散数学
• 逻辑与证明
• 谓词逻辑
• 量词
• 全称量词
• 存在量词
• 命题函数

2026年4月20日

• 离散数学
• 谓词逻辑
• 量词
• 全称量词
• 存在量词
• 命题函数
• 学习/离散数学/逻辑与证明

2026年4月20日

• 离散数学
• 谓词逻辑
• 嵌套量词
• 量词顺序
• 否定嵌套量词
• 前束范式
• 学习/离散数学/逻辑与证明

2026年4月20日

• 逻辑学
• 谓词逻辑
• 对比
• 命题逻辑

2026年4月20日

• 逻辑学
• 直言命题
• 存在含义
• 谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 量词
• 全称量词
• 存在量词

2026年4月20日

• 逻辑学
• 谓词逻辑
• 量化理论
• 命题逻辑的局限性
• 弗雷格
• 个体变元
• 谓词
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 单称命题
• 个体常项
• 个体变元
• 属性谓词
• 关系谓词
• 命题函项
• 简单谓述
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 全称量词
• 存在量词
• 量化否定等价式
• 自由变元
• 约束变元
• 对当方阵
• 普遍命题
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 量化理论
• 直言命题
• A_E_I_O
• 存在含义
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 量化理论
• 自然演绎
• 推论规则
• 全称实例化
• 存在泛化
• 全称泛化
• 存在实例化
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 无效性证明
• 解释方法
• 反模型
• 逻辑类比
• 学习/逻辑学/谓词逻辑

2026年4月20日

• 逻辑学
• 谓词逻辑
• 非三段论推论
• 关系谓词
• 多重量化
• 量化辖域
• 除外命题
• 学习/逻辑学/谓词逻辑