CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 全称实例化
此标签下有1条笔记。
2026年4月20日
10.5 有效性证明
逻辑学
谓词逻辑
量化理论
自然演绎
推论规则
全称实例化
存在泛化
全称泛化
存在实例化
学习/逻辑学/谓词逻辑