斯科伦范式
（数学术语）
斯科伦范式是数理逻辑中的一类合式公式。一前束范式是斯科伦范式，如果其中的存在量词都在全称量词的左方出现。
加载更多
领域
提 交
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》