CS Wiki
Search
搜索
暗色模式
亮色模式
探索
标签: 命题函数
此标签下有2条笔记。
2026年4月20日
谓词逻辑
离散数学
逻辑与证明
谓词逻辑
量词
全称量词
存在量词
命题函数
2026年4月20日
1.4 谓词与量词
离散数学
谓词逻辑
量词
全称量词
存在量词
命题函数
学习/离散数学/逻辑与证明