斯科伦范式

（数学术语）
斯科伦范式是数理逻辑中的一类合式公式。一前束范式是斯科伦范式，如果其中的存在量词都在全称量词的左方出现。
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：