标签: 量词推理

2026年4月20日

• 离散数学
• 逻辑与证明
• 推理规则
• 假言推理
• 归结原理
• 量词推理
• 谬误

2026年4月20日

• 离散数学
• 命题逻辑
• 推理规则
• 量词推理
• 谬误
• 学习/离散数学/逻辑与证明