紧致性定理
(数学术语)
紧致性定理是符号逻辑和模型论中的基本事实,它断言一阶句子的(可能无限的)集合是可满足的(就是说有一个模型),当且仅当它的所有有限子集是可满足的。命题演算的紧致性定理是吉洪诺夫定理(它声称紧致空间的积是紧致的)应用于紧致Stone空间的结果。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】