CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 量化否定等价式
此标签下有1条笔记。
2026年4月20日
10.3 全称量词与存在量词
逻辑学
谓词逻辑
全称量词
存在量词
量化否定等价式
自由变元
约束变元
对当方阵
普遍命题
学习/逻辑学/谓词逻辑