符号“|=”是什么意思?margin
在模型论中,表达式“A|=s”的意思是:A是句子集合S的模型。集合
那么,A是句子集合S的模型到底是什么意思?模型
了解紧致性定理必须回答这个基本问题。
什么是句子?什么是模型?仅仅靠“拍脑壳”,“办拔头发不解决问题。”
解决问题的办法是:把咱们推荐的模型论电子版装入手机中,查看第一章(11页),读一读,想想便可明白了。、
注:模型;论电子版不会污染手机。
袁萌 陈启清 1月12日